Abstract
Abstract The paper proposes introduction of formalism in control system development in order to reach user's mental model. The control interface consists of an external user dialogue and an internal dialogue (explicit) and an external plant dialogue (implicit). The concept of interface independence is supported employing macrocommunication by an application semantics image. Introduced formal method is established on sets, sets of states and predicates. The formal method determines what has to be said about the application semantics image and the external user dialogue. The method is addressed firstly to an enduser and an interface developer. It is a solid basis for development a specification language for interface customisation during system prototyping including all system safety properties.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
