2134/4128 Walter Hussak Walter Hussak Shuang-Hua Yang Shuang-Hua Yang Formal development of remote interfaces for large- scale real-time systems Loughborough University 2009 Remote interfaces Control systems Model checking Concurrency Information and Computing Sciences not elsewhere classified 2009-01-28 10:28:02 Conference contribution https://repository.lboro.ac.uk/articles/conference_contribution/Formal_development_of_remote_interfaces_for_large-_scale_real-time_systems/9405428 The design of web-based user interfaces is of primary importance for achieving successful operation of Internet-based monitoring and control systems. Operators need to be able IO act promptly on changing situations requiring remote actions to process plants. A formal development process is proposed to determine the minimum amount of information that needs to be presented at interfaces. The first stage of the process is a specifcation of states of components that require operator actions. The main stage of the process uses model checking to generate interfaces with a minimal amount of information sufticient for the operator to perform all required actions. As well as improving the efficiency of operators, simpler interfaces allow for greater concurrency in the implementation of the remote operation of the process plant.