DocumentCode :
774332
Title :
Specification of software for emergency shutdown system of an offshore installation
Author :
Tan, R. ; Reynolds, A.J.
Author_Institution :
Dept. of Mech. Eng., Hebei Inst. of Technol., Tianjin, China
Volume :
143
Issue :
1
fYear :
1996
fDate :
1/1/1996 12:00:00 AM
Firstpage :
9
Lastpage :
16
Abstract :
The process dealt with is the conversion of a rather loose `requirement´ for the emergency shutdown (ESD) system of a major offshore installation into a tightly defined specification for the software (SESD) of that procedure is broadly shutdown systems for other kinds of plant. The fusion method of object-oriented analysis is outlined and is applied to a system based on the Tern Alpha platform, whose basic features and shutdown requirement are described. The system requirement that is adopted provides not only several levels of shutdown, each encompassing a wide range of equipment, but also more targeted unit shutdowns. Consideration is given also to the use of ESD data to inform platform operating staff of incipient failures of monitored equipment and of the system SESD itself. The Fusion Method is used to assemble information relating to the installation and shutdown process in a form appropriate for the specification on which the design of the system SESD can be based. Some limitations of the method are identified
Keywords :
formal specification; marine systems; object-oriented methods; safety-critical software; SESD; Tern Alpha platform; emergency shutdown system; fusion method; object-oriented analysis; offshore installation; software;
fLanguage :
English
Journal_Title :
Computers and Digital Techniques, IEE Proceedings -
Publisher :
iet
ISSN :
1350-2387
Type :
jour
DOI :
10.1049/ip-cdt:19960011
Filename :
487919
Link To Document :
بازگشت