 | OFFIS besitzt Software-Engineering Methodenkompetenz in den folgenden Bereichen:
- Modellbasierte Entwurfsmethoden
- Branchenspezifische modellbasierte Entwurfsprozesse in den Bereichen Automobiltechnik, Bahntechnik sowie Luft- und Raumfahrttechnik
- Formale Methoden zur Spezifikation und Validierung sicherheitskritischer Systeme
- Testen
- Sicherheitsanalyse
- Einsatz von Case Tools (z. B. Statemate, Stateflow, ASCET, Rhapsody (UML), MSCs, MATLAB, Simulink, SCADE, FaultTree+) in unterschiedlichen Phasen im Entwurfsprozess (Requirements, Specification Design, Code Generierung, Testen, Sicherheitsanalyse)
|
| |
