Generating Sound and Resource-Aware Code from Hybrid System Models

TitleGenerating Sound and Resource-Aware Code from Hybrid System Models
Publication TypeConference Paper
Year of Publication2008
AuthorsAnand, M., J. Kim, S. Fischmeister, and I. Lee
Conference NameModel-Driven Development of Reliable Automotive Services
Date PublishedAugust
Conference LocationSan Diego, USA
ISBN NumberISBN: 978-3-540-70929-9
Keywordscharon, hybrid systems, real-time

Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the implementation process. Although there are appropriate models to design such systems and some tools that support automatic code generation from such models, several issues related to ensuring correctness of the implementation with respect to the model remain to be addressed. In this work, we investigate how we can derive sampling rates for distributed real-time systems generated from a hybrid systems model such that there are no switching discrepancies and the resources spent in achieving this are a minimum. Of particular interest are the resulting mode switching semantics and we propose an approach to handle faulty transitions and compute execution rates for minimizing missed transitions. As a guiding example for our approach, we describe a hybrid systems model for vehicle coordination in which one vehicle acts as a leader and a second follows the leader

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.