Systematic mapping study on requirements engineering for regulatory compliance of software systems
Context: As the diversity and complexity of regulations affecting Software-Intensive Products
and Services (SIPS) is increasing, software engineers need to address the growing …
and Services (SIPS) is increasing, software engineers need to address the growing …
[PDF][PDF] A survey-driven feature model for software traceability approaches
ER Batot, S Gérard, J Cabot - International Conference on …, 2022 - library.oapen.org
Traceability is the capability to represent, understand and analyze the relationships between
software artefacts. Traceability is at the core of many software engineering activities. This is …
software artefacts. Traceability is at the core of many software engineering activities. This is …
A proposal for the classification of methods for verification and validation of safety, cybersecurity, and privacy of automated systems
JL de la Vara, T Bauer, B Fischer, M Karaca… - Quality of Information …, 2021 - Springer
As our dependence on automated systems grows, so does the need for guaranteeing their
safety, cybersecurity, and privacy (SCP). Dedicated methods for verification and validation …
safety, cybersecurity, and privacy (SCP). Dedicated methods for verification and validation …
Montibelle-toolbox for a model-based development and verification of distributed critical systems for compliance with functional safety
The methodology MontiBelle represents a specification formalism designed for the
development and verification of cyber-physical safety-critical systems. It allows abstraction …
development and verification of cyber-physical safety-critical systems. It allows abstraction …
An Adoption of Automation Framework for Model-Based Testing to System Testing for Airborne Safety Critical Systems
S Punnoose, M Nanda… - 2023 IEEE …, 2023 - ieeexplore.ieee.org
With many aircraft systems getting digitalized, the complexity of flight software has increased
multi-fold. The need for a fully automated System Test facility to certify the flight software is …
multi-fold. The need for a fully automated System Test facility to certify the flight software is …
ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems
HA Misson, R Zrelli, M Ben Attia… - Proceedings of the 34th …, 2023 - dl.acm.org
Software development in critical airspace cyber-physical systems is challenging, mainly
because of its safety-critical nature. Safety standards and regulations, such as DO-178C …
because of its safety-critical nature. Safety standards and regulations, such as DO-178C …
[PDF][PDF] Model-driven methods for developing ISO-certified safety-critical systems
L Gutleder - 2020 - scholar.archive.org
Since the release of the IEC 61508 international standard for Functional Safety of
Electrical/Electronic/Programmable Electronic (E/E/PE) Safety-related Systems and its …
Electrical/Electronic/Programmable Electronic (E/E/PE) Safety-related Systems and its …
[PDF][PDF] A Survey-driven Feature Model for Software Traceability Approaches
EB SOM-UOC - hal.science
Traceability is the capability to represent, understand and analyze the relationships between
software artefacts. Traceability is at the core of many software engineering activities. This is …
software artefacts. Traceability is at the core of many software engineering activities. This is …
A DO-178C-compliant model-driven approach to support the development and certification of safety-critical avionics software
AF Paz Loboguerrero - 2020 - espace.etsmtl.ca
Increasingly complex software is nowadays engineered to cater to safety-critical domains,
like aircraft. However, engineering software for avionics systems is not a straightforward …
like aircraft. However, engineering software for avionics systems is not a straightforward …
PDIF 변환기의설계및구현
이순영， 황충호， 남영호 - 한국지식정보기술학회논문지, 2020 - dbpia.co.kr
항공용 소프트웨어는 목적코드 부분과 매개변수 부분을 파일로 분리하여 개발된다. 이러한
이유는 최적화된 비행제어를 위해 다양한 매개변수의 보정이 필요함에 따라, 목적코드의 …
이유는 최적화된 비행제어를 위해 다양한 매개변수의 보정이 필요함에 따라, 목적코드의 …