SAFE4I Sicherer Automatischer Software-Entwurf für Industrieanlagen

Motivation

Industry 4.0 and the Internet of Things are driving industrial production forward. In this context, corresponding standards for functional safety (safety) such as IEC 61511 and IEC EN 61508 require not only the protection of the automation solution as a whole, but also the protection of components and subsystems. The general goal of the SAFE4I project is to accelerate the development of functionally safe software. All parts of the software needed to implement customer-specific automation solutions for industry 4.0 applications are considered. These include automation software, control software, embedded software and firmware. This goal is to be achieved by strictly separating the design of the required software functionality from the software protection measures. This separation of concerns will significantly reduce the implementation effort. Furthermore, it enables the software to be integrated semi-automatically to ensure functional safety by means of so-called join points. As a result, the SAFE4I project is developing a semi-automated, model-based development process in order to significantly reduce the cost and effort involved in functional safe software. The developed solution promises quality and cost leverage for the end users and component suppliers, as well as for the involved tool suppliers. These project partners will provide new product functions for a large number of current and future application areas, addressing a large number of core domains of the German industry. The high percentage of SMEs in the project and additional special measures for the dissemination of the SAFE4I results for SMEs, promote the rapid and widespread dissemination of the results in Germany. The interaction of SMEs, industry and research institutes with activities along the value chain guarantees a holistic approach.

In the SAFE4I project, OFFIS will work on the extension of a compiler which is able to include so-called contracts for the monitoring of the correct functioning and the correct time behaviour of software components. It should be possible to extend the regular implementation of functions with plausibility checks regarding behavior and execution time at clearly defined interfaces. The compiler framework to be explored should then be able to translate the constraints to be checked into different monitors within an automatic translation process. These monitors can then be run on either the same processor or a co-processor.

Persons
Publications
Inertial Sensor Based Robot Gesture Detection for Safe Human-Robot Interaction

Johann-P. Wolff and Christian Haubelt and Rolf Schmedes and Kim Grüttner; 2nd International Workshop on Embedded Software for Industrial IoT (ESIIT) at DATE'19; 003 / 2019

Timing Measurement and Control Blocks for Bare-Metal C++ Applications

Friederike Bruns and Philipp Ittershagen and Kim Grüttner; Forum on Specification and Design Languages (FDL); 2019

Towards Distributed Runtime Monitoring with C++ Contracts

Rolf Schmedes and Philipp Ittershagen and Kim Grüttner; 2nd International Workshop on Embedded Software for Industrial IoT (ESIIT) at DATE'19; 003 / 2019

Towards Distributed Runtime Monitoring with C++ Contracts

Rolf Schmedes and Kim Grüttner and Philipp Ittershagen; International Conference on Omni-layer Intelligent systems (COINS); 2019

Partners
Infineon Technologies AG
www.infineon.com
Bosch Sensortec GmbH
www.bosch-sensortec.com
COSEDA Technologies GmbH
www.coseda-tech.com
FZI Forschungszentrum Informatik
www.fzi.de
HOOD GmbH
www.hood-group.com
itemis AG
www.itemis.de
Model Engineering Solutions GmbH
www.model-engineers.com
Robert Bosch GmbH
www.bosch.de
ScopeSET Technology Deutschland GmbH
www.scopeset.de
TU München
www.tum.de
Universität Paderborn
www.uni-paderborn.de
Universität Rostock, Institut für Angewandte Mikroelektronik und Datentechnik
www.imd.uni-rostock.de

Duration

Start: 30.09.2017
End: 29.09.2021

Founding Source

Related projects

COMPACT

Cost-Efficient Smart System Software Synthesis