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
1995-01-01
8 pages
Article (Journal)
German
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Diagnose in zukuenftigen automotiven Softwaresystemen
Automotive engineering | 2005
|British Library Conference Proceedings | 2000
|Diagnose in zukünftigen automotiven Softwaresystemen
Tema Archive | 2005
|Grundlagen von Softwaresystemen mit physikbasierten Berechnungen
Springer Verlag | 2022
|Qualität und Diagnose in automotiven Softwaresystemen
Tema Archive | 2006
|