Compliance checking of software processes: A systematic literature review

JP Castellanos Ardila, B Gallina… - Journal of Software …, 2022 - Wiley Online Library
The processes used to develop software need to comply with normative requirements (eg,
standards and regulations) to align with the market and the law. Manual compliance …

Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems

C Baron, V Louis - Computers in Industry, 2023 - Elsevier
This article focuses on quality improvement in the development of DO-178C/ED-12C safety-
critical software, optimizing development costs through the implementation of a “continuous …

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

JP Castellanos-Ardila, B Gallina… - Artificial intelligence and …, 2021 - Springer
Safety-critical systems manufacturers have the duty of care, ie, they should take correct steps
while performing acts that could foreseeably harm others. Commonly, industry standards …

Enabling compliance checking against safety standards from SPEM 2.0 process models

JPC Ardila, B Gallina… - 2018 44th Euromicro …, 2018 - ieeexplore.ieee.org
Compliance with process-based safety standards may imply the provision of a safety plan
and its corresponding compliance justification. However, the provision of this justification is …

Visualizing change in agile safety-critical systems

J Cleland-Huang, A Agrawal, M Vierhauser… - IEEE …, 2020 - ieeexplore.ieee.org
Breaking the Deep Freeze: Visualizing Change in Agile, Safety-Critical Systems Page 1
0740-7459 (c) 2020 IEEE. Personal use is permitted, but republication/redistribution …

Separation of concerns in process compliance checking: divide-and-conquer

JP Castellanos Ardila, B Gallina - … September 9–11, 2020, Proceedings 27, 2020 - Springer
Compliance with multiple standard's reference models has the potential to improve process
quality but is a challenging task faced by manufacturers in the safety-critical context. To …

Transforming SPEM 2.0-compatible process models into models checkable for compliance

JP Castellanos Ardila, B Gallina, F Ul Muram - … Process Improvement and …, 2018 - Springer
Manual compliance with process-based standards is time-consuming and prone-to-error. No
ready-to-use solution is currently available for increasing efficiency and confidence. In our …

Checkable safety cases: Enabling automated consistency checks between safety work products

C Cârlan, D PetriŞor, B Gallina… - … on Software Reliability …, 2020 - ieeexplore.ieee.org
In the automotive domain, the employment of agile development is currently hindered by the
fact that the safety lifecycle, which implies the creation and maintenance of safety work …

Facilitating automated compliance checking in the safety-critical context

JPC Ardila - Electronic Communications of the EASST, 2019 - eceasst.org
In some safety-critical domains, the applicable safety standards prescribe a safety lifecycle
and process-related requirements. Process plans in accordance with the prescribed …

Progressive annotation of schematic railway maps

Y Yoshida, K Maruyama, T Kawagoe… - 2018 22nd …, 2018 - ieeexplore.ieee.org
Octilinear network layouts are commonly used as the schematic representation of railway
maps due to their enhanced readability. However, it is often time-consuming to place station …