Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development

Cyber-physical systems (CPSs) consist of software-controlled computing devices communicating with each other and interacting with the physical world through sensors and actuators.

Because most of the functionality of a CPS is implemented in software, the software is of crucial importance for the safety and security of the CPS. This book presents principle-based engineering for the development and operation of dependable software.

The knowledge in this book addresses organizations that wa...