| 000 -LEADER |
|---|
| fixed length control field |
01406pab a2200157 454500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
180718b2000 xxu||||| |||| 00| 0 eng d |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wang, J. |
| 245 ## - TITLE STATEMENT |
|---|
| Title |
Analysis of safety-critical software elements in offshore safety studies |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Date of publication, distribution, etc. |
2000 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
p.271-81 |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"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 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Safety measures |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Petroleum industry |
| 773 ## - HOST ITEM ENTRY |
|---|
| Main entry heading |
Disaster Prevention and Management |
| 909 ## - |
|---|
| -- |
46581 |
