foreign
发表于 2025-3-26 22:43:50
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
蛙鸣声
发表于 2025-3-27 04:09:13
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
发表于 2025-3-27 08:15:45
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
发表于 2025-3-27 10:45:47
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
发表于 2025-3-27 14:07:31
http://reply.papertrans.cn/87/8670/866914/866914_35.png
染色体
发表于 2025-3-27 18:56:54
http://reply.papertrans.cn/87/8670/866914/866914_36.png
烤架
发表于 2025-3-28 00:21:37
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
发表于 2025-3-28 06:06:57
,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
发表于 2025-3-28 08:28:53
http://reply.papertrans.cn/87/8670/866914/866914_39.png
暴发户
发表于 2025-3-28 11:11:27
http://reply.papertrans.cn/87/8670/866914/866914_40.png