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.