Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/4128

Title: Formal development of remote interfaces for large- scale real-time systems
Authors: Hussak, Walter
Yang, Shuang-Hua
Keywords: Remote interfaces
Control systems
Model checking
Issue Date: 2004
Publisher: © IEEE
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.
Abstract: 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.
Description: 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.
Version: Published
DOI: 10.1109/ICSMC.2004.1398285
URI: https://dspace.lboro.ac.uk/2134/4128
ISBN: 0780385667
ISSN: 1062-922X
Appears in Collections:Conference Papers and Presentations (Computer Science)

Files associated with this item:

File Description SizeFormat
Hussak_Yang_IEEE_2004.pdf378.21 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.