An Operational Semantics for Stateflow

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

Volumn 2984, Issue , 2004, Pages 229-243

  Hamon, Grégoire ^a   Rushby, John ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; MATLAB; SOFTWARE ENGINEERING;

FORMAL ANALYSIS; MATLAB /SIMULINK; MATLAB SIMULATORS; MODEL BASED DEVELOPMENT; OPERATIONAL SEMANTICS; PROTOTYPE TOOLS; STATECHARTS; TOOLSUITE;

SEMANTICS;

EID: 35048853099     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24721-0_17     Document Type: Article

References (13)

1. The Mathworks: Stateflow and Stateflow Coder, User's Guide. Release 13spl edn. (2003)
2. Ford: Structured analysis and design using Matlab/Simulink/Stateflow - modeling style guidelines. Technical report, Ford Motor Company (1999) Available at http://vehicle.me.berkeley.edu/mobies/papers/stylev242.pdf.
3. Buck, D., Rau, A.: On modelling guidelines: Flowchart patterns for Stateflow. Softwaretechnik-Trends 21 (2001)
4. Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI-FN-19, Aarhus University (1981)
5. Tiwari, A., Shankar, N., Rushby, J.: Invisible formal methods for embedded control systems. Proceedings of the IEEE 91 (2003) 29-39
6. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8 (1987) 231-274
7. Mikk, E., Lakhnech, Y., Petersohn, C., Siegel, M.: On formal semantics of Statecharts as supported by Statemate. In: 2nd BCS-FACS Northern Formal Methods Workshop, BCS-EWIC (1997)
8. Gnesi, S., Latella, D., Massink, M.: Modular semantics for a UML Statechart diagrams kernel and its extension to Multicharts and branching time model checking. The Journal of Logic and Algebraic Programming 51 (2002) 43-75
9. Lüttgen, G., von der Beeck, M., Cleaveland, R.: A compositional approach to Statecharts semantics. In Rosenblum, D., ed.: Eighth International ACM Symposium on Foundations of Software Engineering, San Diego, California (2000) 120-129
10. Banphawatthanarak, G., Krogh, B.H., Butts, K.: Symbolic verification of executable control specifications. In: Proceedings of the Tenth IEEE International Symposium on Computer Aided Control System Design, Kohala Coast-Island of Hawai'i, HI (1999) 581-586
11. Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. In Nierstrasz, O., Lemoine, M., eds.: ESEC/FSE '99: Seventh European Software Engineering Conference and Seventh ACM SIGSOFT Symposium on the Foundations of Software Engineering. Volume 1687 of Lecture Notes in Computer Science., Toulouse, France, Springer-Verlag (1999) 146-162
12. Rayadurgam, S., Heimdahl, M.P.E.: Coverage based test-case generation using model checkers. In: 8th Annual IEEE Conference and Workshop on the Engineering of Computer Based System (ECBS '01). (2001)
13. Caspi, P., Curie, A., Maignan, A., Sofronis, C., Tripakis, S.: Translating discretetime Simulink to Lustre. In: Third International ACM Conference on Embedded Software. Volume 2855 of Lecture Notes in Computer Science., Springer-Verlag (2003) 84-99