|
|
Beschreibung |
KursbeschreibungBei sicherheitsgerichteten Echtzeitsystemen - oder ausführlicher: hoch verläßlichen programmierbaren elektronischen Systemen für sicherheitskritische Steuer- und Regelanwendungen - handelt es sich um ein Gebiet, das erst am Anfang seiner Behandlung in Forschung und Lehre steht. Seine Bedeutung ergibt sich aus dem wachsenden Sicherheitsbewußtsein einerseits und aus dem technischen Trend zu flexibleren, d.h. programmgesteuerten Automatisierungsgeräten andererseits. Es ist das Ziel, den Zustand zu erreichen, daß Echtzeitsysteme mit einem hinreichenden Grad an Vertrauen in ihre Verläßlichkeit erstellt werden können, der ihre Zulassung für sicherheitskritische Steuer- und Regelaufgaben auf der Basis formeller Abnahmen erlaubt. Der Kurs beginnt mit der Behandlung der Problemstellung sowie begrifflicher, methodischer und konzeptioneller Grundlagen sicherheitsgerichteter Echtzeitsysteme. Architekturen für sichere Hardware sowie Verfahren zur Erstellung möglichst fehlerfreier Software und zu deren Verifikation werden dargestellt, die zum Abschluß des ersten Teils quantitativ bewertet werden. |
|
|