Reference:
, "A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink", in Holger Giese, Bernhard Westfechtel, Eds., Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, vol. tr-ri-06-275 of Technical Report, pp. 56–60, University of Paderborn, 2006.
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.
Links:
@InProceedings{GMW06_ag,
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.}
}Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser