Transparency of the state-zone model

<< Click to Display Table of Contents >>

Navigation:  Welcome to Selmo > Method > Comparison of the model in relation to the quality criteria > Transparency >

Transparency of the state-zone model

The first operation of the requirement is fulfilled in the state-zone modeling. The model shows that the controller outputs at any time what is currently to be done, what is currently happening and what is to be done next. The output of the states provides information about the current state and the subsequent states. The output of Mx and Px provides clear information about what is currently being done in the system at any point in time.

In the example shown, the status Z2 is displayed:

Current status is Z2

Input E2 must be reached

After reaching E2, the system switches to Z3

In the event of an error (P), the corresponding message is displayed

In the event of an error (F), the corresponding message is displayed

 

The second requirement for transparent control is fulfilled by the implementation of the model in the program development. The implementation of the model must follow the behavior and definitions from the model.