Diagrammatic specification of mobile real-time systems

Linker, Sven (2010) Diagrammatic specification of mobile real-time systems. In: Diagrammatic Representation and Inference : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings. Lecture Notes in Computer Science . Springer, USA, pp. 316-318. ISBN 9783642145995

Full text not available from this repository.


Behavior of spatio-temporal systems depends on real-time as well as spatial aspects. More and more safety-critical systems fall into this domain and thus raise the urge for formal specification and verification methods for this type of systems. For this purpose, we develop a diagrammatic language of Shape Diagrams that concentrates on the critical concepts and is usable by both engineers and scientists. We present two syntaxes, an abstract one based on hypergraphs and graph transformation systems that constitutes the abstract structure, and a concrete one given in terms of conventions for drawing diagrammatic pictures.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
Deposited By:
Deposited On:
15 Jun 2021 14:00
Last Modified:
28 Nov 2023 10:39