01406pab a2200157 454500 180718b2000 xxu||||| |||| 00| 0 eng d Wang, J. Analysis of safety-critical software elements in offshore safety studies 2000 p.271-81 "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 Safety measures Petroleum industry Disaster Prevention and Management 46581 46581 46581 0 0 0 0 IIPA IIPA 2018-07-19 Volume no: 9, Issue no: 4 AR47009 2018-07-19 2018-07-19 AR