Special Issue on software engineering for trustworthy cyber-physical systems

摘要

Cyber-physical systems (CPS) are software-controlled systems that leverage computational and physical components to tackle a rapidly growing range of real-world problems. Enabled by un-precedented technological advances in the engineering of af-fordable and functionally rich mobile and embedded devices, modern CPS are used in key applications from manufacturing, transportation, healthcare and other domains of great economic and societal importance. Many of these applications are safety or business critical, and require trustworthy CPS capable of com-plying with strict functional and non-functional requirements-frequently in the presence of environmental uncertainty, failures and adversarial threats. Furthermore, this trustworthiness must be supported by assurance evidence and assurance arguments persuading users' operators and regulators to accept and trust the deployment of CPS in critical applications.