loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Hybrid Sequence Charts
Newport Beach, California
March 15-March 17
ISBN: 0-7695-0607-0
Radu Grosu, Technische Universit?t M?nchen
Ingolf Krüger, Technische Universit?t M?nchen
Thomas Stauner, Technische Universit?t M?nchen
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 the software development process. In particular, in the requirements capture phase, they improve the dialog between customers and application experts. They complement existing formalisms like hybrid automata by focusing on the interaction between the system's components. We outline the key concepts and the usage of HySCs along an example, the specification of an electronic height control system. Then we define the formal semantics of their basic elements.
Index Terms:
sequence charts, hybrid systems, specification, formal methods, requirements engineering
Citation:
Radu Grosu, Ingolf Krüger, Thomas Stauner, "Hybrid Sequence Charts," isorc, pp.104, Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2000
Usage of this product signifies your acceptance of the Terms of Use.