Hierarchical modeling and analysis of embedded systems
- 29 January 2003
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 91 (1), 11-28
- https://doi.org/10.1109/jproc.2002.805817
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
This publication has 48 references indexed in Scilit:
- Automating software feature verificationBell Labs Technical Journal, 2002
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- A theory of timed automataTheoretical Computer Science, 1994
- Multirate ROW methods and latency of electric circuitsApplied Numerical Mathematics, 1993
- Smart cars on smart roads: problems of controlIEEE Transactions on Automatic Control, 1993
- Stability of backward Euler multirate methods and convergence of waveform relaxationBIT Numerical Mathematics, 1992
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Multirate linear multistep methodsBIT Numerical Mathematics, 1984
- Split Runge-Kutta method for simultaneous equationsJournal of Research of the National Bureau of Standards Section B Mathematics and Mathematical Physics, 1960