Für die funktionale Sicherheit von sicherheitskritischen Schaltungen und Systemen muss die der realen Struktur zugehörige Funktion strukturtreu modelliert werden; es muss also gewährleistet sein, dass die formal hergeleitete und modellierte Funktion mit der durch die reale Struktur erzeugte Funktion konsistent übereinstimmt. Umgekehrt ist es sicherheitstechnisch fatal, wenn die modellierte Funktion ein Verhalten aufweist, welches sich von der realisierten Funktion unterscheidet. Obgleich also die strukturtreue Modellierung sicherheitstechnisch relevant ist, wird die im Stand der Technik etablierte formale Herleitung und Modellierung von Funktionen von insbesondere asynchron rückgekoppelten Strukturen inkonsistent gehandhabt zugunsten der Vereinfachung bzw. der späteren Optimierung. In diesem Beitrag zeigen wir anhand von elementarer asynchron rückgekoppelter Logik, dass diese Inkonsistenz-Problematik allgegenwärtig ist und die essentielle Forderung nach Übereinstimmung der theoretischen Funktion mit der realen Funktion einer Struktur gemäß den Standardverfahren nicht gewährleistet werden kann. Als Lösungsansatz zeigen wir ein Verfahren für die strukturtreue Modellierung von asynchron rückgekoppelten Strukturen.
Strukturtreue Modellierung sicherheitskritischer Systeme
AmE 2015 – Automotive meets Electronics - Beiträge der 6. GMM-Fachtagung ; 2015 ; Dortmund, Deutschland
2015-01-01
6 pages
Conference paper
Electronic Resource
German
Absicherung sicherheitskritischer Systeme - formale Verifikation
Automotive engineering | 2009
|Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme
VDE-Verlag | 2013
|Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme
Tema Archive | 2013
|Einsatz der UML für die Entwicklung sicherheitskritischer Systeme
Tema Archive | 2003
|