Sicherheitsrelevante Systeme der Informationstechnik (IT) in Industrie und Verkehr. Softwareentwicklung unter Berücksichtigung der Sicherheits-/Safety-Aspekte. Bundesamt für Sicherheit in der IT (BSI) hat wesentlich zur Entwicklung von Werkzeugsystemen VSE=Verification Support Environment beigetragen. Damit formale Beschreibung (Spezifikationssprache) des Sicherheitsmodells. Auftrennung in Sicherheitsrelevante/nichtsicherheitskritische Programmteile. Beispiel Ampelsteuerung. Abschätzung des Aufwandes. Mitteilung von Industrieerfahrungen.
Spezifikation und Verifikation von sicheren Softwaresystemen
Automatisierungst. Praxi ; 37 , 4 ; 24-26, 28-31
01.01.1995
8 pages
Aufsatz (Zeitschrift)
Deutsch
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Diagnose in zukuenftigen automotiven Softwaresystemen
Kraftfahrwesen | 2005
|British Library Conference Proceedings | 2000
|Diagnose in zukünftigen automotiven Softwaresystemen
Tema Archiv | 2005
|Grundlagen von Softwaresystemen mit physikbasierten Berechnungen
Springer Verlag | 2022
|Qualität und Diagnose in automotiven Softwaresystemen
Tema Archiv | 2006
|