Trustworthy cyber-physical systems: a systematic framework towards design and evaluation of trust and trustworthiness

摘要

Users expect a trustworthy system to behave according to its requirements. Trustworthiness is a fundamental design objective for any system that provides critical functions, for example, transportation systems, medical systems, and water purification. Typically, these systems are cyber-physical systems (CPSs). This book considers the development life cycle of trustworthy CPSs, from their requirements to their evaluation and use; it is a collection of the author's work on this topic from 1998 to 2013. In a time where we use CPSs for many critical functions, the analysis and design of such systems is of high importance.