Hussak_Yang_IEEE_2004.pdf (378.21 kB)
Download fileFormal development of remote interfaces for large- scale real-time systems
conference contribution
posted on 2009-01-28, 10:28 authored by Walter HussakWalter Hussak, Shuang-Hua YangThe 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.
History
School
- Science
Department
- Computer Science
Citation
HUSSEK, W. and YANG, S.H., 2004. Formal development of remote interfaces for large- scale real-time systems. In: IEEE International Conference on Systems, Man and Cybernetics, 10 - 13 October, The Hague, Netherlands, Vol. 1, pp. 124 - 129.Publisher
© IEEEVersion
- VoR (Version of Record)
Publication date
2004Notes
This is a conference paper [© IEEE]. It is also available at: http://ieeexplore.ieee.org/ Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.ISBN
0780385667ISSN
1062-922XLanguage
- en