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 …
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 …
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 …
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 …
and its corresponding compliance justification. However, the provision of this justification is …
Visualizing change in agile safety-critical systems
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 …
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 …
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
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 …
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
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 …
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 …
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 …
maps due to their enhanced readability. However, it is often time-consuming to place station …