ABSTRACT
In the following section, an introduction to the embedded software development by application of Model-Based Design is provided. Then, the tool support of this process in the context of the research presented here is discussed. Next, validation and verification of the code generated as a result of the above activities are highlighted and the compliance with functional safety standards is considered. Finally, the contribution of this work is described.
