Fehlermodell und Sicherheitsanalysen bei der Anforderungsspezifikation

Sicherheit in eingebetteten Systemen läßt sich nicht allein durch korrekte Software realisieren. Nicht vermeidbare Fehler in technischen Systemen wie Störungen, Ausfälle, Bedienfehler usw. müssen ebenso berücksichtigt und beherrscht werden. Traditionell spielen Untersuchungen zu Sicherheit und Gefahren eine große Rolle bei der Entwicklung technischer Systeme. In einer Reihe von Ansätzen wurden diese Techniken auch auf die Softwareentwicklung ausgeweitet oder übertragen. Dieses Papier verdeutlicht, wie bestehende Techniken zur Sicherheitsanalyse für den ESPRESS-Entwicklungsprozeß angepaßt werden und während der Erstellung einer Anforderungsspezifikation für eine Softwarekomponente zur Anwendung kommen. Dazu wird zunächst ein Fehlermodell vorgestellt, welches der Entwicklung von Software für eingebettete Systeme Rechnung trägt. Das Fehlermodell ist die Basis für weitere Techniken zur Sicherheitsanalyse, die jeweils kurz beschrieben werden, wobei die Interaktion der Techniken und deren Sc hnittstellen zum ESPRESS-Entwicklungsprozeß betrachtet werden.