Abstract
An embedded system is a system that computer is used as a component in a larger device. In this paper, we study hybridity in embedded systems and present an interval based temporal logic to express and reason about hybrid properties of such kind of systems.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Manna Z, Pnueli A. Models for reactivity.Acta Informatica, 1993, 30: 609–678.
Hooman J. A compositional approach to the design of hybrid systems. InHybrid Systems, LNCS 736, Grossman R L, Nerode A, Ravn A P, Rischel H (eds.), Springer-Verlag, 1993, 121–148.
Lamport L. Hybrid systems in TLA+. InHybrid Systems, LNCS 736, Grossman R L, Nerode A, Ravn A P, Rischel H (eds.), Springer-Verlag, 1993, pp.77–102.
Zhou Chaochen, Ravn A P, Hansen M R. An extended duration calculus for hybrid real-time systems. InHybrid Systems, LNCS 736, Grossman R L, Nerode A, Ravn A P, Rischel H (eds.), Springer-Verlag, 1993, pp.36–59.
Zhou Chaochen, Hoare C A R, Ravn A P. A calculus of durations.Information Processing Letters, 1991, 40(5): 269–276.
Moszkowski B. A temporal logic for multi-level reasoning about hardware.IEEE Computer, 1985, 18(2): 10–19.
Ron Koymans. (Real) time: A philosophical perspective. InReal-time: Theory in Practice, LNCS 600, Proc. of REX Workshop, de Bakker J W, Huizing C, de Roever W P, Rozenberg G (eds.), 1992, Mook, The Netherlands, 1992, pp. 353–370.
Li Xiaoshan. A Mean Value Calculus. Ph.D. thesis, Institute of Software, The Chinese Academy of Sciences, September 1993.
Yu Huiqun, Pandya P K, Sun Yongqiang. A calculus for hybrid, sampled data systems. InFormal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, Langmaack H, de Rover W-P, Vytopil J (eds.), Springer Verlag, 1994, pp.716–737.
Author information
Authors and Affiliations
Additional information
This work is supported in part by the National Hi-Tech R&D Programme of China.
Yu Huiqun received his Ph.D. degree in computer science from Shanghai Jiaotong University. He is currently a Lecturer in the Department of Computer Science at East China University of Science and Technology at Shanghai. His areas of interest are reliable real-time systems, specification, refinement and verification of complex systems.
Sun Yongqiang is a Professor in the Department of Computer Science and Engineering at Shanghai Jiaotong University. His current interests are formal technique of software development, new paradigm of programming languages, and parallel processing.
Rights and permissions
About this article
Cite this article
Yu, H., Sun, Y. Hybridity in embedded computing systems. J. of Compt. Sci. & Technol. 11, 90–96 (1996). https://doi.org/10.1007/BF02943525
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02943525