Requirements specification of an automotive system with hybrid sequence charts

Outlines the key ideas behind hybrid sequence charts (HySCs), along with 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 to the application domain of hybrid systems. As a modelling 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 dialogue between customers and application experts. HySCs complement existing formalisms, like hybrid automata, by focusing on the interaction between the system's components.

[1]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[2]  Frank Buschmann,et al.  A system of patterns , 1995 .

[3]  Cheryl Dietz,et al.  Graphical Formalization of Real-Time Requirements , 1996, FTRTFT.

[4]  Robert L. Grossman,et al.  Timed Automata , 1999, CAV.

[5]  Gaetano Borriello,et al.  Symbolic timing verification of timing diagrams using Presburger formulas , 1997, DAC.

[6]  Ingolf Krüger,et al.  Hybrid Sequence Charts , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[7]  Manfred Broy,et al.  A Graphical Description Technique for Communication in Software Architectures , 1997 .

[8]  Thomas Stauner,et al.  Using HYTECH to Verify an Automative Control System , 1997, HART.