✦ LIBER ✦

Method for Generating a Diverse Set of Requirements for Safety-critical Systems

✍ Scribed by Maurio, Joseph; McClure, Christopher

Book ID: 122865911
Publisher: Elsevier
Year: 2014
Tongue: English
Weight: 379 KB
Volume: 28
Category: Article
ISSN: 1877-0509
DOI: 10.1016/j.procs.2014.03.057

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formalization and assessment of regulato

Formalization and assessment of regulatory requirements for safety-critical software

✍ Sergiy A. Vilkomir; Jonathan P. Bowen; Aditya K. Ghose 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 814 KB

Qualitative formal method for requiremen

Qualitative formal method for requirements specification and validation of hybrid real-time safety systems

✍ Lee, J.-S.; Cha, S.-D. 📂 Article 📅 2000 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 808 KB

Development of a method for detecting je

Development of a method for detecting jerks in safety critical events

✍ Bagdadi, Omar; Várhelyi, András 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 754 KB

A comparison of methods for calculating

A comparison of methods for calculating the duration of software reliability demonstration testing, particularly for safety-critical systems

✍ Oded Tal; Anthony Bendell; Chris McCollin 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 114 KB 👁 2 views

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

A Level Set Method for Shape Optimizatio

A Level Set Method for Shape Optimization of Electromagnetic Systems

✍ Young Sun Kim; Jin Kyu Byun; Il Han Park 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 312 KB