 |
|
|
|
|
| Projekt-Beschreibung |
|
Zielsetzung des Projektes OPRAIL ist die Optimierung von CENELEC-konformen Entwicklungsprozessen für bahntechnische Anwendungen. Hauptaugenmerk wird hier auf die für sicherheitskritische Anwendungen relevanten Sicherheitsstufen SIL 3 und SIL 4 gelegt, welche den überwiegenden Anteil eisenbahntechnischer Systeme ausmachen. Hierbei sollen insbesondere die im Euro-Interlocking Konsortium erarbeiteten Vorschläge mit berücksichtigt werden. An Hand ausgewählter industrieller Applikationen sollen zielgerichtet Optimierungen bezüglich Entwurfskosten und Entwurfszeit entlang folgender Grobziele betrachtet werden:
- Einsatz formaler und semi-formaler Methoden als Basis zur Implementierung modellbasierter Entwurfsprozesse
- Einsatz von Werkzeugen zur formalen Verifikation von Spezifikationen bahntechnischer Systeme
- Einsatz von Werkzeugen zur automatischen Generierung von Testfällen aus Spezifikationen
- Abschätzung des Laufzeitverhaltens von Software
- Erprobung und Bewertung der Methodik an Fallstudien
- Begleitende Begutachtung und Bestätigung der Normenkonformität der Prozesse und Methoden durch eine zugelassene Gutachterorganisation
Gemäß den Empfehlungen von Euro-Interlocking sollen hierbei insbesondere die Methoden UML und Statemate verwendet werden.
|
|
| Projektbeginn |
|
| 01.01.2004 |
|
| Projektende |
|
| 01.06.2006 |
|
|
|
|
|
|
|
|
|
|
|
| | Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben. |
|
|
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren