Abstract 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 to 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.
Generating Sound and Resource-Aware Code from Hybrid Systems Models
2008-01-01
19 pages
Article/Chapter (Book)
Electronic Resource
English
Code Generation , Hybrid System , Communication Delay , Logical Time , Discrete Transition Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Programming Techniques , Special Purpose and Application-Based Systems , Software Engineering , Computation by Abstract Devices
Generating Sound and Resource-Aware Code from Hybrid Systems Models
British Library Conference Proceedings | 2008
|Resource-Aware Automotive Control Systems Design
TIBKAT | 2017
|Resource-aware automotive control systems design
TIBKAT | 2017
|Techniques for Generating and Measuring Production Code Constructs from Controller Models
SAE Technical Papers | 2009
|