Safeware: System Safety and Computers
| Künye | |
|---|---|
| Yazar | Nancy G. Leveson |
| Yayınevi | Addison-Wesley |
| Yıl | 1995 |
| Odak | Bilgisayarların sistem emniyetindeki rolü, kaza analizleri |
| Seviye | Orta |
| Kimin için | Emniyet-kritik yazılım alanında derinleşmek isteyen herkes |
Nereden edinilir
Neden okumalı?
Yazılım emniyeti literatürünün klasiğidir. Leveson, "yazılım neden donanım gibi ele alınamaz?" sorusunu, alanın kavramsal temellerini kurarak yanıtlar ve tezlerini gerçek kaza incelemeleriyle destekler; Therac-25 radyasyon tedavi cihazı kazaları üzerine ekler, yazılım hatasının insan hayatına nasıl dokunduğunun en çok başvurulan anlatımlarındandır.
Yayın tarihi eski olsa da kitabın işlediği sorunlar — belirsiz gereksinimler, yanlış varsayımlar, insan-makine etkileşimi, organizasyonel baskılar — bugünkü projelerde aynen yaşamaya devam eder. DO-178C'nin "süreç ve kanıt" yaklaşımının arkasındaki düşünsel zemini merak edenler için en iyi başlangıçtır.
Bu sitedeki kitapla ilişkisi
Giriş bölümünde özetlenen "yazılım hataları sistematiktir" tezinin kapsamlı işlenişidir; emniyet değerlendirmesi bölümünün kavramsal arka planını kurar.