Publications

Conference/Workshop Paper (9)

Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems (May 2009)
Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic
Proceedings of the Research Demo Track of the 31st International Conference on Software Engineering (ICSE09)

Handling Subsystems using the SaveComp Component Technology (Dec 2006)
Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, Mikael Sjödin, Thomas Nolte, John Håkansson , Paul Pettersson
Workshop on Models and Analysis for Automotive Systems (WMAAS06) in conjunction with the 27th IEEE Real-Time Systems Symposium (RTSS06)

Real-Time Subsystem Integration in the Presence of Shared Resources (Dec 2006)
Moris Behnam, Insik Shin, Thomas Nolte, Mikael Sjödin
Proceedings of the Work-In-Progress (WIP) session of the 27th IEEE Real-Time Systems Symposium (RTSS06)

Integration of networked subsystems in a resource constrained environment (Sep 2006)
Thomas Nolte, Hans Hansson, Lucia Lo Bello
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA06)

Towards stochastic response-time of hierarchically scheduled real-time tasks (Sep 2006)
Giordano A. Kaczynski , Lucia Lo Bello , Thomas Nolte
Proceedings of the Work-In-Progress (WIP) session of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA06)

Towards a robust real-time wireless link in a land monitoring application (Sep 2006)
Lucia Lo Bello , Giordano A. Kaczynski , Thomas Nolte
Proceedings of the Work-In-Progress (WIP) session of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA06)

Facilitating subsystem integration by decoupling priority and identifier in CAN messages (Jul 2006)
Thomas Nolte, Lucia Lo Bello , Hans Hansson
Proceedings of the 5th International Workshop on Real-Time Networks (RTN06) in conjunction with the 18th Euromicro International Conference on Real-Time Systems (ECRTS06)

Model-based Testing of a WAP Gateway: an Industrial Case-Study (Feb 2006)
Anders Hessel, Paul Pettersson
International Workshop on Formal Methods for Industrial Critical Systems (FMICS06)

SaveCCM: An Analysable Component Model for Real-Time Systems (Oct 2005)
Jan Carlson, John Håkansson , Paul Pettersson
International Workshop on Formal Aspects of Component Software (FACS05)

Report - MRTC (1)

The SaveCCM Language Reference Manual (Jan 2007)
Mikael Åkerholm, Jan Carlson, John Håkansson , Hans Hansson, Mikael Sjödin, Thomas Nolte, Paul Pettersson