Requirements specification of an automotive system with hybrid sequence charts (1999) [1 citations — 0 self]
|
Abstract:
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 [6]. 1
Citations
| 72 | Recommendation Z.120 : Message Sequence Chart (MSC – ITU-TS - 1996 |
| 35 | A System of Patterns: Pattern-Oriented Software Architecture – Buschmann, Meunier, et al. - 1996 |
| 28 | Using HyTech to verify an automotive control system – Stauner, Müller, et al. - 1997 |
| 27 | Symbolic timing verification of timing diagrams using presburger formulas – Amon, Borriello, et al. - 1997 |
| 24 | A graphical description technique for communication in software architectures – Broy, Hofmann, et al. - 1997 |
| 18 | Graphical formalization of real-time requirements – Dietz - 1996 |
| 16 | Hybrid sequence charts – Grosu, Kruger, et al. - 2000 |
