Text

Artificiell intelligens och intelligenta system

Certifierbara bevis och justifieringsteknik

Cyber-fysisk systemanalys

Digitalisering av framtidens energi

Formell modellering och analys av inbyggda system

Förnybar energi

Heterogena system

Industriella AI-system

Industriell programvaruteknik

Komplexa inbyggda system i realtid

Lärande och optimering

Modellbaserad konstruktion av inbäddade system

Programmeringsspråk

Programvarutestlaboratorium

Statsvetenskap

Säkerhetskritisk teknik

Teknisk matematik

Affordable Safe & Secure Mobility Evolution

ASSUME provides a seamless engineering methodology for delivering trustworthy new mobility assistance functions on multi and many core architectures. The problem is addressed on the constructive and on the analysis side. For efficient construction and synthesis of embedded systems, the project provides new tools, standards and a methodology to cover most of the challenges by design.

Projektansvarig vid MDU

No partial template found

Description of the project

In addition, ASSUME provides a well-integrated sound static analysis solution that allows proving the absence of problems even in a multi -core environment. New algorithms will be integrated in exploitable tools. New interoperability standards and requirements formalization standards will facility tools and market player cooperation.

The ASSUME consortium includes leading European industry partners for mobility solutions, tool and service providers for embedded system development as well as leading research institutes for static analysis for model-driven and traditional embedded systems development.