Text

Artificial Intelligence och Intelligent Systems

Certifiable Evidences & Justification Engineering

Complex Real-Time Embedded Systems

Energy efficiency and reduction of emissions

Heterogeneous systems - hardware software co-design

Industrial Software Engineering

Information Design

Model-Based Engineering of Embedded Systems

Product and Production Development

Programming Languages

Real-Time Systems Design

Robotics

Safety-Critical Engineering

Simulation and optimisation for future industrial applications (SOFIA)

Software Testing Laboratory

Ubiquitous Computing

SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems

SYNOPSIS is targeting increased efficiency and reduced time-to-market by composable safety certification of safety-relevant embedded systems.

Concluded

Start

2011-09-01

Conclusion

2016-08-31

Main financing

The Swedish Foundation for Strategic Research

Project manager at MDH

Professor

Hans A Hansson

+4621103163

hans.hansson@mdh.se

Description of the project

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.