Text

Säkerhetskritisk teknik

Informationsdesign

Resurseffektivisering

Digitalisering

Design av realtidssystem

Modellbaserad konstruktion av inbäddade system

Certifierbara bevis och justifieringsteknik

Robotik

Formell modellering och analys av inbyggda system

Komplexa inbyggda system i realtid

Tillförlitlig programvaruteknik

Redovisning och ekonomistyrning

Programvarutestlaboratorium

Programmeringsspråk

Produkt- och produktionsutveckling

Heterogena system

VeriSpec - Structured Specification and Automated Verification for Automotive Functional Safety

The need for more advanced formal methodologies for design, development and verification of embedded systems has been identified by both industry and academia. VeriSpec will develop new, as well as adapt existing, modelling and verification techniques and relevant tool support for the analysis of requirements and architectural models of automotive systems, which could be seamlessly integrated within the industrial methodology of system development regulated by the functional safety standard ISO 26262.

Projektansvarig vid MDH

Universitetslektor

Cristina Seceleanu

021-15 17 64

cristina.seceleanu@mdh.se

No partial template found

The concrete project outcomes will be (i) a language by which requirements can be formalised and related to the system architecture, (ii) methods for automatic verification of architectural models against requirements, and (iii) a prototype implementation of the developed framework compatible with the industrial practices and processes.

From an industrial perspective, the adoption of these new methods and techniques raises challenges concerning the integration of new practices and related tools in the industrial processes and tool-chains. In order to tackle this problem, VeriSpec seeks for close interaction between academia (MDH) and industry (Scania CV and AB Volvo).

Till toppen