C. ANDRÉ, M-A. PERALDI-FRATI, J-P. RIGAULT
This paper addresses the design of control-dominated systems using a synchronous approach and the UML. The work aims at formally checking the design: scenarios/controller consistency, safety properties. For this, a strengthening of UML behavioral models is necessary: SyncCharts are used instead of Statecharts, and Sequence Diagrams are extended with synchronously sound constructs akin to Message Sequence Charts. The formal foundations of the approach and the associated tools are briefly presented.
Scenario, Statecharts, SyncCharts, Design, Model Checking.
@Misc{sp:york2000,
author = {Marie-Agnès Peraldi-Frati and Charles André and Jean-Paul
Rigault},
title = {{Modeling a Speed Regulator System with "Synchronous" UML:
a Case Study}},
howpublished = {UML 2000 Workshop, York (UK)},
sorte= "colsa" ,
month = {October},
year = 2000
}