Selmo documents itself. Every piece of information that arises at runtime can be directly derived from the model:
Which state is active?
Which zone is waiting for feedback?
Which interlock has been triggered?
Which text was displayed?
Since this information comes from the formal structure, the documentation is never incomplete. The model is the documentation.
Last updated 4 months ago
Was this helpful?
