Aktuelles
29.07.09: Das Blockseminar findet in Raum B017 statt.
28.07.09: Neuer Termin: Das Blockseminar findet nun am Freitag, dem 31.07.09, ganztags ab 09:00 Uhr, und am Dienstag, dem 04.08.09, ganztags ab 10:00 Uhr statt. Der Ort wird noch bekannt gegeben. Die voraussichtliche Reihenfolge der Vorträge findet sich unter "Organisatorisches".
08.07.09: Das Blockseminar findet am Montag, dem 03.08.09, halbtags ab 14:00 Uhr, und am Dienstag, dem 04.08.09, ganztags ab 10:00 Uhr statt. Der Ort wird noch bekannt gegben.
25.04.09: Die Einführungsveranstaltung "Wie erarbeite und halte ich
einen
Vortrag?" findet am Donnerstag, dem 07.05.09, 12:15 in B017 statt (dazu besteht
Anwesenheitspflicht).
01.04.09: Die Anmeldung per KLIPS funktioniert leider nicht. Statt dessen Anmeldung per Email an beckert@uni-koblenz.de
(unverbindlich, s.u.).
01.04.09: Die Vorbesprechung
findet in der 1. Vorlesungswoche am Donnerstag, dem 23.04.09, 12:15 Uhr, in
Raum B017 statt.
28.03.09: Die Vorbesprechung
findet in der 1. Vorlesungswoche statt. Der Termin wird rechtzeitig
bekannt gegeben.
28.03.09: Das Seminar findet als Blockveranstaltung an zwei Tagen am Ende der
Vorlesungszeit statt (nach Möglichkeit in der ersten vorlesungsfreien
Woche, der genaue Termin wird im Einvernehmen mit den Teilnehmern
festgelegt).
Inhalt und Thema
Da Software in allen Bereichen des Lebens Einzug hält, werden auch
immer
höhere Ansprüchen an ihre Qualität gestellt. Damit
gewinnt die systematische
und nachvollziehbare Qualitätssicherung und deren Zertifizierung
bei der
Entwicklung von Software zunehmend an Bedeutung. In diesem Seminar
setzen wir
uns mit den folgenden für Software-Zertifizierung relevanten
Themen
auseinander:
- Gebräuchliche Zertifizierungsstandards für Software in
sicherheitskritischen Anwendungen
- Aktuelle Techniken der Qualitätssicherung
- Integration von Zertifizierung in den den Entwicklungsprozess
Vortragsthemen
Das folgende ist eine Auswahl möglicher Themen. Die konkreten Themen und Literatur werden bei
der Vorbesprechung vorgestellt.
- Software-Zertifizierung in der Luftfahrt (Avionics) - Sven Kühner (Thorsten Bormer)
- Software-Zertifizierung im Automobilbau (Automotive) - Bastian Zimmermann (Christoph Gladisch)
- Software-Zertifizierung in der Raumfahrt - Stephan Kollatsch (Christoph Gladisch)
- Software-Zertifizierung in der Medizin - Henning Selt (Bernhard Beckert)
- Software-Zertifizierung für Wahlcomputer und elektronische Wahlen - Tobias Tropper (Bernhard Beckert)
- Zertifizierung nach Common Criteria - Olaf Radcke (Bernhard Beckert)
- Zertifizierung nach dem Standard DO-178B/C - Hagen Saul (Thorsten Bormer)
- Zertifizierung nach dem Standard IEC 61513 - Burkhard Güssefeld (Vladimir Klebanov)
- Standards zur Zertifizierung des Entwicklungsprozesses - Daniel Brylla (Vladimir Klebanov)
- Proof Checking und Proof Carrying Code - Marcus Hansen (Thorsten Bormer)
- Zertifizierung generierter Software - Timo Eifler (Vladimir Klebanov)
- Zertifizierende Algorithmen - Tim Oppermann (Christoph Gladisch)
- Zertifizierung aus wirtschaftswissenschaftlicher Sicht - Sebastian Künzler (Bernhard Beckert)
- Von Prozeß- zu Produktzertifizierung - entfällt
Materialien
Folien zur Einführungsveranstaltung: metavortrag.pdf
Lernziele
Lernziele sind bei diesem, wie bei jedem anderen Seminar:
- Selbständiges Erarbeiten eines vorgegebenen Themas
- Vorbereiten und Halten eines Fachvortrags
- Auseinandersetzung mit und Diskussion über
Fachvorträge
Organisatorisches
Teilnehmer
Bis zu 15 Teilnehmer.
Anmeldung
Anmeldung per Email an beckert@uni-koblenz.de (die
Anmeldung per KLIPS funktioniert leider nicht). Die Anmeldung ist zunächst unverbindlich. Die
endgültige
Anmeldung erfolgt zusammen mit der Themenvergabe bei der Vorbesprechung
am. Eine frühe Anmeldung zahlt sich jedoch aus, da die
Vortragsthemen in der Reihenfolge der Anmeldung vergeben werden.
Da
erfahrungsgemäß nicht alle, die sich unverbindlich anmelden,
auch
teilnehmen, besteht durchaus auch für diejenigen die Chance noch
teilzunehmen, die sich nicht angemeldet haben. Wer Interesse hat
teilzunehmen ohne sich angemeldet zu haben, sollte zur Vorbesprechung
kommen.
Wer sich angemeldet hat aber an der Vorbesprechung nicht
teilnimmt,
läuft Gefahr seinen Platz zu verlieren.
Zeitplan
- Vorbesprechung und Themenvergabe in der 1. Vorlesungswoche am Donnerstag, dem 23.04.09, 12:15 Uhr, in
Raum B017
- Einführungsveranstaltung "Wie erarbeite und halte ich
einen
Vortrag?" in der 3. Vorlesungswoche
- Der Vortrags (vollständiger Foliensatz) muss
spätestens drei Wochen vor dem Seminar fertig sein und dem Betreuer
vorgelegt werden.
- Die Ausarbeitung (10 Seiten) muss bis zwei Wochen nach dem Seminar fertig
sein.
- Der Termin des Blockseminars wird bei der
Vorbesprechung vereinbart.
Voraussetzungen zur Erlangung des Scheins
- Halten (in freier Rede) eines selbständig und
sorgfältig
erarbeiteten Vortrags von ca. 45 Minuten mit anschließender
Diskussion.
- Anwesenheit bei den Seminarvorträgen und Beteiligung
an der
Diskussion nach den Vorträgen.
- Anfertigung einer Ausarbeitung zum Thema des Vortrags von
ca. 10
Seiten. Wie bei wissenschaftlichen Konferenzen üblich soll
hierfür der LNCS-Style des Springer-Verlags verwendet werden.
Formatvorlagen für LaTeX und MS Word können von der Springer-Webseite
heruntergeladen werden. Nutzer von MS Word müssen ihre
Ausarbeitung als
PostScript oder PDF einreichen. Wir empfehlen die Verwendung von LaTeX.
Eine Einführung in LaTeX finden sie hier.
Ort und Zeit
Die Vorbesprechung
findet in der 1. Vorlesungswoche, am Donnerstag, dem 23.04.09, 12:15 Uhr, in
Raum B017 statt.
Das Seminar findet als Blockveranstaltung am Ende der
Vorlesungszeit statt:
Freitag, 31.07.09, ganztags ab 09:00 Uhr, und
Dienstag, 04.08.09, ganztags ab 10:00 Uhr.
Veranstaltungsort ist Raum B017.
Programm
Freitag, 31.07.09
09:00 |
Software-Zertifizierung in der Raumfahrt - Stephan Kollatsch |
10:00 |
Software-Zertifizierung für Wahlcomputer und elektronische Wahlen - Tobias Tropper |
11:00 |
Software-Zertifizierung im Automobilbau (Automotive) - Bastian Zimmermann |
12:00 |
Software-Zertifizierung in der Luftfahrt (Avionics) - Sven Kühner |
13:00 |
Mittagspause |
14:00 |
Übersicht über Reifegradmodelle - Thomas Knapp |
14:45 |
CMMI als Reifegradmodell - Raphael Lorch |
15:30 |
Geschäftsmodelle im Bereich Zertifizierung - Daniel Fabry |
16:15 |
Architecture-Level Modifiability Analysis (ALMA) - Grischa Liebel |
17:00 |
Software-Zertifizierung in der Medizin - Henning Selt |
Dienstag, 04.08.09
09:00 |
Software-Zertifizierung in der Medizin - Henning Selt |
10:00 |
Zertifizierung nach Common Criteria - Olaf Radcke |
11:00 |
Zertifizierung nach dem Standard DO-178B/C - Hagen Saul |
12:00 |
Zertifizierung nach dem Standard IEC 61513 - Burkhard Güssefeld |
13:00 |
Mittagspause |
14:00 |
Standards zur Zertifizierung des Entwicklungsprozesses - Daniel Brylla |
15:00 |
Proof Checking und Proof Carrying Code - Marcus Hansen |
16:00 |
Zertifizierung generierter Software - Timo Eifler |
17:00 |
Zertifizierende Algorithmen - Tim Oppermann |
18:00 |
Zertifizierung aus wirtschaftswissenschaftlicher Sicht - Sebastian Künzler |
19:00 |
Software-Zertifizierung in der Raumfahrt - Stephan Kollatsch |
Bernhard Beckert