✦ LIBER ✦

A Highly Dependable Computing Architecture for Safety-Critical Control Applications

✍ Scribed by Bernd J. Krämer; Norbert Völker

Book ID: 110256758
Publisher: Springer US
Year: 1997
Tongue: English
Weight: 276 KB
Volume: 13
Category: Article
ISSN: 0922-6443
DOI: 10.1023/a:1007959310351

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 3219 || A Highly Fault Detectable Cache Architecture for Dependable Computing

✍ Heisel, Maritta; Liggesmeyer, Peter; Wittmann, Stefan 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 320 KB

Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety

123 A single-chip computer for robust va

123 A single-chip computer for robust variable-structure control of large-scale safety-critical systems: N.E. Gough, W.A. Halang, pp 39–44

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 107 KB

We show how formal methods can be used to assist in developing requirements of a safety-critical system. The approach is to express the requirements in temporal logic, and then to develop a process model satisfying the requirements. The existence of such a model ensures the requirements are consiste

[IEEE 2006 IEEE Conference on Computer A

[IEEE 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control - Munich, Germany (2006.10.4-2006.10.6)] 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control - The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems

✍ Feiler, Peter H.; Lewis, Bruce A.; Vestal, Steve 📂 Article 📅 2006 🏛 IEEE ⚖ 385 KB