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

Text

Artificial Intelligence och Intelligent Systems

Automated Software language and Software engineering

Formal Modelling and Analysis of Embedded Systems

Heterogeneous systems - hardware software co-design

Human

Industrial Software Engineering

Model-Based Engineering of Embedded Systems

Political Science

Product and Production Development

Real-Time Systems Design

Simulation and optimisation for future industrial applications (SOFIA)

Software Testing Laboratory

Sustainable lifestyle and health from a public health perspective

Energy efficiency and reduction of emissions

SynthSoft - Synthesizing Predictable Software for Distributed Embedded Systems

In this project we will bridge the sematic gap between (a) academic and industrial methods for timing modeling and analysis, and (b) industrial practices for model-based software development.

Concluded

Start

2013-05-01

Conclusion

2018-04-30

Main financing

The Swedish Research Council

Collaboration partners

Arcticus Systems AB

Project manager at MDH

Professor

Mikael Sjödin

+4621101597

mikael.sjodin@mdh.se

We will do this by providing: (1) novel techniques for synthesis of predictable code from behavior- and component-models, (2) integration of timing-requirements modeling and timing-analysis tools in the design workflow. In this project, we target specifically the domain of distributed embedded real-time control systems, as represented by, e.g., automotive, aerospace and automation industries. A special focus will be on the automotive sector; a sector which is scientifically interesting due to the major improvement w.r.t. state-of-practice in software development over the last decade (including large-scale industrial adoption of techniques like component-based software engineering and model-based development) Concretely, this project will investigate how research oriented and/or standardized component models intended for the automotive domain (e.g. EAST-ADL, AUTOSAR) can be used together with component models actually used in industry today (Matlab/Simulink, Rubus Component Model) to provide both a functional description of the system as well as providing an analyzable and a resource efficient model of the run-time system, and how we can generate predictable and efficient code from these models.

To top