Scenario and property checking of real-time systems using a synchronous approach

Proceedings - 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2001

Volumn , Issue , 2001, Pages 438-444

  Andre C ^a   Peraldi Frati, M A ^a   Rigault, J P ^a  

^a UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; INTERACTIVE COMPUTER SYSTEMS;

ASSOCIATED TOOL; BEHAVIORAL MODEL; CONTROL-DOMINATED SYSTEMS; FORMAL FOUNDATION; MESSAGE SEQUENCE CHARTS; PROPERTY CHECKING; SAFETY PROPERTY; SEQUENCE DIAGRAMS;

REAL TIME SYSTEMS;

EID: 84858870707     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2001.922869     Document Type: Conference Paper

References (13)

1. R. Alur, G. J. Holzmann, and D. Peled. An analyzer for message sequence charts. TSoftware Concepts and Tools, 17(2):70-77, 1996.
2. C. André and M.-A. Peraldi-Frati. Behavioral Specification of a Circuit Using Synccharts: a Case Study. In Euromicro 2000, Digital System Design, pages 91-98, Maastricht (NL), September 2000. IEEE.
3. C. André. Representation and analysis of reactive behaviors: A synchronous approach. In Computational Engineering in Systems Applications (CESA), pages 19-29, Lille (F), July 1996. IEEE-SMC.
4. C. André. Synchronous Interface Behavior: Syntax and Semantics. Technical Report RR 00-11, I3S, Sophia-Antipolis, France, December 2000.
5. G. Berry. Preemption in concurrent systems. Proc FSTTCS, Lecture notes in Computer Science, 761:72-93, 1992.
6. G. Berry. The foundations of Esterel. In C. S. G. Plotkin and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.
7. A. Bouali. XEVE: An esterel verification environment. Vancouver (BC, Canada), 1998. Int'l Conf. on Computer-Aided Verification (CAV'98). also available as a technical report INRIA RT-214, 1997.
8. B. P. Douglass. Doing Hard Time. Object technology series. Addison-Wesley, Reading, Massachusetts, 1999.
9. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, Amsterdam, 1993.
10. D. Harel. STATECHARTS: A visual formalism for complex systems. Science of computer programming, 8:231-274, 1987.
11. I. Krüger, R. Grosu, P. Scholz, and M. Broy. From mscs to statecharts. In F. J. Rammig, editor, Distributed and Parallel Embedded Systems, pages 61-71. Kluwer Academic Publishers, 1999.
12. E. Rudolph, P. Graubmann, and J. Grabowski. Tutorial on message sequence charts. Computer Networks and ISDN Systems, 28(12):1629-1641, December 1996.
13. A. van Lamsweerde and L. Willemet. Inferring declarative requirements specifications from operational scenarios. IEEE Tr. on Software Engineering, 24(12):1089-1114, December 1998.