Technische Informatik - Sicherheitskritische Eingebettete Systeme
Requirements Engineering
Seminar: 2SE
Gegenstand des Seminars sind Methoden des Requirements Engineering Prozesses, die insbesondere bei der Entwicklung sicherheitskritischer Systeme relevant sind. Themen sind u.a.
- Welche Anforderungen werden aus Sicht von Zertifizierungsbehörden und anderen Gremien an den RE Prozess gestellt und wie werden diese umgesetzt.
- Methoden zur Erfassung von Sicherheitsanforderungen, insbesondere auch aus Sicht von Vollständigkeit und anderen relevanten Bedingungen.
- Methoden zur Analyse von Anforderungen in Hinblick auf Vollständigkeit und Konsistenz.
- Nachvollziehbarkeit von Anforderungen über den gesamten Entwicklungsprozess.
- Methoden zur Formalisierung von Anforderungen in Hinblick auf z.B. Eindeutigkeit von Anforderungen und/oder formale Analysetechniken.
Vorstellung der Themen und Vergabe erfolgt am ersten Seminartermin am Montag, 19.10.2009
Organisatorisches
Verantwortlich für die Veranstaltung
apl. Prof. Dr. Bernhard Josko
Zeiten
Montags, 16-18 Uhr, Raum S 2-205
Weitere Informationen
Weitere Informationen finden Sie in der Lernplattform der Universität Oldenburg.