Veröffentlicht am 11. September 2018.

Webinar: Formale Verifikation - Zertifiziert für ISO 26262

In diesem dritten Webinar unserer ISO 26262 Reihe zeigen wir Ihnen, wie Sie mit der BTC EmbeddedPlatform sicherheitskritische Anforderungen formal spezifizieren und verifizieren können.

Was wäre, wenn ihr Computer ihre Anforderungen verstehen würde? Durch eine formale Beschreibung ergibt sich eine klare und eindeutige Repräsentation ihrer sicherheitskritischen Requirements. Dies führt zum einen zu einer Verbesserung der Qualität ihrer Anforderungen und zum anderen werden damit die Vorgaben der ISO 26262 zur semi-formalen und formalen Darstellung von sicherheitskritischen Anforderungen erfüllt. Da die formalen Anforderungen maschinenlesbar sind, ergeben sich zusätzlich weitreichende Möglichkeiten für eine hoch-automatisierte und vollständige Verifikation Ihrer Software-Komponenten.

In diesem Webinar sehen Sie, wie Sie: