SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems
The Team
Funded by:
Project profile
Manager: Hans Hansson
Duration: Sep 2011 - Aug 2016
Publications: 94
Research groups:
Complex Real-Time Embedded Systems
Dependable Software Engineering
Industrial Software Engineering
Programming Languages
Real-Time Systems Design
Safety-Critical Engineering
Software Testing Laboratory
Related projects:
SafeCer | RetNet | VeriSpec | SaDIES

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 Publications:
Sep 2017 Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases
Apr 2017 Technical Report: The Architecture Quality Assurance Tool
Apr 2017 Technical Report: Empirical Evaluation of The Architecture Quality Assurance Framework
Apr 2017 Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases: An Example
Apr 2017 Risk-based Decision-making Fallacies: Why Present Functional Safety Standards Are Not Enough
Latest and upcoming events:
Sep 2016 An ALARP stop-test Decision for the worst case Timing characteristics of safety-critical systems
May 2016 Bugs and Debugging of Concurrent and Multicore Software
Jun 2015 IDT Open Seminar: Dynamic Reasoning for Safety Assurance
Latest News:
Nothing new here :(.