Title :
Scenario and property checking of real-time systems using a synchronous approach
Author :
André, C. ; Frati, M. A Peraldi ; Rigault, J.-P.
Author_Institution :
Lab. Inf. Signaux et Syst., Univ. de Nice-Sophia Antipolis, France
Abstract :
This paper addresses the design of control-dominated systems using a synchronous approach and UML. The work aims at formally checking the design: scenario/controller consistency, and safety properties. For this, a strengthening of UML behavioral models is necessary: SyncCharts are used instead of Statecharts, and sequence diagrams are modified by adding synchronously sound constructs akin to message sequence charts. The formal foundations of the approach and the associated tools are briefly presented
Keywords :
control system CAD; diagrams; real-time systems; specification languages; SyncCharts; UML behavioral models; control-dominated system design; controller consistency; message sequence charts; property checking; real-time systems; safety properties; scenario checking; scenario consistency; sequence diagrams; synchronous approach; Bridge circuits; Concurrent computing; Control systems; Graphical models; Object oriented modeling; Object oriented programming; Real time systems; Safety; Telecommunications; Unified modeling language;
Conference_Titel :
Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on
Conference_Location :
Magdeburg
Print_ISBN :
0-7695-1089-2
DOI :
10.1109/ISORC.2001.922869
