Modeling and Analysis of a Cruise Control System

Authors: Anthony Spiteri Staines

Abstract:

This paper examines the modeling and analysis of a cruise control system using a Petri net based approach, task graphs, invariant analysis and behavioral properties. It shows how the structures used can be verified and optimized.

Keywords: Software Engineering, Real Time Analysis andDesign, Petri Nets, Task Graphs, Parallelism.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1070531

References:

[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.