✦ LIBER ✦

The power of 10: rules for developing safety-critical code

✍ Scribed by Holzmann, G.J.

Book ID: 114575969
Publisher: IEEE
Year: 2006
Tongue: English
Weight: 564 KB
Volume: 39
Category: Article
ISSN: 0018-9162
DOI: 10.1109/mc.2006.212

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some conservative stopping rules for the

Some conservative stopping rules for the operational testing of safety critical software

✍ Littlewood, B.; Wright, D. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 143 KB

Developments regarding the Bragg rule fo

Developments regarding the Bragg rule for stopping power and critical examination of its application to water

✍ Efstathios Kamaratos 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 567 KB

Practical aspects of the development of

Practical aspects of the development of a code of rules for assuring the serviceability of the elements of nuclear power facilities

✍ S. V. Evropin 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 91 KB

A probabilistic logic for the developmen

A probabilistic logic for the development of safety-critical, interactive systems

✍ C.W. Johnson 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 704 KB

This paper starts from the premise that the human contribution to risk must be assessed during the development of safety-critical systems. In contrast to previous approaches, discrete numerical values are rejected as means of quantifying the probability of operator "error" for many different users o

Fault tolerant, variable frequency, unit

Fault tolerant, variable frequency, unity power factor converters for safety critical PM drives

✍ Green, S.; Atkinson, D.J.; Mecrow, B.C.; Jack, A.G.; Green, B. 📂 Article 📅 2003 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 736 KB

The IAEA's activities in safeguarding nu

The IAEA's activities in safeguarding nuclear materials and in developing internationally acceptable safety codes and guides for nuclear power plants

✍ Rudolf Rometsch; Herschel Specter 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 502 KB