Skip to main content
Springer Nature Link
Log in

Hybridity in embedded computing systems

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Manna Z, Pnueli A. Models for reactivity.Acta Informatica, 1993, 30: 609–678.

    Article  MATH  MathSciNet  Google Scholar 

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

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

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

  5. Zhou Chaochen, Hoare C A R, Ravn A P. A calculus of durations.Information Processing Letters, 1991, 40(5): 269–276.

    Article  MATH  MathSciNet  Google Scholar 

  6. Moszkowski B. A temporal logic for multi-level reasoning about hardware.IEEE Computer, 1985, 18(2): 10–19.

    Google Scholar 

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

  8. Li Xiaoshan. A Mean Value Calculus. Ph.D. thesis, Institute of Software, The Chinese Academy of Sciences, September 1993.

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

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, East China University of Science and Technology, 200237, Shanghai

    Yu Huiqun

  2. Department of Computer Science and Engineering, Shanghai Jiaotong University, 200030, Shanghai

    Sun Yongqiang

Authors
  1. Yu Huiqun
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sun Yongqiang
    View author publications

    You can also search for this author in PubMed Google Scholar

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

Reprints 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

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02943525

Keywords