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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Spezifikation und Verifikation von sicheren Softwaresystemen



    Published in:

    Automatisierungst. Praxi ; 37 , 4 ; 24-26, 28-31


    Publication date :

    1995-01-01


    Size :

    8 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German




    Diagnose in zukuenftigen automotiven Softwaresystemen

    Braitschink,P. / Reuss,H.C. / Volkswagen,Wolfsburg,DE et al. | Automotive engineering | 2005


    Formale Spezifikation und Verifikation von sicherheitskritischen Anlagen in der Bahntechnik mit SDL und MSC's

    Pansa, U. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik | British Library Conference Proceedings | 2000


    Diagnose in zukünftigen automotiven Softwaresystemen

    Braitschink, Peter / Reuss, Hans-Christian | Tema Archive | 2005


    Grundlagen von Softwaresystemen mit physikbasierten Berechnungen

    Göttlich, Philipp | Springer Verlag | 2022


    Qualität und Diagnose in automotiven Softwaresystemen

    Braitschink, P. / Siebel, U. / Scharnhorst, T. et al. | Tema Archive | 2006