Logotype Mälardalenn University

MRTC research projects



SYNOPSIS

Leader: Hans Hansson
Members: Hans Hansson, Björn Lisper, Sasikumar Punnekkat, Kristina Lundqvist, Iain Bate, Jan Carlson, Thomas Nolte, Paul Pettersson, Barbara Gallina, Omar Jaradat, Hüseyin Aysan, Guillermo Rodriguez-Navas, Irfan Šljivo
Research group:Real-Time Systems Design group
Keywords: Certification, Safety, Component-based, Contracts
Status: active , start date: 2011-09-01 , End date: 2016-08-31
Funding: SSF

 

Overview

SYNOPSIS is targeting increased efficiency and reduced time-to-market by composable safety certification of safety-relevant embedded systems. The fundamental approach is built upon new disciplinary research in component contracts, parameterized verification, and behavioural interference analysis, together with system-oriented research on safety case argumentations, co-development processes and provision of evidences based on testing of system robustness. The resulting efficiency and reduced time to market will increase competitiveness and pave the way for a cross-domain market for software components qualified for certification. The industrial domains targeted are within heavy-vehicles, construction equipment, avionics, and rail, and suitable use cases from industrial partners will form the backbone of the demonstrator planned.
 

Latest project publications [ Show all publications ]


Realistic Safety Cases for the Timing of Systems, Patrick Graydon, Iain Bate, The Computer Journal, vol TBD, nr TBD, pTBD, Oxford Journals, February, TBD

S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tuneable Safety-oriented Processes, Barbara Gallina, Karthik Raja Pitchai (external), Kristina Lundqvist, 11th International Conference on Software Engineering Research, Management and Applications (SERA), Springer SCI, Prague, Czech Republic, August, 2013

Resource Sharing Using the Rollback Mechanism in Hierarchically Scheduled Real-Time Open Systems, Mikael Åsberg, Thomas Nolte, Moris Behnam, 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'13), Philadelphia, USA, April, 2013


  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2012.08.24