Titlebook: Sicherheitsgerichtete Echtzeitsysteme; Wolfgang A. Halang,Rudolf M. Konakovsky Book 20132nd edition Springer-Verlag Berlin Heidelberg 2013

foreign

Zweikanalige sicherheitsgerichtete Rechnersysteme, skizziert, während das System LOGISIRE mit seinen Funktionen und Sicherheitsmaßnahmen im Detail beschrieben wird. Das in mehrfacherWeise diversitär ausgelegte Mikrorechnersystem DIMI wird in Varianten mit zwei und vier Rechnern und verschiedenen Vergleichertypen dargestellt. Ergebnisse seiner prakt

蛙鸣声

Entwicklung sicherheitsgerichteter Software,ndelt. Die Begriffe Perfektion und Fehlertoleranz werden im Hinblick auf Software eingeführt und Methoden zu ihrer Erzielung genannt. Ein zum Entwurf von Echtzeitsystemen entwickeltes Werkzeug für Anforderungsspezifikation, Systementwurf und Projektverfolgung wird ebenso vorgestellt wie eine Vielzah

acclimate

Software-Verifikation, Begutachtung, Revision, Inspektion und strukturiertes Nachvollziehen werden imAnschluss beschrieben. Auf die wichtigsten Aspekte von Software-Tests wird eingegangen. Als einzige vom TÜV anerkannte strenge, jedoch nicht formale Verifikationsmethode wird diversitäre Rückwärtsanalyse im Detail vorgest

Metamorphosis

Quantitative Bewertung sicherheitsgerichteter Echtzeitsysteme,itsbezogenen Ausfallart bzw. bis zur Ausgabe eines sicherheitsbezogenen Wertes sowie Wahrscheinlichkeit der Ausgabe eines sicherheitsbezogenenWertes quantitativ bewertet, wobei gegenüber anderen Abschätzungen auch die Software-Aspekte volle Berücksichtigung finden. Bei der Bewertung werden sowohl id

MONY

染色体

烤架

Einige formale Methoden zur Programmverifikation, strenge und verlässliche Programmverifikation nur in den seltensten Fällen. Als bewährte formale Verfahren, mit denen sich die Korrektheit kleinerer Programmeinheiten mathematisch streng beweisen lässt, werden die symbolische Programmausführung sowie die Methode der Vor- und Nachbedingungen nach Ho

HEW

,Eine funktionsplanabbildende Prozeßrechnerarchitektur,echners die demAnwendungsprogramminnewohnende Struktur in natürlicherWeise abbildet und so die semantische Lücke zwischen hochsprachlicher Problemlösung und Implementierung schließt. Durch Zuordnung eines eigenen Prozessors zu jedem Funktionsblock ergibt sich eine dem Anwendungsfall betriebsmittelad

insular

暴发户