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.
|First Name||Last Name||Title|
Using Safety Contracts to Verify Design Assumptions During Runtime (Jun 2018) Omar Jaradat, Sasikumar Punnekkat 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )
AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems (Oct 2017) Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)
Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool (Oct 2017) Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)
Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases (Sep 2017) Omar Jaradat, Iain Bate European Dependable Computing Conference (EDCC'17)