In der modellbasierten Entwicklung eingebetteter Software, insbesondere im Automobilbereich, wird Matlab/Simulink verbreitet eingesetzt. Im Rahmen der Modellerstellung, -wartung und -pflege häufig benötigte Änderungen an den Modellen, wie die Restrukturierung der Modellstruktur und Generierung von Modellkonstrukten, werden überlicherweise manuell, mit den vorhandenen Modellierungsmitteln des Si...

Control software in embedded hard real-time systems is subject to stringent timing constraints. To compute the required safe upper bounds on its worst-case execution-time (WCET), static timing analysis is used in industry [1]. Today control software is predominantly developed with model-based design tools such as Matlab Simulink/Stateflow. However, current timing tools lose precision as they co...

We present a semi-automatic design flow from Simulink models to prototypes of mixed hardware/software implementations of these models. Our work consists of three key contributions: (1) transformation of a functional model given in MATLAB/Simulink to the well-defined synchronous reactive model of computation (SR MoC), (2) an automatic SystemC code generation from Simulink models using the SR MoC...

A growing amount of embedded software is created by automated code generation from models. As each development project requires a given level of software quality, it is essential for successful projects that a projects quality is monitored and assessed continuously during the development life cycle. While quality assessment tools and processes for conventional software engineering are widely av...

Tabular expressions have been successfully used in developing safety critical systems, however insufficient tool support has hampered their wider adoption. To address this shortfall we have developed the Tabular Expression Toolbox for Matlab/Simulink. An intuitive user interface allows users to easily create, modify and check the completeness and disjointness of tabular expressions using the AT...

Describing function is an equivalent gain of nonlinear element, defined by the harmonic linearization method of nonlinear static characteristic (Novogranov, 1986, Slotine and Li, 1991, Schwarz and Gran, 2001, Vukic et al. 2003 and many others). It is a known method of analysis and synthesis when nonlinear system can be decoupled into linear and nonlinear parts (Fig. 1). If the linear part of th...