Towards Executable Dependability Properties

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

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

Abstract

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

Fingerprint

Adaptive systems
Cyber Physical System
Life cycle
Power plants
Innovation
Specifications

Keywords

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

Cite this

Dobaj, J., Iber, J., Krisper, M., & Kreiner, C. J. (2018). Towards Executable Dependability Properties. In EuroSPI 2018: Systems, Software and Services Process Improvement

Towards Executable Dependability Properties. / Dobaj, Jürgen; Iber, Johannes; Krisper, Michael; Kreiner, Christian Josef.

EuroSPI 2018: Systems, Software and Services Process Improvement. 2018.

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

Dobaj, J, Iber, J, Krisper, M & Kreiner, CJ 2018, Towards Executable Dependability Properties. in EuroSPI 2018: Systems, Software and Services Process Improvement.
Dobaj J, Iber J, Krisper M, Kreiner CJ. Towards Executable Dependability Properties. In EuroSPI 2018: Systems, Software and Services Process Improvement. 2018.
Dobaj, Jürgen ; Iber, Johannes ; Krisper, Michael ; Kreiner, Christian Josef. / Towards Executable Dependability Properties. EuroSPI 2018: Systems, Software and Services Process Improvement. 2018.
@inproceedings{f6287b386b0a4a338081a897b2ce81ea,
title = "Towards Executable Dependability Properties",
abstract = "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.",
keywords = "Executable Dependability Property, Dependability, Safety, Security, Risk assessment, Self-adaptive system, Model based development, Digital Dependability Identity",
author = "J{\"u}rgen Dobaj and Johannes Iber and Michael Krisper and Kreiner, {Christian Josef}",
year = "2018",
month = "8",
day = "9",
language = "English",
booktitle = "EuroSPI 2018: Systems, Software and Services Process Improvement",

}

TY - GEN

T1 - Towards Executable Dependability Properties

AU - Dobaj,Jürgen

AU - Iber,Johannes

AU - Krisper,Michael

AU - Kreiner,Christian Josef

PY - 2018/8/9

Y1 - 2018/8/9

N2 - 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.

AB - 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.

KW - Executable Dependability Property

KW - Dependability

KW - Safety

KW - Security

KW - Risk assessment

KW - Self-adaptive system

KW - Model based development

KW - Digital Dependability Identity

M3 - Conference contribution

BT - EuroSPI 2018: Systems, Software and Services Process Improvement

ER -