Departmental Papers (MEAM)

Hierarchical Modeling and Analysis of Embedded Systems

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

Document Type Journal Article

Full text available at: Hierarchical Modeling and Analysis of Embedded Systems

Suggested Citation:
Alur, Rajeey. et al. (2003) Hierarchical Modeling and Analysis of Embedded Systems. Proceedings of the IEEE. Vol. 91(1). p. 11-28.

©2003 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.


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.


Date Posted: 01 September 2010

This document has been peer reviewed.