Introduction: ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS'14) at SAFECOMP 2014

摘要

This workshop at SAFECOMP follows already its own tradition since 2006. In the past, it focussed on the conventional type of 'embedded systems', covering all dependability aspects (in the meaning of IFIP WG 10.4, defined by Avizienis, Lapries, Kopetz, Voges and others). To emphasize more the relationship to physics, mecha-tronics and the notion of interaction with an unpredictable environment, the terminology changed to 'cyber-physical systems' (CPS). Collaboration and co-operation of these systems with each other and humans, and the interplay of safety and security are leading to new challenges in verification, validation and certification/qualification.