Generating Sound and Resource-Aware Code from Hybrid Systems Models

Authors:
Madhukar Anand;Sebastian Fischmeister;Jesung Kim;Insup Lee
Affiliations:
Department of Computer and Information Science School of Engineering and Applied Sciences, University of Pennsylvania,;Department of Computer and Information Science School of Engineering and Applied Sciences, University of Pennsylvania,;Department of Computer and Information Science School of Engineering and Applied Sciences, University of Pennsylvania,;Department of Computer and Information Science School of Engineering and Applied Sciences, University of Pennsylvania,
Venue:
Model-Driven Development of Reliable Automotive Services
Year:
2006

Citing 15
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Numerical recipes in C (2nd ed.): the art of scientific computing

Numerical recipes in C (2nd ed.): the art of scientific computing
A theory of timed automata

Theoretical Computer Science
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Real-time dynamic voltage scaling for low-power embedded operating systems

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata

Hybrid Systems IV
Discrete-Time Refinement of Hybrid Automata

HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Algorithmic Analysis of Nonlinear Hybrid Systems

Proceedings of the 7th International Conference on Computer Aided Verification
From Timed to Hybrid Systems

Proceedings of the Real-Time: Theory in Practice, REX Workshop
The d/dt Tool for Verification of Hybrid Systems

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Modular Specification of Hybrid Systems in CHARON

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Generating embedded software from hierarchical hybrid models

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
A model-driven approach for generating embedded robot navigation control software

ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Code Generation from Hybrid Systems Models for Distributed Embedded Systems

ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Distributed-code generation from hybrid systems models for time-delayed multirate systems

Proceedings of the 5th ACM international conference on Embedded software

Quantified Score

Hi-index	0.00

Visualization

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.