2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (2005)
May 18, 2005 to May 20, 2005
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2005.20
Insup Lee , University of Pennsylvania, Philadelphia, PA
Madhukar Anand , University of Pennsylvania, Philadelphia, PA
Jesung Kim , 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.
Insup Lee, Madhukar Anand, Jesung Kim, "Code Generation from Hybrid Systems Models for Distributed Embedded Systems", 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), vol. 00, no. , pp. 166-173, 2005, doi:10.1109/ISORC.2005.20