Software Dependability
Also see Quality Assurance of Cyber-Physical and Embedded Systems
Overview
- A Direct Path to Dependable Software. Daniel Jackson. CACM 2009.
- Software for Dependable System: Sufficent Evidence? Computer Science and Telecommunications Board (CSTB). 2007. [Slides]
- Dependable Software, Bertrand Meyer. Dependable Systems:Software, Computing, Networks, 2006.
- Software Reliability and Dependability: a Roadmap. Bev Littlewood , Lorenzo Strigini. FOSE 2000.
- Slides by Daniel Jackson
- Papers by John Knight
- NIST SAMATE - Software Assurance Metrics And Tool Evaluation