Hierarchical modeling and analysis of embedded systems

被引：77

作者：

Alur, R ^{[1
]}

Dang, T ^{[1
]}

Esposito, J ^{[1
]}

Hur, Y ^{[1
]}

Ivancic, F ^{[1
]}

Kumar, V ^{[1
]}

Lee, I ^{[1
]}

Mishra, P ^{[1
]}

Pappas, GJ ^{[1
]}

Sokolsky, O ^{[1
]}

机构：

[1] Univ Penn, Dept Comp & Informat Sci, Philadelphia, PA 19104 USA

来源：

PROCEEDINGS OF THE IEEE | 2003年 / 91卷 / 01期

基金：

美国国家科学基金会;

关键词：

embedded control systems; formal analysis tools; hybrid systems; modular design;

D O I：

10.1109/JPROC.2002.805817

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

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.

引用

页码：11 / 28

页数：18

共 72 条

[1]

Aaron E, 2002, LECT NOTES COMPUT SC, V2289, P7

[2]

AARON E, 2001, LECT NOTES COMPUTER, V2190, P47

[3]

ALLGOR R, 1997, ABACUSS PROJECT REP, V97, P1

[4] A THEORY OF TIMED AUTOMATA [J].

ALUR, R ;

DILL, DL .

THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235

[5]

Alur R, 2002, LECT NOTES COMPUT SC, V2289, P35

[6] THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS [J].

ALUR, R ;

COURCOUBETIS, C ;

HALBWACHS, N ;

HENZINGER, TA ;

HO, PH ;

NICOLLIN, X ;

OLIVERO, A ;

SIFAKIS, J ;

YOVINE, S .

THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :3-34

[7] JMOCHA: A model checking tool that exploits design structure [J].

Alur, R ;

De Alfaro, L ;

Grosu, R ;

Henzinger, TA ;

Kang, M ;

Kirsch, CM ;

Majumdar, R ;

Mang, F ;

Wang, BY .

PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, :835-836

[8]

Alur R, 1999, LECT NOTES COMPUT SC, V1708, P212

[9] Discrete abstractions of hybrid systems [J].

Alur, R ;

Henzinger, TA ;

Lafferriere, G ;

Pappas, GJ .

PROCEEDINGS OF THE IEEE, 2000, 88 (07) :971-984

[10]

Alur R., 2001, LECT NOTES COMPUTER, V2034, P19

← 1 2 3 4 5 6 7 8 →