Modeling and Analysis of a Cruise Control System

• Anthony Spiteri Staines

• Software Engineering
• Real Time Analysis andDesign
• Petri Nets
• Task Graphs
• Parallelism.

[1] S. Bennett, J. Skelton, K. Lunn, UML. Schaums Outline 2nd ed., New
York: McGraw-Hill, 2005, pp. 5-18.
[2] P. Roques, UML in Practice. UK: Wiley, 2005, ch. 1. & ch. 2.
[3] J.E. Cooling, Software Design for Real-Time Systems, Chapman & Hall,
London, 1995 ch. 10.
[4] R. Williams, Real-Time Systems Development. UK: ELSEVIER, 2006,
ch. 11.
[5] H. Gomaa, Software Design Methods for Concurrent and Real-Time
Systems, Addison-Wesley, 2001, ch. 1-13,19,23.
[6] H. Gomaa, Designing Concurrent, Distributed, and Real-Time
Applications with UML, Addison-Wesley, 2001, ch. 2.
[7] G.P. Mullery, "CORE - A Method for Controlled Requirement
Specification", Proceedings of the 4th international conference on
Software engineering, Munich Germany 1979 , pp.126 - 135.
[8] Y. Abdeddaim, A. Kerbaa, O. Maler, " Task Graph Scheduling using
Timed Automata", IEEE Parallel and Distributed Processing
Symposium, Apr 2003.
[9] J. Brusey, D. McFarlane, "Designing Communication Protocols for
Holonic Control Devices using Elementary Nets", LNCS 0302-9743
Volume 3593/2005, Aug 2005, pp. 76-86.
[10] K. Maruyama, "Automated Method-Extraction Refactoring by Using
Block-Based Slicing", ACM Software Engineering Notes, Vol 26 no 3,
May 2001, pp.31-40.
[11] J.A. Saldhana, S.M. Shatz Z. Hu, "Formalization of Object Behavior and
Interactions From UML Models", International Journal of Software
Engineering and Knowledge Engineering IJSEKE, Vol. 11 No 6., Dec
2001, pp. 643-673.
[12] L.A. Cortes, P. Eles, Z. Peng, "A Petri Net based Model for
Heterogeneous Embedded Systems", NORCHIP Conference, 1999, pp.
248-255.
[13] T. Gehrke, U. Goltz, H. Wehrheim, "The Dynamic Models of UML:
Towards a Semantics and its Application in the Development Process",
Technical Report Informatik-Bericht 11/98, University of Hildesheim,
Germany, 1998.
[14] K. Jensen, G. Rosenberg, High-Level Petri Nets: Theory and
Application , Springer - Verlag, Berlin, 1991.
[15] S. Sankaranarayana, H. Simpa, Z. Manna, " Petri Net Analysis using
Invariant Generation",LNCS Vol, 2772 - Springer Verlag ,ISSN: 0302-
9743, 2004, pp. 682-701.
[16] R. Clariso, E. Rodriguez-Carbonell, J. Cortadella, "Derivation of Nonstructutal
Invariants of Petri Nets using Abstract Interpretation",
ICATPN LNCS, Vol. 3536- Springer Verlag, 2005, pp. 188-207.
[17] K.M. Van Hee, Information Systems Engineering A Formal Approach,
University Press, Cambridge, 1994, pp. 237-240.
[18] M. Zhou, K. Venkatesk, Modeling, Simulation and Control of Flexible
Manufacturing Systems- A Petri Net Approach, World-Scientific
Publishing, N.J. ,1999.
[19] J. Desel, E. Kindler, "Petri Nets and Components extending the
DAWN approach", D. Moldt (ed.): Workshop on Modelling of
Objects, Components, and Agents., Aarhus Denmark, Aug 2001.
[20] J. Kramer, J. Magee, "Exposing the Skeleton in the Coordination
Closet", Proceedings of the Second International Conference on
Coordination Languages and Models, 1997,pp. 18-31.
[21] Z. Hanzalek, "Parallel Algorithms for Distributed Control - A Petri Net
Based Approach", PhD. thesis, Prague 1997, ch 2-6.
[22] K. Yamalidou, J Moody, M. Lemmon, P. Antsaklis, "Feedback Control
of Petri Nets Based on Place Invariants", Technical Report of the ISIS
Group University of Notre Dame IN 46556, ISIS-94-002, 1994.
[23] Exspect Tool, Technische Universiteit, Eindhoven.
[24] J.W.S. Liu, Real-Time Systems, Pretence Hall, NJ, 2000.