Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements. Such systems have become indispensable

Almost all technical systems currently either interface with or are themselves largely software systems. Software systems must not harm their environment, but a

Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and

Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive

The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approac