Text
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
Barndom i Antropocen - Utbildning och hållbarhet
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
Certifierbara bevis och justifieringsteknik
Datakommunikation
Design av realtidssystem
Forskargruppen för studier i demokrati, makt och medborgarskap
Heterogena system
Industriell programvaruteknik
Informationsdesign
Energieffektivisering och minskning av utsläpp
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
021-10 31 63
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.