Distributed Code Generation from Hybrid Systems Models for Time-delayed Multirate Systems

TitleDistributed Code Generation from Hybrid Systems Models for Time-delayed Multirate Systems
Publication TypeConference Paper
Year of Publication2005
AuthorsAnand, M., S. Fischmeister, J. Kim, and I. Lee
Conference NameProc. of the ACM Conference on Embedded Software (EMSOFT)
Date PublishedSeptember
Conference LocationNew York, USA
ISBN Number1-59593-091-4
Keywordscharon, hybrid systems, real-time

Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of communicating hybrid automata, allows for modeling distributed embedded systems. Although it is possible to generate code from such models, it is difficult to provide formal guarantees in the code with respect to the model. One of the reasons for this is that, the model is set in continuous time and concurrent execution with instantaneous communication, whereas the generated code is set in discrete time with delayed communication. This can introduce semantic differences between the model and the code such as missed transitions, faulty transitions, and altered continuous behavior. The goal of faithful code generation is to minimize these differences. In this paper, we propose a relaxed criteria of faithfulness, coined relative faithful implementation. Based on this criteria, and we propose dynamically adjusting the guard at runtime using estimates of errors for preventing faulty transitions. We also identify a sufficient condition to ensure no missed transitions in the code.

Refereed DesignationRefereed
Related files: 


Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.