✦ LIBER ✦

Designing safety-critical computer systems

✍ Scribed by Dunn, W.R.

Book ID: 114575229
Publisher: IEEE
Year: 2003
Tongue: English
Weight: 306 KB
Volume: 36
Category: Article
ISSN: 0018-9162
DOI: 10.1109/mc.2003.1244533

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Human–computer interaction in safety cri

Human–computer interaction in safety critical systems

✍ Bridget A. Leathley 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 408 KB

Safety critical systems

✍ John Cullyer 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 85 KB

Designing educational systems: A critica

Designing educational systems: A critical systems approach

✍ Wendy J. Gregory 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 658 KB

Designing expert systems for modeling co

Designing expert systems for modeling complex computer systems

✍ E.T. Upchurch; K.S. Raman; K. Ranai 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 297 KB

Safety-critical design of electromechani

Safety-critical design of electromechanical actuation systems in commercial aircraft

✍ Bennett, J.W.; Mecrow, B.C.; Atkinson, D.J.; Atkinson, G.J. 📂 Article 📅 2011 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 645 KB

A tool-supported design framework for sa

A tool-supported design framework for safety critical interactive systems

✍ Rémi Bastide; David Navarre; Philippe Palanque 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 779 KB

This paper presents a design framework for safety critical interactive systems, based on a formal description technique called the ICO (Interactive Cooperative Object) formalism. ICO allows for describing, in a formal way, all the components of highly interactive (also called post-WIMP) applications