000			01406pab a2200157 454500
008			180718b2000 xxu||||| |||| 00| 0 eng d
100			_aWang, J.
245			_aAnalysis of safety-critical software elements in offshore safety studies
260			_c2000
300			_ap.271-81
520			_a"The offshore installations and wells (design and construction, etc.) regulations" (DCR) requires that all safety-critical elements in both the system and software domains be assessed and evaluated. In this paper, following a brief review of offshore system (application) safety analysis, offshore software safety analysis is introduced. It is followed by a study of combining offshore system safety analysis with software safety analysis. The typical standards for the development of safety-critical systems in several industrial sectors are discussed with particular reference to formal methods. A generic offshore software safety analysis framework is proposed with discussions. Formal methods for producing safety requirements specifications are then discussed. A case study is used to demonstrate safety requirements modelling for safety-critical software development. Finally recommendations for further development in offshore software safety analysis are given. - Reproduced
650			_aSafety measures
650			_aPetroleum industry
773			_aDisaster Prevention and Management
909			_a46581
999			_c46581 _d46581