Bridging the gap

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Bridging the gap: Discrete-Event Systems for software engineering (short position paper)

Full text

Pdf (734 KB)

Source

ACM International Conference Proceeding Series archive
Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering table of contents

Montreal, Quebec, Canada

SESSION: Short position papers table of contents

Pages 67-71

Year of Publication: 2009

ISBN:978-1-60558-401-0

Authors

Juergen Dingel	Queen's University, Kingston, ON
Karen Rudie	Queen's University, Kingston, ON
Chris Dragert	McGill University, Montreal, QC

Sponsors

ACM : Assoc. for Computing Machinery
: BytePress
Concordia University : Concordia University

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 20, Downloads (12 Months): 34, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1557626.1557637 What is a DOI?

ABSTRACT

Discrete-Event System Theory (DES) allows the automatic control of a system with respect to a specification describing desirable sequences of events. It offers a large body of work with strong theoretical results and tool support. In this paper, we advocate the application of DES to software engineering problems. We summarize preliminary results and provide a list of directions for future research.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Thomas Ball , Sriram K. Rajamani, The SLAM project: debugging system software via static analysis, Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-3, January 16-18, 2002, Portland, Oregon
	2	B. A. Brandin. The real-time supervisory control of an experimental manufacturing cell. IEEE Transactions on Robotics and Automation., 12:1--14, 1996.
	3	B. A. Brandin and W. M. Wonham. The supervisory control of timed DES. IEEE Transactions on Automatic Control, 39(2):329--342, 1994.
	4	Christos G. Cassandras , Stephane Lafortune, Introduction to Discrete Event Systems, Springer-Verlag New York, Inc., Secaucus, NJ, 2006
	5	P. Chalin, J. Kiniry, G. Leavens, and E. Poll. Beyond assertions: Advanced specification and verification with jml and esc/java2. In Formal Methods for Components and Objects (FMCO'05), LNCS 4111, pages 342--363, 2006.
	6	R. Cieslak, C. Desclaux, A. S. Fawaz, and P. Varaiya. Supervisory control of discrete-event processes with partial observations. IEEE Transactions on Automatic Control, 33(3):249--260, 1988.
	7	Luca de Alfaro , Vsihwanath Raman , Marco Faella , Rupak Majumdar, Code aware resource management, Proceedings of the 5th ACM international conference on Embedded software, September 18-22, 2005, Jersey City, NJ, USA [doi>10.1145/1086228.1086265]
	8	Xianghua Deng , Matthew B. Dwyer , John Hatcliff , Masaaki Mizuno, Invariant-based specification, synthesis, and verification of synchronization in concurrent programs, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida [doi>10.1145/581339.581394]
	9	DESUMA. Discrete Event Systems Group, University of Michigan, www.eecs.umich.edu/umdes/toolboxes.html, Dec. 2008.
	10	C. Dragert. Generation of concurrency controls using discrete-event systems. Master's thesis, School of Computing, Queen's Univ., Sept. 2008.
	11	Christopher Dragert , Juergen Dingel , Karen Rudie, Generation of concurrency control code using discrete-event systems theory, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, November 09-14, 2008, Atlanta, Georgia [doi>10.1145/1453101.1453122]
	12	A. Easwaran, S. Kannan, and O. Sokolsky. Steering of discrete event systems: Control theory approach. In ENTCS, volume 144, pages 21--39, 2005.
	13	Lenko Grigorov , Karen Rudie, Near-Optimal Online Control of Dynamic Discrete-Event Systems, Discrete Event Dynamic Systems, v.16 n.4, p.419-449, December 2006 [doi>10.1007/s10626-006-0020-x]
	14	W. Gu, G. Eisenhauer, and K. Schwan. Falcon: On-line monitoring and steering of parallel programs. Concurrency: Practice and Experience, 10(9):699--736, Aug. 1998.
	15	Thomas A. Henzinger , Joseph Sifakis, The Discipline of Embedded Systems Design, Computer, v.40 n.10, p.32-40, October 2007 [doi>10.1109/MC.2007.364]
	16	Kohei Honda, Types for Dynamic Interaction, Proceedings of the 4th International Conference on Concurrency Theory, p.509-523, August 23-26, 1993
	17	Kohei Honda , Vasco Thudichum Vasconcelos , Makoto Kubo, Language Primitives and Type Discipline for Structured Communication-Based Programming, Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems, p.122-138, March 28-April 04, 1998
	18	Galen C. Hunt , James R. Larus, Singularity: rethinking the software stack, ACM SIGOPS Operating Systems Review, v.41 n.2, p.37-49, April 2007 [doi>10.1145/1243418.1243424]
	19	IDES: The integrated discrete-event systems tool. Discrete-Event Control Systems Lab, Queen's Univ., qshare.queensu.ca/Users01/rudie/www/software.html, Dec. 2008.
	20	Y. Jia and J. M. Atlee. Run-time management of feature interactions. In ICSE Workshop on Component-based Software Engineering., May 2003.
	21	M. Kim, I. Lee, U. Sammapun, J. Shin, and O. Sokolsky. Monitoring, checking, and steering of real-time systems. In 2nd International Workshop on Run-time Verification (RV'02), July 2002.
	22	S. Lafortune. Modeling and analysis of transaction execution in database systems. IEEE Transactions on Automatic Control, 33(5), 1988.
	23	R. J. Leduc, M. Lawford, and P. Dai. Hierarchical interface-based supervisory control of flexible manufacturing system. IEEE Transactions Control Systems Technology, 14(4):654--668, 2006.
	24	F. Lin , W. M. Wonham, On observability of discrete-event systems, Information Sciences: an International Journal, v.44 n.3, p.173-198, April, 1988 [doi>10.1016/0020-0255(88)90001-1]
	25	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	26	Object Management Group. UML Specification, Version 2.1.2 (formal/07-11-01), 2007.
	27	Frantisek Plasil , Stanislav Visnovsky, Behavior Protocols for Software Components, IEEE Transactions on Software Engineering, v.28 n.11, p.1056-1076, November 2002 [doi>10.1109/TSE.2002.1049404]
	28	P. J. Ramadge , W. M. Wonham, Supervisory control of a class of discrete event processes, SIAM Journal on Control and Optimization, v.25 n.1, p.206-230, Jan. 1987 [doi>10.1137/0325013]
	29	K. Rudie and W. M. Wonham. Protocol verification using discrete-event systems. In 31st IEEE Conference on Decision and Control, pages 3770--3777, 1992.
	30	K. Rudie and W. M. Wonham. Think globally, act locally: Decentralized supervisory control. IEEE Transactions on Automatic Control, 37(11):1692--1708, 1992.
	31	S.-L. Chung, S. Lafortune, and F. Lin. Limited lookahead in supervisory control of discrete event systems. IEEE Transactions on Automatic Control, 37(12):1921--1935, 1992.
	32	M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosibility of discrete event systems. IEEE Transactions on Automatic Control, 40(9):1555--1575, 1995.
	33	Zachary Stengel , Tevfik Bultan, Analyzing singularity channel contracts, Proceedings of the eighteenth international symposium on Software testing and analysis, July 19-23, 2009, Chicago, IL, USA [doi>10.1145/1572272.1572275]
	34	Supremica. Department of Signals and Systems, Chalmers University of Technology, http://www.supremica.org/, Dec. 2008.
	35	TCT. Systems and Control Group, Deptartment of Electrical and Computer Engineering, University of Toronto, www.control.toronto.edu/DES, Mar. 2008.
	36	J. G. Thistle, R. P. Malhamé, and H.-H. Hoang. Feature interaction modelling, detection and resolution: A supervisory control approach. In Feature Interactions in Telecommunications and Distributed Systems IV, pages 93--107, 1997.
	37	D. Thorsley and D. Teneketzis. Diagnosability of stochastic discrete-event systems. IEEE Transactions on Automatic Control, 50(4):476--492, 2005.
	38	Massimo Tivoli , Paola Inverardi, Failure-free coordinators synthesis for component-based architectures, Science of Computer Programming, v.71 n.3, p.181-212, May, 2008 [doi>10.1016/j.scico.2008.03.001]
	39	Y. Wang, T. Kelly, M. Kudlur, S. Mahlke, and S. Lafortune. The application of supervisory control to deadlock avoidance in concurrent software. In 9th International Workshop on Discrete Event Systems (WODES'08), May 2008.
	40	Yin Wang , Terence Kelly , Stéphane Lafortune, Discrete control for safe execution of IT automation workflows, Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007, March 21-23, 2007, Lisbon, Portugal
	41	K. C. Wong , J. G. Thistle , R. P. Malhamé , H.-H. Hoang, Supervisory Control of Distributed Systems: Conflict Resolution, Discrete Event Dynamic Systems, v.10 n.1-2, p.131-186, January 2000 [doi>10.1023/A:1008391200517]
	42	W. M. Wonham and P. J. Ramadge. Modular supervisory control of discrete-event systems. Mathematics of Control, Signals, and Systems, 1:13--30, 1988.
	43	A. Yalcin and T. O. Boucher. Daadlock avoidance in flexible manufacturing systems using finite automata. IEEE Transactions on Robotics and Automation, 16(4):424--429, August 2000.
	44	H. Zhong and W. M. Wonham. On the consistency of hierarchical supervision in discrete-event systems. IEEE Transactions on Automatic Control, 35(10):1125--1134, 1990.
	45	Roberto Ziller , Klaus Schneider, Combining supervisor synthesis and model checking, ACM Transactions on Embedded Computing Systems (TECS), v.4 n.2, p.331-362, May 2005 [doi>10.1145/1067915.1067920]