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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Strukturtreue Modellierung sicherheitskritischer Systeme


    Beteiligte:

    Kongress:

    AmE 2015 – Automotive meets Electronics - Beiträge der 6. GMM-Fachtagung ; 2015 ; Dortmund, Deutschland



    Erscheinungsdatum :

    01.01.2015


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Deutsch



    Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme

    Uygur, Gürkan / Sattler, Sebastian M., | VDE-Verlag | 2013


    Absicherung sicherheitskritischer Systeme - formale Verifikation

    Tchernikov,M. / Swaminathan,M. | Kraftfahrwesen | 2009


    Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme

    Uygur, Gürkan / Sattler, Sebastian M. | Tema Archiv | 2013