Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems

被引:20
|
作者
Ayerdi, Jon [1 ]
Garciandia, Aitor [2 ]
Arrieta, Aitor [1 ]
Afzal, Wasif [3 ]
Enoiu, Eduard [4 ]
Agirre, Aitor [2 ]
Sagardui, Goiuria [1 ]
Arratibel, Maite [5 ]
Sellin, Ola [2 ]
机构
[1] Univ Mondragon, Arrasate Mondragon, Gipuzkoa, Spain
[2] Ikerlan, Arraste, Spain
[3] Malardalen Univ, Vasteras, Sweden
[4] Orona, Hernani, Gipuzkoa, Spain
[5] Bombardier Transportat, Berlin, Germany
基金
欧盟地平线“2020”;
关键词
DevOps; Design-Operation; Requirements Elicitation; Cyber-Physical Systems;
D O I
10.1109/RE48521.2020.00038
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Software systems that are embedded in autonomous Cyber-Physical Systems (CPSs) usually have a large life-cycle, both during its development and in maintenance. This software evolves during its life-cycle in order to incorporate new requirements, bug fixes, and to deal with hardware obsolescence. The current process for developing and maintaining this software is very fragmented, which makes developing new software versions and deploying them in the CPSs extremely expensive. In other domains, such as web engineering, the phases of development and operation are tightly connected, making it possible to easily perform software updates of the system, and to obtain operational data that can be analyzed by engineers at development time. However, in spite of the rise of new communication technologies (e.g., 5G) providing an opportunity to acquire Design-Operation Continuum Engineering methods in the context of CPSs, there are still many complex issues that need to be addressed, such as the ones related with hardware-software co-design. Therefore, the process of Design-Operation Continuum Engineering for CPSs requires substantial changes with respect to the current fragmented software development process. In this paper, we build a taxonomy for Design-Operation Continuum Engineering of CPSs based on case studies from two different industrial domains involving CPSs (elevation and railway). This taxonomy is later used to elicit requirements from these two case studies in order to present a blueprint on adopting Design-Operation Continuum Engineering in any organization developing CPSs.
引用
收藏
页码:280 / 290
页数:11
相关论文
共 50 条
  • [1] Design and Operation of Secure Cyber-Physical Systems
    Pasqualetti, Fabio
    Zhu, Qi
    IEEE EMBEDDED SYSTEMS LETTERS, 2015, 7 (01) : 3 - 6
  • [2] Towards a Science of Cyber-Physical Systems Design
    Bogdan, Paul
    Marculescu, Radu
    2011 ACM/IEEE SECOND INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2011), 2011, : 99 - 108
  • [3] Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach
    Yang, Jiajia
    Chen, Xiaohong
    Yin, Ling
    2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021), 2021, : 199 - 206
  • [4] Towards a Rigorous Approach for Verifying Cyber-Physical Systems Against Requirements
    Bouskela, Daniel
    Thuy Nguyen
    Jardin, Audrey
    2015 IEEE ELECTRICAL POWER AND ENERGY CONFERENCE (EPEC), 2015, : 250 - 255
  • [5] Towards an Integrated Model for Safety and Security Requirements of Cyber-Physical Systems
    Brunner, Michael
    Huber, Michael
    Sauerwein, Clemens
    Breu, Ruth
    2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2017, : 334 - 340
  • [6] Towards Design for Cyber-Physical Inspection
    Anokhin, Oleg
    Anderl, Reiner
    29TH CIRP DESIGN CONFERENCE 2019, 2019, 84 : 400 - 405
  • [7] DESIGN RESEARCH TOWARDS RESILIENT CYBER-PHYSICAL EHEALT SYSTEMS
    Rajamaki, Jyri
    INJURY PREVENTION, 2016, 22 : A278 - A279
  • [8] Towards a Methodology to Design Provably Secure Cyber-Physical Systems
    Malaquias, Felipe Lisboa
    Giantamidis, Georgios
    Basagiannis, Stylianos
    Rollini, Simone Fulvio
    Amundson, Isaac
    Ada User Journal, 2023, 44 (02): : 146 - 151
  • [9] Towards Collaborative Cyber-Physical Systems
    Nazarenko, Artem A.
    Camarinha-Matos, Luis M.
    2017 INTERNATIONAL YOUNG ENGINEERS FORUM (YEF-ECE), 2017, : 12 - 17
  • [10] Towards Robustness for Cyber-Physical Systems
    Tabuada, Paulo
    Caliskan, Sina Yamac
    Rungger, Matthias
    Majumdar, Rupak
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (12) : 3151 - 3163