Software for Dependable Systems
Language: en
Pages: 148
Authors: National Research Council
Categories: Computers
Type: BOOK - Published: 2007-08-14 - Publisher: National Academies Press

GET EBOOK

The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approac
Software for Dependable Systems
Language: en
Pages: 148
Authors: Committee on Certifiably Dependable Software Systems
Categories:
Type: BOOK - Published: 2007-08-14 - Publisher:

GET EBOOK

The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approac
Fundamentals of Dependable Computing for Software Engineers
Language: en
Pages: 438
Authors: John Knight
Categories: Computers
Type: BOOK - Published: 2012-01-12 - Publisher: CRC Press

GET EBOOK

Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive
Engineering Dependable Software Systems
Language: en
Pages: 376
Authors: NATO Emerging Security Challenges Division
Categories: Computers
Type: BOOK - Published: 2013-06-19 - Publisher: IOS Press

GET EBOOK

Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and
Summary of a Workshop on Software Certification and Dependability
Language: en
Pages: 58
Authors: National Research Council
Categories: Computers
Type: BOOK - Published: 2004-11-20 - Publisher: National Academies Press

GET EBOOK

Certification of critical software systems (e.g., for safety and security) is important to help ensure their dependability. Today, certification relies as much