Spezifikation von Sicherheitsanforderungen mit Safety-Patterns

VDI Berichte

Volumn , Issue 1666, 2002, Pages 29-40

  Bitsch, F ^a   Gohner P ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 4444234988     PISSN: 00835560     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Review

References (12)

1. /1/ Bitsch, F.: Safety Patterns - The Key to Formal Specification of Safety Requirements. In U. Voges (ed.): Proceedings of 20th International Conference, SAFECOMP 2001 - Computer Safety Reliability and Security, Berlin, Heidelberg: Springer-Verlag, LNCS 2187, S. 176-189. 2001.
2. /2/ Bitsch, F.; Canver, E.; Moik, A.: Strukturierte Erstellung von Sicherheitsspezifi-kationen in UML mit Hilfe der FMEA-Methode. In E. Schnieder (Hrsg.): Forms '99 - Formale Techniken für die Eisenbahnsicherung. Düsseldorf: VDI Verlag GmbH. Fortschritt-Berichte VDI, Reihe 12, Verkehrstechnik/Fahrzeugtechnik, Nr.436, S. 225-245. 2000.
3. /3/ Flake, S.; Müller, W.: An OCL Extension for Real-Time Constraints. In T. Clark and J. Warmer (eds.): Advances in Object Modelling with the OCL. Heidelberg: Springer-Verlag. 2001.
4. /4/ Flake, S.; Müller, W.; Ruf, J.: Structures English for Specification in Model Checking. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, S. 91-100. GI/ITG/GMM Workshop. Frankfurt. 2000.
5. /5/ Gamma, E. et. al.: Design Patterns: Elements of Reusable Object-Oriented Software. Massachusetts: Addison-Wesley. 1994.
6. /6/ Göhner, P.: Spezifikation und Verifikation von sicheren Softwaresystemen. atp, S. 24-31. 4/1995.
7. /7/ Holt, A; Klein, E..: A semanitcally-derived subset of English for hardware verification. 37th Annual Meeting of the Association for Computational Linguistics: Proceedings of the Conference, S. 451-456. University of Maryland. 1999.
8. /8/ Huth, M.; Ryan, M.: Logic in Computer Science - Modelling and reasoning about systems. Cambridge: Cambridge University press. 2000.
9. /9/ International Standard IEC 61508: Functional Safety of Electrical/Electronic/ Programmable Electronic Safety Related Systems. International Electrotechnical Commission, Geneva, Switzerland. 2000.
10. /10/ Lauber, R.; Göhner, P.: Prozessautomatisierung 1. 3. Auflage. Berlin, Heidelberg, New York: Springer-Verlag. 1999.
11. /11/ Ortner, E.: Methodenneutraler Fachentwurf - Zu den Grundlagen einer anwendungsorientierten Informatik. Stuttgart, Leipzig: B. G. Teubner Verlagsgesell-schaft. 1997.
12. /12/ Schienmann, B.: Objektorientierter Fachentwurf. Stuttgart, Leipzig: B. G. Teubner Verlagsgesellschaft. 1997.