Systems Engineering Wiki
- Event-based tooling
- State-based tooling
Circles: File formats
Arrows: inputs/outputs (solid is mandatory, dashed is optional)
Arrow text: The name of the tool
Diamond: Connects multiple inputs/outputs
ADS: Automaton file format used among others by Wonham's tct tool. See also creating_and_editing_state_machines and tools.
CFG: Automaton file format used by the SuSyNA tools.
SCIM: File format used by the SCIDE graphical editor to represent automata (plants, requirements, supervisors), as well as logical expressions.
STS: Textual automaton file format used by Ma's NBC tool. See also https://github.com/chuanma/STSLib.
SPEC: Textual specification file format used by Ma's NBC tool. See also https://github.com/chuanma/STSLib.
BDD: DOT file format used to represent BDDs, as output of Ma's NBC tool. See also https://github.com/chuanma/STSLib.
LOGEXPR: Textual file containing logical expressions. See also http://devel.se.wtb.tue.nl/trac/chi-tooling/browser/trunk/docs/sts_logexpr.syntax.txt?format=txt for the syntax definition.