The Community for Technology Leaders
RSS Icon
Subscribe
Seattle, Washington
May 18, 2005 to May 20, 2005
ISBN: 0-7695-2356-0
pp: 166-173
Madhukar Anand , University of Pennsylvania, Philadelphia, PA
Jesung Kim , University of Pennsylvania, Philadelphia, PA
Insup Lee , University of Pennsylvania, Philadelphia, PA
ABSTRACT
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.
INDEX TERMS
null
CITATION
Madhukar Anand, Jesung Kim, Insup Lee, "Code Generation from Hybrid Systems Models for Distributed Embedded Systems", ISORC, 2005, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) 2005, pp. 166-173, doi:10.1109/ISORC.2005.20
386 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool