|Title:||Component-based modeling and analysis of embedded systems|
In this thesis project the student will study and apply model-based techniques for development of embedded systems. An application from the vehicular industry will be studied. A formal model described in a component-based modeling language should be produced by the student. The model should also be formally analyzed using recently developed symbolic simulation and model-checking techniques.
This project is tightly coupled with current research performed at the department and in collaboration with three other Swedish universities within the national project SAVE++. It is also closely coupled to several other master thesis project that will be part of a larger demonstrator project within SAVE++.
|Company:||IDE, MdH, kontaktperson: Paul Pettersson|
|Prel. end date:||2008-09-01|