Towards Executable Dependability Properties

Jürgen Dobaj, Johannes Iber, Michael Krisper, Christian Josef Kreiner

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review


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.
Original languageEnglish
Title of host publicationEuroSPI 2018: Systems, Software and Services Process Improvement
Publication statusPublished - 9 Aug 2018


  • Executable Dependability Property
  • Dependability
  • Safety
  • Security
  • Risk assessment
  • Self-adaptive system
  • Model based development
  • Digital Dependability Identity

Cite this