𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Safety of computer control systems: challenges and results in software development

✍ Scribed by Janusz Zalewski; Wolfgang Ehrenberger; Francesca Saglietti; Janusz Górski; Andrew Kornecki

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
566 KB
Volume
27
Category
Article
ISSN
1367-5788

No coin nor oath required. For personal study only.

✦ Synopsis

This paper reviews some results in improving software safety in computer control systems. The discussion covers various aspects of the software development process, as opposed to the product features. Software diversity, off-the-shelf software, failure mode and effect analysis, rigorous and formal software development are discussed.

📜 SIMILAR VOLUMES

A survey of computational complexity res
A survey of computational complexity results in systems and control
✍ Vincent D. Blondel; John N. Tsitsiklis 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 293 KB

The purpose of this paper is twofold: (a) to provide a tutorial introduction to some key concepts from the theory of computational complexity, highlighting their relevance to systems and control theory, and (b) to survey the relatively recent research activity lying at the interface between these "e