Hierarchical Hybrid Modeling of Embedded Systems

  • R. Alur
  • T. Dang
  • J. Esposito
  • R. Fierro
  • Y. Hur
  • F. Ivančić
  • V. Kumar
  • I. Lee
  • P. Mishra
  • G. Pappas
  • O. Sokolsky
Conference paper

DOI: 10.1007/3-540-45449-7_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2211)
Cite this paper as:
Alur R. et al. (2001) Hierarchical Hybrid Modeling of Embedded Systems. In: Henzinger T.A., Kirsch C.M. (eds) Embedded Software. EMSOFT 2001. Lecture Notes in Computer Science, vol 2211. Springer, Berlin, Heidelberg

Abstract

This paper describes the modeling language Charon for modular design of interacting hybrid systems. The language allows specification of architectural as well as behavioral hierarchy, and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is exploited by analysis tools, and is supported by a formal semantics with an accompanying compositional theory of refinement. We illustrate the benefits of Charon in design of embedded control software using examples from automated highways concerning vehicle coordination.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • R. Alur
  • T. Dang
  • J. Esposito
  • R. Fierro
  • Y. Hur
  • F. Ivančić
  • V. Kumar
  • I. Lee
  • P. Mishra
  • G. Pappas
  • O. Sokolsky

There are no affiliations available

Personalised recommendations