Eine Übersicht der wichtigsten Projekte im Bereich technischer Systeme:
- Eisenbahn-Konsortium / Spezifikation sicherheitskritischer Systeme
- Industrie / IT-Architektur für Reaktorsteuerung
Eisenbahn-Konsortium / Spezifikation sicherheitskritischer Systeme
Evaluation und Einführung der Unified Modeling Language (UML®) als Mittel zur Formulierung von Anforderungen an sicherheitskritische Systeme (Eisenbahn Stellwerke).
 |
Projekt Euro-Interlocking (in englisch) |
Unsere Aufgaben
- Schulung von Eisenbahn-Ingenieuren in UML®
- Erstellung einer Guideline zur Anwendung von UML® für Stellwerke
- Abklärung von Möglichkeiten zur formalen Verifikation von Anforderunge
- Erstellung eines Referenzmodells in UML®
- Zusammenarbeit mit verschiedenen Hochschulen im Bereich formaler Verifikation
- Erstellung einer Ausführbaren Spezifikation auf der Basis von CASSANDRA/xUML®
Technologie
ARTiSAN RtS, CASSANDRA/xUML®, NuSMV, Statemate
Industrie / IT-Architektur für Reaktorsteuerung
Steuerungs-Software für automatische Chemiereaktoren inkl. komplexen Auswertungen
Unsere Aufgaben
- Schulung der Mitarbeiter in UML® spezifisch für technische Systeme
- Begleitung des Spezifikationsprozesses
- Unterstützung beim CASE-Tool-Einsatz
- Architektur/Detaildesign
- Essentielle Mithilfe bei der Entwicklung
- Vermittlung von Ressourcen mit projektrelevantem Know-how
- 100% Codegenerator für Zustands-Diagramme mit CASSANDRA
Technologie
Visual Basic, COM, ARTiSAN RtS