Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Radu Grosu; Ingolf Krueger; Thomas Stauner 
Titel:
Hybrid Sequence Charts 
Abstract:
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC syntax to the application domain of hybrid systems. The semantics of HySCs is different from standard MSC semantics. Most notably, we use a shared variables communication model and assume the existence of a continuous, global clock. Similar to their classic counterpart HySCs can be advantageously used in the early phases of...    »
 
Stichworte:
Real-time and hybrid systems; systems engineering; requirements engineering; specification; formal methods 
Jahr:
1999 
Jahr / Monat:
1999-07-01 00:00:00 
Seiten/Umfang:
21