Abstract
This paper deals with techniques and methods for modelling systems that work on discrete and also on continuous streams of data. Such systems are called hybrid systems. We model the interface behaviour of such systems by functions that map streams of input onto streams of output data. I/O state machines, also known as Mealy (and as Moore) machines, can model such systems. Their observable behaviour, called interface abstraction, is modelled by functions on sets of discrete and hybrid streams. We work out foundations for specifying and abstracting such systems as well as refinements of continuous streams into discrete ones. By introducing event views as logical abstraction of continuous streams the logical behaviour of continuous systems in terms of discrete events is captured. This provides a concept of logical abstraction for continuous streams in terms of discrete event streams.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Broy M (2008) Relating time and causality in interactive distributed systems. Marktoberdorf Summer School
Broy M, Stølen K (2001) Specification and development of interactive systems: Focus on streams, interfaces, and refinement. Springer, Berlin
Platzer A (2008) Differential dynamic logic for hybrid systems. J Automated Reasoning 41(2), 143–189
Chaochen Z, Hoare CAR, Ravn PA (1991) A calculus of durations. Inform Process Lett 40(5), 269–276
Broy M (2006) A theory of system interaction: Components, interfaces, and services. In: Goldin D, Smolka S, Wegner P (eds) The new paradigm. Springer, Berlin, pp 41–96
Henzinger TA (1996) The theory of hybrid automata. In: Proceedings of the 11th annual symposium on logic in computer science (LICS), IEEE Computer Society Press, pp 278–292. An extended version appeared in Verification of digital and hybrid systems (Inan MK, Kurshan RP, eds), NATO ASI series F: Computer and systems sciences, vol 170, Springer, Berlin, 2000, pp 265–292
Henzinger TA, Manna Z, Pnueli A (1993) Towards refining temporal specifications into hybrid systems. In: Hybrid systems I, Lecture notes in computer science 736, Springer, Berlin, pp 60–76
Alur R, Henzinger TA, Lafferriere G, Pappas GJ (2000) Discrete abstractions of hybrid systems. Proc IEEE 88:971–984
Lee EA (2009) Computing needs time. Commun ACM 52(5), 70–79
Sifakis J, Tripakis S, Yovine S (2003) Building models of real-time systems from application software. Proc IEEE (Special issue on modelling and design of embedded) 91(1), 100–111
Grosu R, Stauner Th., Broy M (1998) A modular visual model for hybrid systems. FTRTFT, 75–91
Acknowledgements
It is a pleasure to thank David Trachtenherz and Radu Grosu for stimulating discussions and helpful remarks on draft versions of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Broy, M. (2012). System Behaviour Models with Discrete and Dense Time. In: Chakraborty, S., Eberspächer, J. (eds) Advances in Real-Time Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24349-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-24349-3_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24348-6
Online ISBN: 978-3-642-24349-3
eBook Packages: EngineeringEngineering (R0)