Modeling formalisms for embedded system design

Embedded Systems: Handbook

Volumn , Issue , 2005, Pages 5-1-5-34

  Gomes, Luís ^a   Barros, João Paulo ^a   Costa, Anikó ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84928256579     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1201/9781420038163     Document Type: Chapter

References (53)

1. L. Lavagno, A. Sangiovanni-Vincentelli, and E. Sentovich, Models of Computation for Embedded System Design. NATO ASI Proceedings on System Synthesis, Il Ciocco (Italy), 1998.
2. M. Sgroi, L. Lavagno, and A. Sangiovanni-Vincentelli, Formal Models for Embedded System Design. IEEE Design and Test of Computers, 17: 14-17, 2000.
3. Stephen Edwards, Luciano Lavagno, Edward A. Lee, and A. Sangiovanni-Vincentelli, Design of Embedded Systems: Formal Models, Validation, and Synthesis. Proceedings of the IEEE, 85: 366-390, 1997.
4. Frank Vahid and Tony Givargis, Embedded System Design - A Unified Hardware/Software Introduction. John Wiley & Sons, Inc., New York, 2002.
5. Luís Gomes and João Paulo Barros, Models of Computation for Embedded Systems. In The Industrial Information Technology Handbook, Richard Zurawski, Ed., Section VI-Real Time and Embedded Systems, chapter 83, CRC Press, Boca Raton, FL, 2005.
6. Edsger W. Dijkstra, On the Economy of Doing Mathematics. In Mathematics of Program Construction. Second International Conference, Oxford, UK. Lecture Notes in Computer Science., Vol. 669. R.S. Bird, C.C. Morgan, and J.C.P. Woodcock, Eds., Springer-Verlag, Heidelberg, 1993, pp. 2-10.
7. David Harel, On Visual Formalisms. Communications of the ACM, 31: 514-530, 1988.
8. D. Harel and B. Rumpe, Meaningful Modeling:What’s the Semantics of “Semantics”?, Computer 37:10. IEEE Press, October 2004, pp. 64-72.
9. J. Buck, S. Ha, E.A. Lee, and D.G. Messerschmitt, Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems. International Journal of Computer Simulation, Special Issue on Simulation Software Development, 4: 155-182, 1994.
10. Edward A. Lee and A. Sangiovanni-Vincentelli, Comparing Models of Computation. Proceedings of ICCAD’, 234-241, 1996.
11. L. Lamport, Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM, 21: 558-565, 1978.
12. Wolfgang Reisig, Petri Nets: An Introduction. Springer-Verlag, New York, 1985.
13. E.F. Moore, Gedanken-Experiments on Sequential Machines, Automata Studies. Princeton University Press, Princeton, NJ, 1956.
14. G.H.A. Mealy, Method for Synthesizing Sequential Circuits. Bell System Technical Journal, 34: 1045-1079, 1955.
15. Manuel Silva, Las Redes de Petri: en la Automática y la Informática. Editorial AC, Madrid, 1985.
16. Daniel Gajski, Nikil Dutt, Allen Wu, and Steve Lin, High-Level Synthesis - Introduction to Chip and System Design. Kluwer Academic Publishers, Dordrecht, 1992.
17. David Harel, Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8: 231-274, 1987.
18. Bruce Powel Douglass, Doing Hard Time - Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns. Object Technology Series, Addison-Wesley, Reading, MA, 1999.
19. Bruce Powel Douglass, Real-Time UML - Developing Efficient Objects for Embedded Systems. Object Technology Series, Addison-Wesley, Reading, MA, 1998.
20. Grady Booch, James Rumbaugh, and Ivar Jacobson, The Unified Modeling Language User Guide. Object Technology Series, Addison-Wesley, Reading, MA, 1999.
21. David Harel and Michal Politi, Modeling Reactive Systems with Statecharts - The STATEMATE Approach. McGraw-Hill, New York, 1998.
22. David Harel and Amnon Naamad, The Statemate Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology (TOSEM), 5: 293-333, 1996.
23. Michael von der Beeck, A Comparison of Statecharts Variants. In Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science., Vol. 863, Hans Langmaack, Willem P. de Roever, and Jan Vytopil, Eds., Springer-Verlag, Heidelberg, 1994, pp. 128-148.
24. F. Vahid, S. Narayan, and D.D. Gajski, Speccharts: AVHDL Frontend for Embedded Systems. IEEE Transactions on Computer-Aided Design, 14: 694-706, 1995.
25. http://www.specc.org, 2004.
26. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli, Hardware/Software Codesign of Embedded Systems. IEEE Micro, 14: 26-36, 1994.
27. F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara, Hardware-Software Co-Design of Embedded Systems-The POLIS Approach. Kluwer Academic Publishers, Dordrecht, 1997.
28. R.K. Brayton, M. Chiodo, R. Hojati, T. Kam, K. Kodandapani, R.P. Kurshan, S. Malik, A. Sangiovanni-Vincentelli, E.M. Sentovich, T. Shiple, and H.Y. Wang, BLIF-MV: An Interchange Format for Design Verification and Synthesis. Technical report UCB/ERL M91/97, U.C. Berkeley, November 1991.
29. ITU-T, Z.100 Specification and Description Language (SDL). ITU, 2002.
30. Laurent Doldi, Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis. John Wiley & Sons, New York, 2003.
31. OMG, UML™ Resource Page, http://www.uml.org/, 2004.
32. Rick Reed, Notes on SDL-2000 for the New Millennium. Computer Networks, 35: 709-720, 2001.
33. SDL Forum Society, http://www.sdl-forum.org/, 2004.
34. ITU-T, Z.120 Message Sequence Chart (MSC). ITU, 1999.
35. E. Rudolph, J. Grabowski, and P. Graubmann, Tutorial on Message Sequence Charts (MSC’96). In Tutorials of the First Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV’96). FORTE’96. Kaiserslautern, Germany, October 1996.
36. Carl Adam Petri, Kommunikation mit Automaten. Ph.D. thesis, University of Bonn, Bonn, West Germany, 1962.
37. Jörg Desel and Wolfgang Reisig, Place/Transition Petri Nets. In Lectures on Petri Nets I: Basic Models. Lecture Notes in Computer Science., Vol. 1491. Springer-Verlag, 1998, pp. 122-173.
38. Eike Best, Design Methods Based on Nets: Esprit Basic Research Action (DEMON). In Lecture Notes in Computer Science; Advances in Petri Nets 1989., Vol. 424, G. Rozenberg, Ed., Springer-Verlag, Berlin, Germany, 1990, pp. 487-506.
39. J. Desel and G. Juhas, What is a Petri Net? Informal Answers for the Informed Reader. In Unifying Petri Nets, Lecture Notes in Computer Science., Vol. 2128, H. Ehrig, G. Juhas, J. Padberg, and G. Rozenberg, Eds., Springer-Verlag, Heidelberg, 2001, pp. 122-173.
40. Luís Gomes and João-Paulo Barros, On Structuring Mechanisms for Petri Nets Based System Design. IEEE Conference on Emerging Technologies and Factory Automation Proceedings (ETFA’ 2003) Lisbon, Portugal, September 16-19, 2003.
41. Gul Agha, Fiorella de Cindio, and Grzegorz Rozenberg, Eds., Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science., Vol. 2001. Springer-Verlag, Heidelberg, 2001.
42. Kurt Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1-3. Monographs in Theoretical Computer Science. An EATCS Series, Springer-Verlag, Berlin, Germany, 1992-1997.
43. N. Halbwachs, Synchronous Programming for Reactive Systems. Kluwer Academic Publishers, Dordrecht, 1993.
44. A. Benveniste and G. Berry, The Synchronous Approach to Reactive and Real-Time Systems. Proceedings of the IEEE, 79: 1270-1282, 1991.
45. F. Boussinot and R. De Simone, The ESTEREL Language. Proceedings of the IEEE, 79: 1293-1304, 1991.
46. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The Synchronous Data Flow Programming Language LUSTRE. Proceedings of the IEEE, 79: 1305-1319, 1991.
47. A. Benveniste and P. Le Guernic, Hybrid Dynamical Systems Theory and the SIGNAL Language. IEEE Transactions on Automatic Control, 35: 525-546, 1990.
48. G. Berry, The Esterel v5 Language Primer, 2000. Available from http://www-sop.inria.fr/esterel.org.
49. G. Kahn, The Semantic of a Simple Language for Parallel Programming. In Proceedings of the IFIP Congress 74. North-Holland Publishing Co., Amsterdam, 1974.
50. E.A. Lee and T.M. Parks, Dataflow Process Networks. Proceedings of the IEEE, 83: 773-801, 1995.
51. E.A. Lee and D.G. Messerschmitt, Synchronous Data Flow. Proceedings of the IEEE, 75: 1235-1245, 1987.
52. E.A. Lee, Consistency in Dataflow Graphs. IEEE Transactions on Parallel and Distributed Systems, 2: 223-235, 1991.
53. P. Huber, K. Jensen, and R.M. Shapiro, Hierarchies in Coloured Petri Nets. In Proceedings of the 10th International Conference on Applications and Theory of Petri Nets. Bonn, Springer-Verlag, London, 1991, pp. 313-341.