Fifth International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'99F) (1999)
Nov. 18, 1999 to Nov. 19, 1999
Radu Grosu , Technische Universit?t M?nchen
Ingolf Krüger , Technische Universit?t M?nchen
Thomas Stauner , Technische Universit?t M?nchen
In this position statement we outline the key ideas behind Hybrid Sequence Charts (HySCs) along an example system taken from the automotive industry. HySCs are a visual description technique for communication in hybrid systems inspired by the well-known Message Sequence Charts syntax. However, they have a completely different semantic model that is well suited for the application domain of hybrid systems. As modeling example we consider a scenario taken from the specification of an electronic height control system, which is used to adjust the chassis level of a car. HySCs can be advantageously used in the early phases of the system development process. In particular, in the requirements capture phase they can help to improve the dialog between customers and application experts. HySCs complement existing formalisms like hybrid automata by focusing on the interaction between the system's components. A detailed presentation of HySCs together with their formal semantics is given in .
sequence charts, hybrid systems, specification, formal methods, requirements engineering
R. Grosu, I. Krüger and T. Stauner, "Requirements Specification of an Automotive System with Hybrid Sequence Charts," Fifth International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'99F)(WORDS), Monterey, California, 1999, pp. 149.