SynthSoft - Synthesizing Predictable Software for Distributed Embedded Systems



Start date:


End date:


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. 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.

[Show all publications]

Technology-preserving transition from single-core to multi-core in modelling vehicular systems (Jul 2017)
Alessio Bucaioni, Saad Mubeen, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin
13th European Conference on Modelling Foundations and Applications (ECMFA 2017)

Modeling of Vehicular Distributed Embedded Systems: Transition from Single-core to Multi-core (Apr 2017)
Saad Mubeen, Alessio Bucaioni
14th International Conference on Information Technology : New Generations (ITNG'17)

A Metamodel for the Rubus Component Model: Extensions for Timing and Model Transformation from EAST-ADL (Dec 2016)
Alessio Bucaioni, Antonio Cicchetti, Federico Ciccozzi, Saad Mubeen, Mikael Sjödin
Journal of IEEE Access (IEEE-Access16)

Early Timing Analysis of Vehicular Systems: the Road from Single-core to Multi-core (Oct 2016)
Alessio Bucaioni
Doctoral Symposium at ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. (DS @ MODELS)

Provisioning of Deterministic and Non-Deterministic Services for Vehicles: The Rubus Approach (Sep 2016)
Harold Lawson , Saad Mubeen, Alessio Bucaioni, Jukka Mäki-Turja, John Lundbäck , Mattias Gålnander , Kurt-Lennart Lundbäck , Mikael Sjödin
4th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS-2016)

Towards Design-Space Exploration of Component Chains in Vehicle Software (Sep 2016)
Alessio Bucaioni, Antonio Cicchetti, Federico Ciccozzi, Saad Mubeen, Alfonso Pierantonio, Mikael Sjödin
42nd Euromicro Conference series on Software Engineering and Advanced Applications, Work In Progress (WiP) (SEAA 2016 WiP)

Arcticus Systems AB Industrial

Mikael Sjödin, Professor,Research Leader

Room: U3-072
Phone: +46 70 288 2829