Text

Ubiquitous Computing

Komplexa inbyggda system i realtid

Cyber-Physical Systems Analysis

Tillförlitlig programvaruteknik

Heterogena system

Industriell programvaruteknik

Lärande och optimering

Säkerhetskritisk teknik

Automation in High-performance Cyber Physical Systems Development

In A-CPS, we aim at providing a model-based framework for introducing automation in the software development of high-performance vehicular systems.

Start

2019-04-01

Planned completion

2021-03-31

Main financing

KK-stiftelsen

Collaboration partners

Arcticus Systems AB, Volvo Group Trucks Technology

Project manager at MDH

Senior Lecturer

Alessio Bucaioni

+4621101437

alessio.bucaioni@mdh.se

High-performance cyber-physical systems, like autonomous vehicles, are bringing computing into the new era of heterogeneous computing, where all future computing platforms are likely to have several different computational units. One main need for heterogeneity is the terrific data-throughput induced by contemporary vehicles functions. However, when different computational units are put together on a single board, one main challenge is to use the enormous computing capabilities, while still meeting several non functional properties like timeliness. In order to tackle the challenge of timing verification for high-performance vehicular systems, engineers not only need to write parallel software, but also cope with ad-hoc issues introduced by heterogeneity such as the allocation of computations to computational units. Today, this challenge is mainly addressed manually making the software development tedious, error-prone and inefficient.

In A-CPS, we aim at providing a model-based framework for introducing automation in the software development of high-performance vehicular systems. The proposed framework will leverage industrial modelling languages and model transformations for providing automatic assessment of timing by means of model-based simulation, timing analysis and their interplay.