Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach
 

Summary: Scenario and Property Checking of Real-Time Systems
Using a Synchronous Approach
C. Andr´e, M-A. Peraldi-Frati, J-P. Rigault
Laboratoire Informatique Signaux et Syst`emes (I3S)
Universit´e de Nice Sophia Antipolis
CNRS UMR 6070
06903 Sophia Antipolis, France
E-mail: andre, map, jpr @i3s.unice.fr
Abstract
This paper addresses the design of control-dominated
systems using a synchronous approach and the UML.
The work aims at formally checking the design: scenar-
ios/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 con-
structs akin to Message Sequence Charts. The formal foun-
dations of the approach and the associated tools are briefly
presented.
1. Introduction

  

Source: André, Charles - Laboratoire I3S, Université de Nice Sophia Antipolis

 

Collections: Computer Technologies and Information Sciences