Technische Informatik - Sicherheitskritische Eingebettete Systeme
Normkonforme Softwareentwicklung für sicherheitskritische Systeme
Modul: 1VL + 1Ü;
Die Entwicklung von Software für sicherheitskritische Systeme findet in einem Rahmen statt, der wesentlich von juristischer Seite mit geprägt ist. Die Software muss besonders sorgfältig entwickelt werden, wobei es anwendungsspezifische Normen gibt, die zu beachten sind. Insbesondere muss ihre Zuverlässigkeit nachvollziehbar sein – z.B. durch entsprechende Beweise, Tests und Dokumentationen. Dieses Modul fokussiert auf diesen Aspekt, der sonst im Softwareengineering selten betrachtet wird,und doch für vielfältige Anwendungen essentiell ist.
Inhalte des Moduls und inhaltliche Verwendbarkeit
- Normen und ihre Anforderungen
- Entwicklungsprozess
- Spezifikation
- Programmierung
- Verifikation und Validation
- Sicherheitsanalyse und Sicherheitsnachweis
Die Vorlesung schafft ein Verständnis für die Problematik, Software für eine Anwendung zu erstellen, die das Leben von Menschen oder erhebliche Werte in Gefahr bringen kann. Sie vermittelt den Hintergrund, der nötig ist, um in der Praxis solcherlei Programme verantwortungsvoll zu erstellen und die Fähigkeit, den sicherheitsrelevanten Aspekt einer Entwicklungsmethodik zu beurteilen.
Organisatorisches
Verantwortlich für die Vorlesung
Dr. Hardi Hungar
Verantwortlich für die Übungen
Dr. Hardi Hungar