Referenced Items are not available for this document.
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.
Published in:
Proceedings of the IEEE
(Volume:91
,
Issue:
1
)
Date of Publication: Jan 2003
- Page(s):
- 11 - 28
- ISSN :
- 0018-9219
- INSPEC Accession Number:
- 7521707
- Digital Object Identifier :
- 10.1109/JPROC.2002.805817
- Product Type:
- Journals & Magazines
- Date of Current Version :
- 29 January 2003
- Issue Date :
- Jan 2003
- Sponsored by :
- IEEE
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
