MetaEdit+ EAST-ADL Simulink Integration
SystemWeaver EAST-ADL Simulink Integration
MetaEdit+ Dependability Analysis with HipHops
Papyrus Timing analysis with Qompass (2.1.10)
Papyrus FTA with HipHops (2.1.10)
Papyrus V&V with LabView on Propulsion example
EATOP EAST-ADL 2.1.12 Power Analysis
MetaEdit+ Temporal Dependability Analysis with HipHOPS
MetaEdit+ model checking with UPPAAL |