Compliance-aware engineering process plans: the case of space software engineering processes

被引:7
|
作者
Castellanos-Ardila, Julieth Patricia [1 ]
Gallina, Barbara [1 ]
Governatori, Guido [2 ]
机构
[1] Malardalen Univ, IDT, Vasteras, Sweden
[2] CSIRO, Brisbane, Qld, Australia
关键词
Process compliance checking; Software process plan; ECSS-E-ST-40C; STANDARDS; CHECKING; DIVIDE;
D O I
10.1007/s10506-021-09285-5
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Safety-critical systems manufacturers have the duty of care, i.e., they should take correct steps while performing acts that could foreseeably harm others. Commonly, industry standards prescribe reasonable steps in their process requirements, which regulatory bodies trust. Manufacturers perform careful documentation of compliance with each requirement to show that they act under acceptable criteria. To facilitate this task, a safety-centered planning-time framework, called ACCEPT, has been proposed. Based on compliance-by-design, ACCEPT capabilities (i.e., processes and standards modeling, and automatic compliance checking) permit to design Compliance-aware Engineering Process Plans (CaEPP), which are able to show the planning-time allocation of standard demands, i.e., if the elements set down by the standard requirements are present at given points in the engineering process plan. In this paper, we perform a case study to understand if the ACCEPT produced models could support the planning of space software engineering processes. Space software is safety and mission-critical, and it is often the result of industrial cooperation. Such cooperation is coordinated through compliance with relevant standards. In the European context, ECSS-E-ST-40C is the de-facto standard for space software production. The planning of processes in compliance with project-specific ECSS-E-ST-40C applicable requirements is mandatory during contractual agreements. Our analysis is based on qualitative criteria targeting the effort dictated by task demands required to create a CaEPP for software development with ACCEPT. Initial observations show that the effort required to model compliance and processes artifacts is significant. However, such an effort pays off in the long term since models are, to some extend, reusable and flexible. The coverage level of the models is also analyzed based on design decisions. In our opinion, such a level is adequate since it responds to the information needs required by the ECSS-E-ST-40C framework.
引用
收藏
页码:587 / 627
页数:41
相关论文
共 50 条
  • [1] Compliance-aware engineering process plans: the case of space software engineering processes
    Julieth Patricia Castellanos-Ardila
    Barbara Gallina
    Guido Governatori
    [J]. Artificial Intelligence and Law, 2021, 29 : 587 - 627
  • [2] COM-PACE: Compliance-Aware Cloud Application Engineering Using Blockchain
    Singh Aujla, Gagangeet
    Barati, Masoud
    Rana, Omer
    Dustdar, Schahram
    Noor, Ayman
    Llanos, Jose Tomas
    Carr, Madeline
    Marikyan, Davit
    Papagiannidis, Savvas
    Ranjan, Rajiv
    [J]. IEEE INTERNET COMPUTING, 2020, 24 (05) : 45 - 53
  • [3] Open Services for Software Process Compliance Engineering
    Biro, Miklos
    [J]. SOFSEM 2014: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2014, 8327 : 1 - 6
  • [4] Towards Using Reo for Compliance-Aware Business Process Modeling
    Arbab, Farhad
    Kokash, Natallia
    Meng, Sun
    [J]. Communications in Computer and Information Science, 2009, 17 : 108 - 123
  • [5] Towards Using Reo for Compliance-Aware Business Process Modeling
    Arbab, Farhad
    Kokash, Natallia
    Meng, Sun
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 108 - 123
  • [6] Software Engineering for Compliance
    Zdun, Uwe
    Bener, Ayse
    Olalia-Carin, Erlinda L.
    [J]. IEEE SOFTWARE, 2012, 29 (03) : 24 - 27
  • [7] Taxing Collaborative Software Engineering: The Challenges for Tax Compliance in Software Engineering
    Dorner, Michael
    Capraro, Maximilian
    Treidler, Oliver
    Kunz, Tom-Eric
    Smite, Darja
    Zabardast, Ehsan
    Mendez, Daniel
    Wnuk, Krzysztof
    [J]. IEEE SOFTWARE, 2024, 41 (04) : 143 - 150
  • [8] Engineering software design processes to guide process execution
    Song, XP
    Osterweil, LJ
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (09) : 759 - 775
  • [9] Perspectives on Regulatory Compliance in Software Engineering
    Kempe, Evelyn
    Massey, Aaron
    [J]. 29TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2021), 2021, : 46 - 57
  • [10] Bringing together space systems engineering and software engineering processes based on standards and best practices
    Alves, Miriam B.
    Abdala, Martha A. D.
    Busquim e Silva, Rovedy
    [J]. COMPLEX SYSTEMS CONCURRENT ENGINEERING: COLLABORATION, TECHNOLOGY INNOVATION AND SUSTAINABILITY, 2007, : 159 - +