MDH


SYNOPSIS



Home
Publications
Staff
News
Events
About SYNOPSIS
ES
IDT
MDH
SYNOPSIS
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems
The Team
Funded by:
Project profile
Manager: Hans Hansson
Duration: Sep 2011 - Aug 2016
Researchers:17
Publications: 89
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 2016 Towards Cloud-Based Enactment of Safety-Related Processes
Sep 2016 Systematic Maintenance of Safety Cases to Reduce Risk
Sep 2016 Configuration-aware Contracts
Aug 2016 Improving the Stop-Test Decision When Testing Data are Slow to Converge
Aug 2016 A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software
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 :(.