𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Results of the Development and Problems of System Computer Technologies in Aviation

✍ Scribed by S. M. Belotserkovskii

Book ID
111532093
Publisher
Springer
Year
2000
Tongue
English
Weight
182 KB
Volume
35
Category
Article
ISSN
0015-4628

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Safety of computer control systems: chal
Safety of computer control systems: challenges and results in software development
✍ Janusz Zalewski; Wolfgang Ehrenberger; Francesca Saglietti; Janusz GΓ³rski; Andre πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 566 KB

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 s