This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)
Code Generation from Hybrid Systems Models for Distributed Embedded Systems
Seattle, Washington
May 18-May 20
ISBN: 0-7695-2356-0
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.
Citation:
Madhukar Anand, Jesung Kim, Insup Lee, "Code Generation from Hybrid Systems Models for Distributed Embedded Systems," isorc, pp.166-173, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.