Safety Analysis & Verification

Um trotz dieser Komplexität die Sicherheit gemäß den strengen Anforderungen im Luft- und Raumfahrtbereich, im Bahnbereich, aber auch im Automobilbereich gewährleisten zu können, entwickelt OFFIS in diesem Themenfeld – auf die unterschiedlichen Phasen des Entwicklungs- und Sicherheitsprozesses abgestimmte – Methoden zum Nachweis der Sicherheit von in diesen Produkten verbauten eingebetteten Systemen. Diese reichen von frühen Functional Hazard Analysen, umfassenden Wechselwirkungen von Fehlern zwischen Mechanik, Hydraulik, Elektrik, und Hardware/Software Komponenten, bis hin zur Analyse des Fehlverhaltens von Hardwarebaustein. Hierzu gehören modellbasierte Analysemethoden zur Bestimmung von Fehlereffekten und -ursachen als auch formale Methoden zur Absicherung der für den Sicherheitsnachweis erforderlichen Argumentation. Diese können unter Beachtung geltender Sicherheitsstandards in Plattformen für die industrielle Entwicklung sicherheitskritischer Systeme integriert werden und verbessern damit die bestehenden internationalen Standards ebenso wie die Kosten der Systementwicklung. OFFIS bringt seine Erfahrungen in der Sicherheitsanalyse auch als Development Member in Autosar ein.

OFFIS bearbeitet diese Themen in den Gruppen:

• SAV RSM - Requirements, Specifications and Models
• SAV DAT - Dependability Analysis Techniques