Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) (2005)
May 18, 2005 to May 20, 2005
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2005.20
Madhukar Anand , University of Pennsylvania, Philadelphia, PA
Jesung Kim , University of Pennsylvania, Philadelphia, PA
Insup Lee , University of Pennsylvania, Philadelphia, PA
Code generation from hybrid system models is a promising approach to producing reliable embedded systems. This approach presents new challenges as the precise semantics of the model are hard to capture in the code. A framework for generating code was introduced for single threaded/processor environments . Here, we extend it by considering code generation for distributed environments. We also define criteria for faithful implementation of the model. To this end, we define faulty and missed transitions. For preventing faulty transitions, we build on the idea of instrumentation we have developed for sound simulation of hybrid systems. Finally, we present sufficient conditions to avoid missed transitions and provide examples.
I. Lee, M. Anand and J. Kim, "Code Generation from Hybrid Systems Models for Distributed Embedded Systems," Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)(ISORC), Seattle, Washington, 2005, pp. 166-173.