Towards Executable Dependability Properties

Cyber-Physical Systems (CPSs) provide enormous potential for innovation. Examples are modern road vehicles (assisted and autonomous driving), CPS road networks (car2x), power plants, smart grids and healthcare devices. However, due to the dynamic interconnection and the largely unpredictable number of possible system configurations the dependable cooperation of CPS can not be fully assured at design time. The malfunction of a CPS could threaten human life, cause environmental damage and major financial loss. In order to address these challenges, this paper presents an early excerpt of an ongoing holistic approach and toolchain architecture that supports the design, development, implementation, operation and maintenance of dependable CPS. The proposed approach uses the dependability information accumulated during the system specification process as an input configuration for self-adaptive systems. These self-adaptive systems then test and assure the dependability properties of the CPS throughout the whole system life cycle.