@inproceedings {46,
	title = {Generating Sound and Resource-Aware Code from Hybrid System Models},
	booktitle = {Model-Driven Development of Reliable Automotive Services},
	year = {2008},
	month = {August},
	pages = {48{\textendash}66},
	address = {San Diego, USA},
	abstract = {<p>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</p>
},
	keywords = {charon, hybrid systems, real-time},
	isbn = {ISBN: 978-3-540-70929-9},
	doi = {10.1007/978-3-540-70930-5_4},
	url = {http://dl.acm.org/citation.cfm?id=1422807},
	author = {Anand, Madhukar and Kim, Jesung and Fischmeister, Sebastian and Lee, Insup}
}
@inproceedings {36,
	title = {Distributed Code Generation from Hybrid Systems Models for Time-delayed Multirate Systems},
	booktitle = {Proc. of the ACM Conference on Embedded Software (EMSOFT)},
	year = {2005},
	month = {September},
	pages = {210{\textendash}213},
	address = {New York, USA},
	abstract = {<p>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.</p>
},
	keywords = {charon, hybrid systems, real-time},
	isbn = {1-59593-091-4},
	doi = {10.1145/1086228.1086267},
	url = {http://dl.acm.org/citation.cfm?id=1086267},
	author = {Anand, Madhukar and Fischmeister, Sebastian and Kim, Jesung and Lee, Insup}
}
