HPE Tools


Project Tools

Please Note: Many of the project tools for an HISC system are very similar to those for a Flat system and will treat an HISC project as a flat project (for eg. nonblocking). The HISC Specific Tools are unique to HISC projects and treat the project as a hierarchical system.

Verify Project Integrity

From the Tools menu, select Verify Project Integrity or from the toolbar, click on the Verify Project Integrity button Integrity button jpg. This will run a series of checks to verify that the project is Valid. If the project fails any of these checks, a message box will display the number of errors and warnings, and the Output Tab will provide a list of errors and warnings. Note that most algorithms (nonblocking, controllability, sync, etc) will refuse to run on an invalid project.

Check Project

From the Tools menu, select Check Project or from the toolbar, click on the Check Project button check project button jpg. This will open the following window.

Check Project popup jpg

From here you can choose which properties to check. An Incremental check will check all the properties that you have selected and that have either not been checked, or have failed during the last check. A Complete Recheck will check all the properties you have selected regardless of current status.

For HISC check project, each LD algorithm is run concurrently in a separate thread. If you have a three CPU or higher system, you should see around a three-fold speedup over running these algorithms sequentially. However, you will also see around a three-fold increase in memory as the threads don't share data structures.

Clean Project

From the Tools menu, select Clean Project. This will discard any data saved from a previous check and "clean" the project and DES of any precomputed information. This means that you will have to re-check the various properties of your project in order to have each property valid again. If a project was created by an earlier version of DESpot and is producing odd results, doing a "Clean Project" may solve the issue.


Nonblocking

From the Tools menu, select Nonblocking or from the toolbar, click on the Check Nonblocking button nonblocking button jpg. This will run an automata based algorithm to check that the synchronous product of your project is nonblocking.

Controllabiltiy

From the Tools menu, select Controllabiltiy or from the toolbar, click on the Check Controllability button controllability button jpg. This will run an automata based algorithm to verify that the synchronous product of your project supervisor DES is controllable for the synchronous product of your plant DES. Note that the algorithm assumes that your closed-loop system is constructed using the synchronous product.


Project Meet

From the Tools menu, select Project Meet or from the toolbar, click on the Meet button Meet button jpg. Please Note: This will create a DES from the synchronous product of all project DES. In order to perform a meet operation, the event sets of all the DES in the project must be identical.

Project Sync

From the Tools menu, select Project Sync or from the toolbar, click on the Sync button Sync button jpg. This will create a DES from the synchronous product of all project DES.

Project Synthesis

From the Tools menu, select Project Synthesis. This will create a supremal, controllable, nonblocking supervisor for the project. It will treat your project like a flat project to do this.
Please note: This feature is not yet implemented.


System Simulation

From the Tools menu, select System Simulation or from the toolbar, click on the System Simulation button Simulator button jpg. This will open the DES System Simulation window. Please note that the project must be Valid before the simulator can be used.


HISC-Specific Tools


Check LD Interface

From the Tools menu, select Check LD Interface. This will verify that the selected interface is an LD interface.

Check Subsystem LD I-Consist

From the Tools menu, select Check Subsystem LD I-Consist. This will verify that the selected subsystem is LD interface consistent.

Check Subsystem LD Nonblocking

From the Tools menu, select Check Subsystem Nonblocking. This will verify that the selected subsystem is LD level-wise nonblocking.

Check Subsystem LD Controllable

From the Tools menu, select Check Subsystem LD Controllable. This will verify that the selected subsystem is LD level-wise controllable.

LD Interface Consistent

From the Tools menu, select LD Interface Consistent or from the toolbar, click on the LD Interface Consistent button LD Interface Consistent button jpg. This will verify that the project is LD interface consistent.

LD Level-Wise Nonblocking

From the Tools menu, select LD Level-Wise Nonblocking or from the toolbar, click on the LD Level-Wise Nonblocking button Check Nonblocking jpg. This will verify that the project is LD level-wise nonblocking.

LD Level-Wise Controllability

From the Tools menu, select LD Level-Wise Controllability or from the toolbar, click on the LD Level-wise Controllability button Check Controllability button jpg. This will verify that the project is LD level-wise controllable.

Level-Wise Synthesis

From the Tools menu, select Level-Wise Synthesis. This will use the HISC structure to construct supremal, controllable, nonblocking level-wise supervisors for the project.
Please note: This feature is not yet implemented.


« HPE Add DES   |   Export to BDDhisc »