Text
Accounting and Control
Certifiable Evidences and Justification Engineering
Complex Real-Time Embedded Systems
Digitalisation
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
Resource efficiency
Robotics
Safety-Critical Engineering
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
Project manager at MDH
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.