Hybrid Sequence Charts

Authors:
Radu Grosu;Ingolf Krüger;Thomas Stauner
Affiliations:
-;-;-
Venue:
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Year:
2000

Citing 0
Cited 5

Shared Variables Interaction Diagrams

Proceedings of the 16th IEEE international conference on Automated software engineering
A survey of approaches for the visual model-driven development of next generation software-intensive systems

Journal of Visual Languages and Computing
Software Engineering for Automotive Systems: A Roadmap

FOSE '07 2007 Future of Software Engineering
Multiple Synchrony in MSC

Electronic Notes in Theoretical Computer Science (ENTCS)
Applying service-oriented development to complex systems: BART case study

Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms

Quantified Score

Hi-index	0.00

Visualization

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 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.