Neue Wege bei der Steuergerate-Entwicklung - Funktionale Sicherheit durch vollstandige Verifikation von modellbasierter Software

摘要

Modellbasierte Software-Entwicklung fur eingebettete elektronische Systeme wird auf breiter Basis in der Automobilindustrie eingesetzt. Gemass der Norm DIN EN 61508 ist der Nachweis der funktionalen Sicherheit programmierbarer elektronischer Systeme durch Verifikation und Validierung zu erbringen. Anhand eines praktischen Beispiels zeigt dieser Artikel die Eignung der neuen Methode 2dev in Bezug auf die Software-Verifikation auf.