Text
Algebra och Analys med tillämpningar
Barndom i Antropocen - Utbildning och hållbarhet
Certifierbara bevis och justifieringsteknik
Datakommunikation
Design av realtidssystem
k
Energieffektivisering och minskning av utsläpp
Heterogena system
Industriell programvaruteknik
Informationsdesign
Komplexa inbyggda system i realtid
Learning, Inclusive education, School transitions – for All (LISA)
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
Redovisning och ekonomistyrning
Robotik
Statsvetenskap
Stokastiska processer, statistik och finansmatematik
Säkerhetskritisk teknik
Teknisk matematik
Tillförlitlig programvaruteknik
Förnybar energi
Marknadsföring och strategi
NOMP-gruppen – nya organisations- och managementpraktiker
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.