[25 May 2015] A master student at RTSLAB was awarded the best thesis
award from IDA - Klervie Toczé. more ...
[26 May 2014] A bachelor student at RTSLAB was awarded the best thesis
award from IDA - Simon Andersson. more ...
[31 May 2012] A masters student at RTSLAB was awarded the best thesis
award from IDA - Ulf Magnusson. more ...
[27 February 2008] A masters student at RTSLAB was awarded the best thesis
award from IDA - Johan Sigholm. more ...
[03 March 2004] A masters student at RTSLAB was awarded the best thesis
award from IDA - Tobias Chyssler. more ...
[01 Jul 2003] For second year in a row a masters student at RTSLAB was awarded the best thesis
award from SNART - Mehdi Amirijoo. more ...
Master Thesis - Past Projects - Abstract
Model based development of an airbag software
Model-based development is an approach to software development where a
model of the software is built in a software tool and then used as the
starting point for all other activities. In this report we look at two
different modeling technologies, UML with Rhapsody in C and synchronous
data-flow with Scade. The work presented was done at Autoliv Electronics
AB and the models are based on one of their current airbag systems.
Rhapsody in C was used to build a UML model of simplified airbag software.
The model includes a structural model with class and object diagrams and a
behavioral model with statecharts. C-code was then generated from the
model and the software was tested on a PC and on a target micro
controller, the TX19A from Toshiba.
Scade was used to show how to make a model of the algorithms that detect
if a vehicle is in a crash. Formal verification with the Prover plug-in
was investigated and a property of the Scade-model was formally verified.
Source code was also generated from the Scade model.
The Rhapsody model showed great promise when it comes to faster
development and less errors. The size of the generated code was the big
drawback. Scade has great benefits when modeling control functions or
algorithms. The possibility of formal verification can be of great help in
Keywords: Model-based development, UML, Rhapsody, Synchronous data flow, Scade
Author(s): Andreas Eriksson
Contact: Simin Nadjm-Tehrani
Click here to return.