by Holger Giese, Matthias Meyer, Robert Wagner
Abstract:
Nowadays, the software for electronic control units in embedded systems is often developed using a chain of modelbased development tools. For example, in the field of automotive systems often tools like Matlab/Simulink and related code generation tools such as dSPACE TargetLink are used. To ensure that the produced models can be processed as expected by the employed tool chains, i.e., fulfill all requirements of the later process phases, they have to adhere to a large number of often tool specific as well as organization specific guidelines. In this paper, we present a first prototype for a tool which supports the specification and checking of guidelines for the Matlab/Simulink environment. In addition, we discuss first ideas for the specification of guidelines using examples in Matlab/Simulink notation as well as the semi-automatic correction of guideline violations.
Reference:
A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink (Holger Giese, Matthias Meyer, Robert Wagner), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, 2006.
Bibtex Entry:
@InProceedings{GMW06_ag_1,
AUTHOR = {Giese, Holger and Meyer, Matthias and Wagner, Robert},
TITLE = {{A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink}},
YEAR = {2006},
BOOKTITLE = {Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany},
VOLUME = {tr-ri-06-275},
PAGES = {56--60},
EDITOR = {Giese, Holger and Westfechtel, Bernhard},
SERIES = {Technical Report},
PUBLISHER = {University of Paderborn},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2006/GMW06.pdf},
PDF = {GMW06.pdf},
ABSTRACT = {Nowadays, the software for electronic control units in embedded systems is often developed using a chain of modelbased development tools. For example, in the field of automotive systems often tools like Matlab/Simulink and related code generation tools such as dSPACE TargetLink are used. To ensure that the produced models can be processed as expected by the employed tool chains, i.e., fulfill all requirements of the later process phases, they have to adhere to a large number of often tool specific as well as organization specific guidelines. In this paper, we present a first prototype for a tool which supports the specification and checking of guidelines for the Matlab/Simulink environment. In addition, we discuss first ideas for the specification of guidelines using examples in Matlab/Simulink notation as well as the semi-automatic correction of guideline violations.}
}