Index
About This Document
Contents
Introduction
Main Window
Creating a flat Project
Creating an HISC Project
Opening a Project
Creating a DES
Opening a DES
Creating a Regression Test
Project Editor
Flat Project Editor
Flat Project Validity
FPE Manage Events
FPE Add DES
FPE Tools
Export to BDDsd
Fault Tolerance
Excluded Faults
Standard Fault and Reset Sets
Running Fault-Tolerant Algorithms
HISC Project Editor
HISC Project Validity
HPE Manage Events
Subsystems
Add Subsystem
Rename Subsystem
Delete Subsystem
HPE Add DES
HPE Tools
Export to BDDhisc
Co-observability
Edit Observable\Controllable Events
Add Decentralized Supervisor
Remove Decentralized Supervisor
BDD Tools
Distributed Tools
Distributed Configuration
Distributed Flat Project Checks
Distributed HISC Project Checks
Save Project
Set Project Name
Print Project
Edit DES
Remove DES
DES Editor
Tabular Editor
States
Create State
Change State
Delete State
Initial State
Marked State
Events
Create Event
Change Event
Delete Event
Controllable Event
Event Type
Transitions
Create Transition
Change Transition
Delete Transition
Create Global Self-Loop
Delete Global Self-Loop
Graphical Editor
Editing Modes
States
Create State
Edit State
Delete State
Events
Create Event
Change Event
Delete Event
Controllable Event
Event Type
Transitions
Create Transition
Edit Transition
Delete Transition
Create Global Self-Loop
Delete Global Self-Loop
Image
Grid
Zoom
DES Tools
DES Consistency
Save DES
Set DES Name
Set DES Type
Print DES
Simulator
Configuration Wizard
Main Window
New Simulation
Open Simulation
Save Simulation
Events Pane
States Pane
Simulation Modes
Run Simulation
Simulation Viewers
Debugging
Counter Example Simulation (CES)
Flat System CES
Hierarchical System CES
Running Modes
Debugging in Multiple Sessions
Save
Load(system)
Load(subsystem)
Error State Simulation
Non Counter Example Algo List
Template
Instantiate Template
Tuple Option
Range Option
Edit Instantiation
Delete Instantiation
Regenerate Instantiation
Regression Test Suite
Regression Test Editor
Algorithm Editor
Subsystem Editor
Save Regression Test
Regression Test Output