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...

• Type: Journal
• Year: 2010
• Where: TC
• Authors: Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee
• Keywords: Code, Embedded Systems, Information Technology, Model, Software Engineering, TC 2010