✦ LIBER ✦

Issues in developing software for safety critical systems

✍ Scribed by John A. McDermid

Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 47 KB
Volume: 32
Category: Article
ISSN: 0951-8320
DOI: 10.1016/0951-8320(91)90045-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Integrating Safety Critical Software Sys

Integrating Safety Critical Software System in Probabilistic Safety Assessment

✍ Gopika Vinod; T.V. Santosh; R.K. Saraf; A.K. Ghosh 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 530 KB

In the recent times, computer-based systems are frequently used for protection and control of Nuclear Power Plants (NPPs). In the conventional Probabilistic Safety Assessment (PSA), the contribution from software in these computer-based systems was not given necessary attention. However, from operat

The role of formal methods in developing

The role of formal methods in developing safety-critical software

✍ Martyn Thomas 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 228 KB

A strategy for identification and develo

A strategy for identification and development of safety critical software embedded in complex space systems

✍ Jürgen Wunram 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 845 KB

5506792 System for operating application

5506792 System for operating application software in a safety critical environment

📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 119 KB

A laminated material for packaging containers comprising polyvinyl alcohol or other water-soluble, thermoplastic resin layers disposed on both sides of a paperboard base material layer and other thermoplastic synthetic resin layers laminated thereon. An aluminum foil layer 5 may be provided over a p

Quantitative evaluation of safety-critic

Quantitative evaluation of safety-critical software at the early development stage: an interposing logic system software example

✍ Han S. Son; Poong H. Seong 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 746 KB

In order to produce highly reliable software, designers and developers pay particular attention to the early development phases, that is, the requirement phase and the design phase. In this work, a few novel quantitative measures are suggested for estimating how much influence the development method

Developing software for parallel computi

Developing software for parallel computing systems

✍ Frances L. Van Scoy 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 511 KB

In recent years parallel computing systems based on a collection of a modest number (generally in the range of 16 to 1024) relatively high powered processors (such as those used in scientific workstations) have become commercially available. The current systems software for these computing systems r