Year: 2003
Type: article
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.
Source: Proceedings of the IEEE
Authors: R. Alur, Thao Dang, J. Esposito, Yerang Hur, F. Ivancic, V. Kumar, P. Mishra, G.J. Pappas, O. Sokolsky
Institution: University of Pennsylvania
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Awards: CISE Research Infrastructure: Asymmetric Bandwidth Channels: Applications to Real-Time Computing and Robotics, Specification, Analysis, and Testing of Scenario-Based Requirements, An Integrated Approach to Improving Design-Time and Run-Time Confidence, ITR: RONEE - An Integrated Engineering Method and Tool Environment for Reliable Object-oriented Real-time Distributed Systems
OpenAlex ID: W2103128566