Skip to main content
Hierarchical Modeling and Analysis of Embedded Systems
Proceedings of the IEEE
  • Rajeev Alur, University of Pennsylvania
  • Thao Dang, University of Pennsylvania
  • Joel Esposito, University of Pennsylvania
  • Yerang Hur, University of Pennsylvania
  • Franjo Ivancic, University of Pennsylvania
  • R. Vijay Kumar, University of Pennsylvania
  • Insup Lee, University of Pennsylvania
  • Pradyumna Mishra, University of Pennsylvania
  • George J Pappas, University of Pennsylvania
  • Oleg Sokolsky, University of Pennsylvania
Date of this Version
Document Type
Journal Article
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 the design of embedded control software using examples from automated highways concerning vehicle coordination.
Copyright/Permission Statement
© 2003 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
  • embedded control systems,
  • formal analysis tools,
  • hybrid systems,
  • modular design
Citation Information
Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, et al.. "Hierarchical Modeling and Analysis of Embedded Systems" Proceedings of the IEEE Vol. 91 Iss. 1 (2003) p. 11 - 28
Available at: