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

fYear

2001

fDate

2001

Firstpage

438

Lastpage

444

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ISORC.2001.922869

Filename

922869