PROGRESS research projects

PG-Demo-SAVE – The SAVE demonstrator

Leader: Thomas Nolte, Dag Nyström Members: Thomas Nolte, Dag Nyström, Ivica Crnkovic, Séverine Sentilles, Hans Hansson, Paul Pettersson, Anders Pettersson, Andreas Hjertström, Moris Behnam, Mehrdad Saadatmand Former: Mikael Åkerholm Status: finished , start date: 2006-10-01 , End date: 2008-12-31 Funding: SSF (SAVE, Progress), MDH

Overview The objective of this project is to develop an automotive demonstrator illustrating the technology developed within the SAVE project. This will include an integrated tool environment, a concrete target system, and an application used for evaluation and demonstration purposes.

Project publications Bridging the Semantic Gap between Abstract Models of Embedded Systems, Jagadish Suryadevara, Eun-Young Kang (former), Cristina Seceleanu, Paul Pettersson, 13th International Symposium on Component Based Software Engineering (CBSE), Springer LNCS, vol 6092, Prague, Czech Republic, Editor(s):Lars Grunske and Ralf Reussner, June, 2010