Hierarchical modeling and analysis of embedded systems

Author

Alur, Rajeev ; Thao Dang ; Esposito, J. ; Yerang Hur ; Ivancic, Franjo ; Kumar, Vipin ; Mishra, P. ; Pappas, G.J. ; Sokolsky, Oleg

Author_Institution

Dept. of Comput. & Inf. Sci., Univ. of Pennsylvania, Philadelphia, PA, USA

Volume

91

Issue

1

fYear

2003

fDate

1/1/2003 12:00:00 AM

Firstpage

11

Lastpage

28

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 the design of embedded control software using examples from automated highways concerning vehicle coordination.

Keywords

embedded systems; specification languages; systems analysis; CHARON; embedded system; formal analysis tools; formal semantics; interacting hybridsystems; modeling language; Automatic control; Automotive engineering; Biological system modeling; Control systems; Embedded software; Embedded system; Medical control systems; Power system modeling; Robot kinematics; Robot sensing systems;

fLanguage

English

Journal_Title

Proceedings of the IEEE

Publisher

ieee

ISSN

0018-9219

Type

jour

DOI

10.1109/JPROC.2002.805817

Filename

1173180