The objective of PreView (2016-2018) acronym for “Developing Predictable Vehicle Software on Multi-core” is on supporting predictable execution on multi-core platforms. The project is supported by KK-foundation.
The aim is to develop techniques for model- and component-based software development of the systems utilizing multi-core platforms. The techniques will support various development steps, i.e., from modelling of the software architecture to its synthesis and execution on multi-core platforms. Multiple criticality levels in the vehicle software will be supported by means of virtual partitions in the core(s) of single-core as well as multi-core platforms.
The objective of DPAC (2015-2023) acronym for “Dependable Platforms for Autonomous systems and Control” is to enhance and establish a strong research profile at Mälardalens University (MDH), targeting dependable platforms for autonomous systems2 and control. The new profile will strengthen the interdisciplinary collaboration from five different research areas within the Embedded Systems (ES) environment at MDH, thus, allowing for a holistic view on dependable platforms, and making new collaborations and positive synergy effects possible.
Whitin DPAC, Arcticus participates in the project “Predictability and dependability in parallel architectures”. This project includes a set of work packages that will contribute towards improved software support for reconfigurable and dependable use of parallel architectures, ranging from contemporary multi-parallel multicores to future hyper-parallel HSA chips.
In this project (2013-2017) 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.
Embedded systems (ES) can be found everywhere; in vehicles, robots, medical appliances, etc. Software reliability of these systems is paramount. The trend of these systems is to incorporate more and more complex functionality. Timing behavior is usually addressed during the final phases of the development process, resulting in long and costly design iterations. This research will focus on extending academic theories, specifically response-time analysis (RTA), for timing predictions of ES. RTA theory is a mature technology from a scientific viewpoint. However, the industrial impact of these theories has been limited and unsuccessful. This project will investigate, through studies on actual systems, how RTA can be extended to incorporate information of the behavior of actual systems in order to improve the accuracy of RTA. Our preliminary research has already identified some of the problems to be addressed. Furthermore, we will investigate how to encapsulate this theory into tools, so it can be incorporated into development tool chains. With such tools, timing flaws can be discovered early in the design process, reducing development costs significantly. RTA also provides formal evidence of correctness, an important aspect in certification processes. This research proposal has been identified in cooperation with several industrial partners. Thus, besides providing new scientific real-time theories, they will have a good chance of being accepted and adopted by industry
Arcticus participates in the EU ARTEMIS research project EMC² (2014-2017) acronym for “Embedded Multi-Core systems for mixed criticality applications in dynamic and changeable real-time environments”. The mixed criticality captures both static (pre-run-time configuration) as well as the dynamic (run-time behaviour) criticality. The objective of the EMC² project is to foster these changes through an innovative and sustainable service-oriented architecture approach for mixed criticality.
Arcticus also participates in the EU ITEA3 project ASSUME (2015-2018) acronym for Affordable Safe & Secure Mobility Evolution.
The ASSUME project aims at providing 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.