Friedrich-Alexander-Universität UnivisSucheEnglish FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo I4
Lehrstuhl für Informatik 4
CoSa
Department Informatik  >  Informatik 4  >  Forschung  >  CoSa

CoSa

Component architecture for Safety-critical embedded systems

Motivation

Komponentenarchitekturen werden bereits seit einigen Jahren sehr erfolgreich in der Softwareentwicklung verwendet. Ihr Einsatz im Bereich der eingebetteten Systeme ist aber nach wie vor unüblich. Ein Grund hierfür ist unter anderem die begrenzte Ausdruckskraft vorhandener Komponentennmodelle.

Forschungsziele und Fragestellungen

Das Ziel des CoSa Projekts ist die Entwicklung eines Komponentenmodels für den Einsatz in sicherheitskritischen eingebetteten Systemen. Wichtige Fragestellungen sind dabei:
  • Wie kann eine integrale Modellung sowohl funktionaler als auch nicht-funktionaler Eigenschaften unterstützt werden?
  • Wie kann eine modellbasierte Analyse sicherheitskritsicher Eigenschaften erfolgen?
  • Wie können die möglichen Effekte einer Wiederverwendung von Black-Box-Komponenten im Hinblick auf die Sicherheit bestimmt werden?

Schlüsselwörter

sicherheitskritische Systeme, eingebettete Systeme, Komponentenarchitekturen, komponentenbasierte Softwareentwicklung

Partners

Siemens Corporate Technology
SE2, Munich
  Impressum Stand: 2007-09-07 16:08   PU