SysML–RAAML Consistency Validation Engine with EVL-Based Rule Pack
|
Typ | Masterarbeit |
|---|---|---|
| Aushang | MuhammadMinhas SysML-RAAML-RuleSet.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Muhammad Minhas (E-Mail: muhammad.minhas@kit.edu) |
While the Vitruvius platform and its Reactions language enable automated cross-domain consistency preservation and repair, there remains a critical need for explicit, auditable validation layers in safety-critical MBSE workflows. This thesis addresses that gap by developing an EVL-based SysML–RAAML Consistency Validation Engine that serves as a governance and assurance front-end to preservation mechanisms. The engine provides human-readable rule catalogs, incremental checks, and compliance reports that can be integrated into CI/CD pipelines or safety case evidence. By combining EVL validation with optional quick-fix stubs that delegate to Vitruvius Reactions, the solution ensures explainability, traceability, and early detection of inconsistencies before automated synchronization occurs. This approach is directly applicable to domains like automotive (e.g., Autonomous Emergency Braking systems), aerospace, and industrial automation, where standards such as ISO 26262 demand both formal consistency maintenance and transparent validation artifacts.
- Tasks
- Develop rules (e.g., Hazard must trace to design element; FailureMode must appear in FTA BasicEvent).
- Implement prototype checker; produce human-readable violation reports.
- Provide Automated Emergency Brake System demo models with seeded issues.
- Tools/Technology: Epsilon EVL/ECL, EMF/Ecore, Papyrus SysML/RAAML.