EffektiV Effiziente Fehlereffektsimulation mit virtuellen Prototypen zur Qualifikation intelligenter Motion-Control-Systeme in der Industrieautomatisierung (sorry - only available in german)

Goal

Geprüfte Sicherheit für Industrie 4.0 durch effiziente Fehlereffektsimulation

Fertigungsanlagen der Zukunft, die sogenannten Cyber Physical Production Systems für Industrie 4.0, sind hochkomplexe, intelligente Systeme mit einer Vielzahl von Komponenten, die reibungslos ineinander greifen müssen. Noch komplexer ist die eingebettete Software, die diese Systeme steuert. Was passiert jedoch, wenn z. B. in einer Robotersteuerung einzelne Chips in den Steuergeräten ausfallen, wenn ein Motor aufgrund eines Lagerschadens überhitzt oder ein Sensor fehlerhafte Daten liefert? Lässt sich die Steuerungssoftware dieser Systeme so entwickeln und testen, dass bei Fehlern in einer oder mehreren Komponenten das gesamte System stets in einem sicheren Zustand verbleibt? Ist damit sichergestellt, dass Menschen im Umfeld nicht zu Schaden kommen und teure Bauteile wie z. B. Motoren oder Roboterarme nicht zerstört werden?

In einem Verbund von sieben Partnern entwickelt das Forschungsvorhaben EffektiV hierfür Methoden und Werkzeuge zur Fehlereffektsimulation, um in frühen Entwurfsphasen die Auswirkungen von Fehlern unter Verwendung virtueller Prototypen zu analysieren. Dadurch lässt sich die Steuerungssoftware gegenüber verschiedensten Fehlern durch umfangreiche Stresstests absichern. Damit wird sogar eine umfassende Betrachtung aller relevanten Fehlerszenarien frühzeitig möglich. Iterationen mit kostspieligen Nachbesserungen, eingeschränkte Funktionalität oder gar die Gefährdung des Produkterfolgs mit der einhergehenden Beeinträchtigung der Wettbewerbsfähigkeit können so vermieden werden.
Die zu entwickelnde Fehlereffektsimulation wird es erlauben, die Reaktion komplexer Systeme für die Fertigung der Zukunft genauso wie für Systeme der Automobil- und Sicherheitstechnik auch gegen solche Fehler abzusichern, die in den bisherigen Tests mit realen Hardware-Aufbauten kaum oder gar nicht durchgespielt werden können. Dadurch wird die Sicherheit der Systeme, trotz ihrer schnell wachsenden Komplexität, weiter erhöht. Zudem wird die effiziente Entwicklung sicherer, zuverlässiger und robuster Produkte z. B. gemäß der Normen IEC 61508 und ISO 26262 entscheidend unterstützt. EffektiV betrachtet dabei alle relevanten Komponenten entlang der Wertschöpfungskette. Damit können zukünftig frühzeitige und umfassende Aussagen über das Systemverhalten im Fehlerfall gemacht werden und bereits in die Produktentwicklung einfließen. EffektiV ermöglicht so eine Erhöhung der Innovationsgeschwindigkeit und damit einen zusätzlichen Wettbewerbsvorteil auf dem Gebiet sicherheitssensibler Systeme.

Das OFFIS agiert in EffektiV als Unterauftragnehmer zu Bosch beim objektorientierten Entwurf komplexer heterogener HW/SW-Systeme. Thematisiert werden die Abstraktion und Modellierung physikalischer Fehler. Hierbei wird das international anerkannte OFFIS Know-how aus diversen Forschungsprojekten und Industriekooperationen im Bereich der formalen Spezifikation und Verifikation sowie im Entwurf komplexer heterogener HW/SW-Systeme ein eingebracht und ausgebaut. Dabei stellt das Institut für Informatik OFFIS den Transfer von Wissen und Methoden in die Forschung und Lehre sicher.

Persons

External Leader

Dr. Jan-Hendrik Oetjens, Robert Bosch GmbH

Scientific Director

Publications
Modellbasierte Entwicklung und Verifikation von Sensor-SiPs

Görgen, Ralph; Oetjens, Jan-Hendrik; MATLAB EXPO 2014; 07 / 2014

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges

J.-H. Oetjens, N. Bannow, M. Becker, O. Bringmann, A. Burger, M. Chaari, S. Chakraborty, R. Drechsler, W. Ecker, K. Grüttner, Th. Kruse, C. Kuznik, H. M. Le, A. Mauderer, W. Müller, D. Müller-Gritschneder, F. Poppen, H. Post, S. Reiter, W. Rosenstiel, S. Roth, U. Schlichtmann, A. von Schwerin, B.-A. Tabacaru, A. Viehl; Proceedings of the 51th Design Automation Conference (DAC) 2014, San Francisco, CA, USA; 06 / 2014

Connecting a Company’s Verification Methodology to Standard Concepts of UVM

Frank Poppen, Marco Trunzer, Jan-Hendrik Oetjens; Proceedings of DVCon Europe 2014; 10 / 2014

Using Synopsys VCS to connect a Company’s SystemC Verification Methodology to Standard Concepts of UVM

Frank PoppenMarco TrunzerJan-Hendrik Oetjens; Proceedings of SNUG Germany 2015; 06 / 2015

Using an Enhanced Verification Methodology for Back-to-Back RTL/TLM Simulation

Frank Poppen, Ralph Görgen, Kai Schulz, Andreas Mauderer, Jan-Hendrik Oetjens, Joachim Gerlach; Proceedings of DVCon Europe 2017; 0October / 2017

Partners
FZI Forschungszentrum Informatik
www.fzi.de
Infineon Technologies AG
www.infineon.com
Robert Bosch GmbH
www.bosch.de
Universität Bremen
www.uni-bremen.de
Universität Paderborn
www.uni-paderborn.de

Duration

Start: 30.09.2013
End: 29.09.2016

Website of project

Related projects

SANITAS

Sichere Systeme auf Basis einer durchgängigen Verifikation entlang der gesamten Wertschöpfungskette (sorry - only available in German)