Mälardalens högskolas logotyp
Mälardalens Högskola Logga

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.

Till toppen