Compositional specification of embedded systems with statecharts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1214, Issue , 1997, Pages 637-651

  Philipps, Jan ^a   Scholz, Peter ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; MODEL CHECKING; SEMANTICS; SOFTWARE DESIGN; SPECIFICATIONS;

BROADCAST COMMUNICATION; CODE GENERATION; COMPOSITIONAL SPECIFICATIONS; FORMAL REASONING; FORMAL SEMANTICS; MODEL CHECKING TOOLS; NONDETERMINISTIC SPECIFICATION; STATECHARTS;

EMBEDDED SYSTEMS;

EID: 0343564877     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0030631     Document Type: Conference Paper

References (23)

1. G. Berry. Real Time Programming: Special Purpose or General Purpose Languages. Information Processing 89, 1989.
2. G. Berry and G. Gonthier. The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation. scp, 19(2):87-152, nov 1992.
3. M. Broy. Interaction Refinement - The Easy Way. In Program Design Calculi, volume 118 of NATO ASI Series F: Computer and System Sciences. Springer, 1993.
4. M. Broy and K. Stolen. Specification and Refinement of Finite Datafiow Networks - a Relational Approach. Volume 863 of Lecture Notes in Computer Science, pages 247-267, 1994.
5. R. E. Bryant. Graph Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, 8(35):677-691, 1986.
6. D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231-274, 1987.
7. D. Harel and A. Naamad. The Statemate Semantics of Statecharts. IEEE Transactions on Software Engineering Method 1996.
8. M.P.E. Heimdahl and N.G. Leveson. Completeness and Consistency Analysis of State-Based Requirements. Proceedings on the 17th International Conference on Software Engineering, pages 3-14. IEEE Computer Society Press, 1995.
9. J.J.M. Hooman, S. Ramesh, and W.P. de Roever. A Compositional Axiomatization of Statecharts. Theoretical Computer Science, 101:289 335, 1992.
10. C. Huizing and W.-P. de Roever. Introduction to Design Choices in the Semantics of Statecharts. Information Processing Letters, 37, 1991.
11. i-Logix Inc., 22 Third Avenue, Burlington, Mass. 01803, U.S.A. Languages of Statemate 1990.
12. K. Inoue, M. Koshimura, and R. Hasegawa. Embedding Negation as Failure into a Model Generation Theorem Prover. In D. Kapur, editor, CADE-11, number 607 in Lecture Notes in Artificial Intelligence, pages 400-415, 1992.
13. F. Maraninchi. Operational and Compositional Semantics of Synchronous Automaton Compositions. Volume 630 of Lecture Notes in Computer Science, pages 550-564. Springer-Verlag, 1992.
14. F. Maraninchi and N. Halbwachs. Compositional Semantics of Non-deterministic Synchronous Languages. ESOP'96, 1996.
15. D. Nazareth, F. Regensburger, and P. Scholz. Mini-Statecharts: A Lean Version of Statecharts. Technical Report TUM-I9610, Technische Universitüt Miinchen, D-80290 M/inchen, 1996.
16. J. Philipps and P. Scholz. Formal Verification of Statecharts with Instantaneous Chain Reactions. 1997. TACAS'97.
17. J. Philipps and P. Scholz. System-Level Hardware Design with p-Charts. 1997. CHDL'97.
18. J. Philipps and T. Yoneda. Symbolic Model Checking of Statecharts. Technical Report FTS-95-37, IEICE, 1995.
19. A. Pnueli and M. Shalev. What is in a Step: On the Semantics of Statecharts. In T. Ito and A.R. Meyer, editors, Proccedings of the: “Theoretical Aspects in Computer Software gl”, volume 526 of Lecture Notes in Computer Science, pages 244-264. Springer-Verlag 1991.
20. P. Scholz. An Extended Version of Mini-Statecharts. Technical Report TUM-I9628, Technische Universit& t Mtinehen, D-80290 M/inchen, 1996.
21. P. Scholz. A Light-Weight Formalism for the Specification of Reactive Systems. 1996. SOFSEM'96.
22. P. Scholz, D. Nazareth, and F. Regensburger. Mini-Statecharts: A Compositional Way to Model Parallel Systems. 1996. PDCS'96.
23. M. vonder Beeck. A Comparison of Statecharts Variants. Volume 863 of Lecture Notes in Computer Science, pages 128-148. Springer, 1994.