Sciweavers

Share
TC
2010

Generating Reliable Code from Hybrid-Systems Models

7 years 11 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distributed embedded systems can be modeled as a network of communicating hybrid automata. Several techniques for code generation from these models have also been proposed and commercially implemented. Providing formal guarantees of the generated code with respect to the model, however, has turned out to be a hard problem. While the model is set in continuous time with concurrent execution and instantaneous switching, the code running on an inherently discrete platform, can be affected by the sampling interval, round-off errors, and communication delays between the sensor, controller, and actuators. Consequently, semantic differences between the model and its code can arise with potentially different system behavior. This paper proposes a criterion for faithful implementation of the hybrid-systems model with a foc...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur
Added 21 May 2011
Updated 21 May 2011
Type Journal
Year 2010
Where TC
Authors Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee
Comments (0)
books