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 28TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE'20) | 2020年
基金
欧盟地平线“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 条
  • [31] Design and Evaluation of Jamming Resilient Cyber-Physical Systems
    Tomic, Ivana
    Breza, Michael J.
    Jackson, Greg
    Bhatia, Laksh
    McCann, Julie A.
    IEEE 2018 INTERNATIONAL CONGRESS ON CYBERMATICS / 2018 IEEE CONFERENCES ON INTERNET OF THINGS, GREEN COMPUTING AND COMMUNICATIONS, CYBER, PHYSICAL AND SOCIAL COMPUTING, SMART DATA, BLOCKCHAIN, COMPUTER AND INFORMATION TECHNOLOGY, 2018, : 687 - 694
  • [32] Optimal sensor design for secure cyber-physical systems
    Belabbas, Mohamed Ali
    Chen, Xudong
    IFAC PAPERSONLINE, 2019, 52 (20): : 387 - 390
  • [33] Certifiable and Efficient Autonomous Cyber-Physical Systems Design
    Xu, Shengjie
    Hobbs, Clara
    Ghosh, Bineet
    Duggirala, Parasara Sridhar
    Chakraborty, Samarjit
    PROCEEDINGS OF THE 37TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, VLSID 2024 AND 23RD INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, ES 2024, 2024, : 259 - 263
  • [34] Towards a Cyber-Physical Systems Based Operating Room of the Future
    Chng, Chin-Boon
    Wong, Pooi-Mun
    Ho, Nicholas
    Tan, Xiaoyu
    Chui, Chee-Kong
    OR 2.0 CONTEXT-AWARE OPERATING THEATERS AND MACHINE LEARNING IN CLINICAL NEUROIMAGING, 2019, 11796 : 47 - 55
  • [35] Towards a Systematic Threat Modeling Approach for Cyber-physical Systems
    Martins, Goncalo
    Bhatia, Sajal
    Koutsoukos, Xenofon
    Stouffer, Keith
    Tang, CheeYee
    Candell, Richard
    2015 RESILIENCE WEEK (RSW), 2015, : 114 - 119
  • [36] An Analytics Toolbox for Cyber-Physical Systems Data Analysis: Requirements and Challenges
    Zanin, M.
    Menasalvas, E.
    Rodriguez Gonzalez, A.
    Smrz, P.
    2020 43RD INTERNATIONAL CONVENTION ON INFORMATION, COMMUNICATION AND ELECTRONIC TECHNOLOGY (MIPRO 2020), 2020, : 271 - 276
  • [37] Towards Formal Verification of Neural Networks in Cyber-Physical Systems
    Rossi, Federico
    Bernardeschi, Cinzia
    Cococcioni, Marco
    Palmieri, Maurizio
    NASA FORMAL METHODS, NFM 2024, 2024, 14627 : 207 - 222
  • [38] Towards Precision Control in Constrained Wireless Cyber-Physical Systems
    Boyle, David
    Kolcun, Roman
    Yeatman, Eric
    INTERNET OF THINGS: IOT INFRASTRUCTURES, IOT 360, PT II, 2016, 170 : 292 - 306
  • [39] Usability Requirements for Complex Cyber-Physical Systems in a Totally Networked World
    Koelmel, Bernhard
    Bulander, Rebecca
    Dittmann, Uwe
    Schaetter, Alfred
    Wuertz, Guenther
    COLLABORATIVE SYSTEMS FOR SMART NETWORKED ENVIRONMENTS, 2014, 434 : 253 - 258
  • [40] Towards Dependability Engineering of Cooperative Automotive Cyber-Physical Systems
    Macher, Georg
    Armengaud, Eric
    Schneider, Daniel
    Brenner, Eugen
    Kreiner, Christian
    SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT (EUROSPI 2017), 2017, 748 : 205 - 215