Text
Informationsdesign
Komplexa inbyggda system i realtid
Learning, Inclusive education, School transitions – for All (LISA)
Marknadsföring och strategi
Medicinsk teknik
Modellbaserad konstruktion av inbäddade system
M-TERM - Mälardalen University Team of Educational Researchers in Mathematics
Produkt- och produktionsutveckling
Programmeringsspråk
Programvarutestlaboratorium
Robotik
Simulering och optimering för framtida industriella applikationer
Statsvetenskap
Stokastiska processer, statistik och finansmatematik
Säkerhetskritisk teknik
Teknisk matematik
Tillförlitlig programvaruteknik
Algebra och Analys med tillämpningar
Artificiell intelligens och intelligenta system
Certifierbara bevis och justifieringsteknik
Datakommunikation
Design av realtidssystem
Energieffektivisering och minskning av utsläpp
Heterogena system
Industriell programvaruteknik
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.
Avslutat
Start
2011-09-01
Avslut
2016-08-31
Huvudfinansiering
Stiftelsen för strategisk forskning
Projektansvarig vid MDH
Professor Realtidssystem / Docent
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.
