S³OP

Aus dem non-funktionalen Requirement „Safety“ leiten sich Anforderungen an die Programmierung, die verwendeten Datenstrukturen und die darauf operierenden Algorithmen, sowie sichere und trotzdem performante Floating-Point-Bibliotheken ab.

 In diesem Forschungsprojekt sollte eine tiefer gehende Forschung für die sichere Programmierung in den Programmier-sprachen C und C++ erfolgen. Auch sollten
sichere Design Pattern beschrieben werden. Zusätzlich wurden anwendungsnahe Konzepte zur sicheren Programmierung Software-intensiver Systeme formuliert, exemplarisch angewandt und mittels Fault-Injection-Strategien (Einspeisung zufälliger und systematischer Fehler) validiert werden. Die Fault-Injection sollte dabei auf einer Ziel-Plattform erfolgen.

Arbeitsziele

• Darlegung des Standes der Wissenschaft/Stand der Technik der Software-Codierungsverfahren.
• Studie zur Analyse des Safe Object Oriented Programming Paradigm.
• Entwicklung eines Fehlermodells.
• Ableitung von Markov Modellen.
• Bestimmung sicherheitsrelevanter Metriken (z.B. MTTF, PFD, SFF, …).
• Code-Metriken (Performance: Laufzeit, Resourcenverbrauch: RAM und ROM).
• Safe Design Pattern – Eine Adaption des Safe-Object-Oriented-Programming-Paradigmas.
• Validation des Safe Object Oriented Programming Paradigm auf einer Zielplattform (Standard Controller mit Fault Injection per JTAG oder Incircuit-Emulator oder FPGA mit IP-Core Prozessormodell).
• Machbarkeitsstudie eines Code Generator für das Safe Object Oriented Programming in C++.
• Evaluation der aufgestellten Konzepte mit den Anforderungen eines Automotive Embedded Systems (iNTENCE Automotive GmbH) und Mobiler Roboter Systeme (Manu Systems AG).