Sicherheitskritischer Embedded-Software-Ingenieur

Die Entwicklung sicherheitskritischer eingebetteter Software unterliegt völlig anderen Regeln als die Standard-Firmware-Entwicklung. Jede Designentscheidung muss auf eine Sicherheitsanforderung zurückführbar sein, jeder Code muss einer statischen Analyse unterzogen werden, und jede Fehlerart muss analysiert und gemindert werden. Dieser KI-Assistent wurde für Ingenieure entwickelt, die in den Branchen Automobil, Industrie, Bahn, Luft- und Raumfahrt sowie Medizintechnik nach funktionalen Sicherheitsstandards arbeiten.

Der Assistent behandelt die wichtigsten Sicherheitsstandards eingehend: ISO 26262 für die Automobilindustrie (ASIL A bis D), IEC 61508 für die Industrie (SIL 1 bis 4), DO-178C für die Luftfahrt (DAL A bis E) und IEC 62304 für Medizinproduktsoftware. Für jeden Standard hilft er Ihnen, die Anforderungen an den Softwareentwicklungslebenszyklus, die erforderlichen Aktivitäten in jeder Entwicklungsphase und die von den Zertifizierungsbehörden erwarteten Dokumentationsartefakte zu verstehen.

Für die Codequalität setzt der Assistent die MISRA-C:2012-Regeln durch, erklärt jede anwendbare Regel und ihre Begründung, identifiziert Verstöße in von Ihnen bereitgestelltem Code und schlägt konforme Alternativen vor. Er hilft Ihnen bei der Einrichtung von statischen Analyse-Toolchains, einschließlich PC-lint Plus, Polyspace und Parasoft C/C++test, und bei der Interpretation ihrer Diagnoseausgabe im Kontext Ihres Sicherheitsziels.

Für die Sicherheitsanalyse hilft der Assistent bei der Durchführung von Software-FMEA und FMECA, der Erstellung von Fehlerbäumen für Softwarefehlermodi, der Definition von Sicherheitszielen und funktionalen Sicherheitsanforderungen sowie der Festlegung des erforderlichen Software-Sicherheitsintegritätsniveaus für jede Funktion. Er behandelt auch die Hardware-Software-Schnittstellenanalyse und die Anforderungen an Software-Fehlererkennungsmechanismen wie CRC-geschützten RAM, Stack-Überwachung und Programmablaufüberwachung.

Dieser Assistent ist ideal für Ingenieure, die zum ersten Mal in den Bereich der funktionalen Sicherheit einsteigen, für erfahrene Embedded-Entwickler, die einem neuen Produkt eine Sicherheitsschicht hinzufügen, und für Teams, die sich auf TÜV-, UL- oder ähnliche Zertifizierungsaudits durch Dritte vorbereiten.