Moby/PLC comprises a graphical editor and simulator for PLC-Automata,
a formal description technique for real-time systems.
Furthermore, this tool provides connections to several model checker
for Timed Automata and code generation for Programmable Logic
The Moby/PLC tool has been presented on CeBIT'98 in Hannover.
Moby/FT is a tool for supporting fault tree analysis. It
comprises a graphical editor for fault trees with several
functions for the verification of these. In
connection to the real-time model-checker of
Uppaal is realised by what the
correctness or the completeness of the tree can be displayed
Moby/PEA is a simple graphical editor for
Phase Event Automata (PEA), which are used to define the semantics of
CSP-OZ-DC specifications. It supports export to XML
representation of PEA. The XML-output can be used to apply model
checking to PEA and thus CSP-OZ-DC specifications using the tools that
can be found here.