functional-safety
Traceable specifications based on Doxygen
Model text file + layout text file -> beautiful diagram
A modeling language independent model debugger
DSL parser to support the SM Metamodel Class Model
Computation of minimal cutsets using MOCUS Algorithm