Development processes, methods, tools and platforms for safety-critical multicore systems
Future safety-critical applications in the automotive industry, such as highly automated driving, will result in a drastic increase in the required computing power. The same applies to aerospace and industrial automation, where large amounts of data must be efficiently processed, often in compliance with real-time guarantees.
Multicore processors provide the necessary power to not only speed up computation-intensive tasks, but also have the potential to integrate multiple applications that are currently deployed on individual control units. In contrast to consumer electronics or telecommunications, where multicore processors are already ubiquitous, safety-critical applications, such as in the above-mentioned application domains, bring additional complex requirements, which currently cannot be met or only with disproportionate effort.
ARAMiS II builds on the ARAMIS project and aims to develop a systematic and structured approach to multicore software and platform development. Building on this, appropriate methods and development tools will be provided and established industrial platforms will be further developed or extended, taking multicore-specific requirements into account.
Based on industrial requirements for multicore-based software and system development for safety-critical systems, which are gathered in the application domains involved in the project, a structured multicore development process is being defined, which takes into account specific properties such as true parallelism and interference right from the earliest design stages. To enable safety-by-design properties, methodologies, development tools and multicore platforms are being developed accordingly. A special focus is on the definition of manufacturer-independent standards and interfaces with which tool chains tailored to the respective application domain can be achieved.
In the project, fortiss is working on methods for modelling and characterising multicore platform architectures, and researching how these models can be applied in the early stages of the development process. In doing so, fortiss is researching state space exploration methods that can be used to compute valid configurations of safety-critical multicore systems and optimise them based on criteria such as cost, weight or energy consumption. The methods are implemented in an open-source model-based development tool and validated in a use case from the field of industrial automation.