ANWENDERFORUM: Methoden und Werkzeuge bei der Entwicklung sicherheitskritischer Systeme
Eintrags-ID: 15287
Beginn: 12.09.2003, 09:00Uhr
Ende:12.09.2003, 16:30Uhr
Ort:Firma Astrium, Bremen

Thema und Hintergrund

Durch die rasante Weiterentwicklung im Hard- und Softwarebereich erhalten Methoden und Werkzeuge zum Erhalt und zur Steigerung der Produktivität wachsende Bedeutung: Um wettbewerbsfähig zu bleiben, müssen zunehmend komplexe Systeme in immer kürzerer Zeit, zu günstigeren Preisen und besserer Qualität erstellt werden. Insbesondere im Bereich sicherheitskritischer Systeme sind außerdem spezifische Standards einzuhalten und Zertifizierungen durchzuführen.

Nutzen

Dieses Anwenderforum lädt im ersten Teil ein, sich über aktuelle Methoden und Werkzeuge informieren zu lassen. Um Ideen für mögliche Optimierungen im eigenen Aufgabenbereich auszutauschen, werden im zweiten Teil Foren zum Informationsaustausch und zur Diskussion stattfi nden. Im Vordergrund steht der Anwender und der persönliche Dialog mit den Referenten aus verschiedenen Industriezweigen.

Inhalte

Die Veranstaltung gibt einen Überblick über unterschiedliche Problemlösungsstrategien verschiedener Branchen mit Beispielen aus der Praxis. Sie richtet sich an Entwickler eingebetteter Systeme, welche von der Interaktion mechanischer Systeme mit elektronischen, softwarebasierten Steuerungen geprägt sind. Neben Aspekten aus dem Software Engineering wird auch ein Einblick in die Zuverlässigkeits- und Sicherheitsanalysen für mechanische Produkte gegeben.

Zielgruppe

Das Anwenderforum richtet sich an Mitarbeiter und Führungskräfte aus Unternehmen aller Größen und Branchen, die sich durch die angeführten Themen angesprochen fühlen und sich für praxiserprobte Lösungsansätze interessieren und sich darüber austauschen wollen.

Programmablauf

9:00  Anmeldung der Teilnehmer
9:20  Begrüßung (Christine Pohl-Winkelmann, EADS und Sven-Olaf Schulze, GfSE)
9:30  Formale Methoden beim Entwurf von Software für sicherheitskritische Systeme (Dr. Bernhard Josko, OFFIS Safety Critical Systems)
10:15  Anwendung: Automatische Test- und Validierungstechniken auf Basis formaler Methoden (Guido Sandmann, OSC Embedded Systems AG)
10:45  Kaffeepause
11:00  RAMS im Systems Engineering für Raumfahrtprojekte (Vassilios Horozoglou, EADS Space Transportation, Coordination of PA Engineering and RAMS)
12:15  Mittagspause
13:30  Modellbasierte Entwicklung sicherheitskritischer, eingebetteter Systeme (Georg Mai, Airbus High-Lift System Integration)
14:30  Forum: Zuverlässigkeits- und Sicherheitsanalysen im Produktlebenszyklus (Leitung: EADS Space Transportation)
15:30  Forum: Modellbasierte Software Entwicklung auf Basis formaler Methoden (Leitung: OFFIS und OSC Embedded Systems AG)
16:30  Ende der Veranstaltung


Download des Faltblatts mit allen Informationen zur Veranstaltung

Weitere Informationen zur Veranstaltung finden Sie in Kürze auf
http://www.gfse.de/

 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2012