Funktionale Sicherheit - Formalisierte Begriffsbildung als Ansatz zur Prazisierung des normativen Sicherheitsbegriffs

摘要

Schaden jedweder Natur zu vermeiden ist ein hoher moralischer Anspruch. Die Entwicklung sicherer technischer Systeme erfordert eine fehlerfreie Kommunikation und somit ein allgemein ubereinstimmendes Verstandnis der Terminologie im Umgang mit technischen Systemen. Dazu dienen Normen im Sinne anerkannter Regeln der Technik. Gerade der Terminus Sicherheit wird in der Normung sehr heterogen verwendet. Bislang gibt es kein konsistentes Terminologiegebaude zur Sicherheit technischer Systeme. Auf der Grundlage eines stringenten methodischen Ansatzes zur formalisierten Bedeutungsfestlegung ist es das Ziel dieses Beitrags die Brucke zwischen "Safety" und "Security" zu schaffen. Durch die Nutzung der komplementar integrierten Beschreibungsmittel von UML-Klassendiagrammen und Petrinetzen gelingt es, die komplexe Eigenschaft der Sicherheit in ihrer Binnenstruktur zu differenzieren, durch geeignete Beziehungen zu konkretisieren sowie konsequent auf die ebene empirisch beobachtbarer oder prognostizierbarer Grossen und Werte zuruckzufuhren.