Hierarchical Hybrid Modeling of Embedded Systems
نویسندگان
چکیده
This paper describes the modeling language Charon for modular design of interacting hybrid systems. The language allows speci cation 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 re nement. We illustrate the bene ts of Charon in design of embedded control software using examples from automated highways concerning vehicle coordination.
منابع مشابه
Hierarchical modeling and analysis of embedded systems
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 compositi...
متن کاملDomain Polymorph Components For Explicit Opaque Borders in Hierarchical Heterogeneous Models
Hierarchical heterogeneous modeling is an approach for modeling heterogeneous embedded systems. It is a solution to manage the heterogeneity problem of the embedded systems and it helps to reduce the complexity of embedded systems modeling. However, the borders between hierarchical levels are opaque. Domain polymorph components, which is another approach to heterogeneity, can automatically adap...
متن کاملRigorous Hybrid Systems Simulation of an Electro-mechanical Pointing System with Discrete-time Control
Earlier research in the modeling and simulation of hybrid systems led to the development of a general hybrid systems modeling language (hsml). Effort is underway to implement this concept in software. The standard matlab model framework and integration algorithms have been extended to support state-event handling in continuous-time components and to handle embedded discrete-time components. In ...
متن کاملToward a Modeling Language Standard for Hybrid Dynamical Systems
A rigorous means for modeling and evaluating hybrid systems is needed for the efficient and cost-effective development of embedded real-time software for a wide variety of applications (weapons, manufacturing, intelligent vehicles, process control, . . . ). The development of a standard hybrid systems modeling language (SHSML) and corresponding rigorous simulation environments represent importa...
متن کاملAacc Rigorous Hybrid Systems Simulation of an Electro-mechanical Pointing System with Discrete-time Control
Earlier research in the modeling and simulation of hybrid systems led to the development of a general hybrid systems modeling language (hsml). EEort is underway to implement this concept in software. The standard matlab model framework and integration algorithms have been extended to support state-event handling in continuous-time components and to handle embedded discrete-time components. In t...
متن کامل