✦ LIBER ✦

Development of Safety-Critical Reconfigurable Hardware with Esterel

✍ Scribed by Jerker Hammarberg; Simin Nadjm-Tehrani

Book ID: 104445061
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 292 KB
Volume: 80
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80820-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal verification of fault tolerance i

Formal verification of fault tolerance in safety-critical reconfigurable modules

✍ Jerker Hammarberg; Simin Nadjm-Tehrani 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 705 KB

Recent Trends in the Development of Safe

Recent Trends in the Development of Safety Critical Systems

✍ Werner Damm 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 31 KB

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

The Integration of On-Line Monitoring an

The Integration of On-Line Monitoring and Reconfiguration Functions into a Safety Critical Automotive Electronic Control Unit

✍ C. Jeffrey; R. Cutajar; A. Richardson; S. Prosser; M. Lickess; S. Riches 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 717 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

Experimental evaluation of software deve

Experimental evaluation of software development tools for safety-critical real-time systems

✍ Andrew J. Kornecki; Janusz Zalewski 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 366 KB