Software and hardware certification of safety-critical avionic systems: A comparison study
W Youn, B Yi - Computer Standards & Interfaces, 2014 - Elsevier
To ensure the safety of avionic systems, civil avionic software and hardware regulated by
certification authorities must be certified based on applicable standards (eg, DO-178B and …
certification authorities must be certified based on applicable standards (eg, DO-178B and …
Weaving Agility in Safety-Critical Software Development for Aerospace: from Concerns to Opportunities
Domain-specific standards and documents heavily regulate safety-critical systems. One
example is the DO-178C standard for aerospace, which guides organizations to achieve …
example is the DO-178C standard for aerospace, which guides organizations to achieve …
S-tunexspem: Towards an extension of spem 2.0 to model and exchange tunable safety-oriented processes
Prescriptive process-based safety standards (eg EN 50128, DO-178B, etc.) incorporate best
practices to be adopted to develop safety-critical systems or software. In some domains …
practices to be adopted to develop safety-critical systems or software. In some domains …
Software processes with BPMN: an empirical analysis
ALN Campos, T Oliveira - … , PROFES 2013, Paphos, Cyprus, June 12-14 …, 2013 - Springer
BPMN 2.0 is a widely used notation to model a business process that has associated tools
and techniques to facilitate process management, execution and monitoring. As a result …
and techniques to facilitate process management, execution and monitoring. As a result …
Certification of Open Source Software–A Sco** Review
Open source software (OSS) systems are being used for increasingly critical functions in
modern societies, eg, in health care, finance, government, defense, and other safety and …
modern societies, eg, in health care, finance, government, defense, and other safety and …
[PDF][PDF] Software Safety Engineering Education
DJ Coe, JS Hogue, JH Kulick - Proceedings of the International …, 2011 - world-comp.org
This paper describes the Software Safety Engineering Process utilized by students enrolled
in the University of Alabama in Huntsville's Software Safety Engineering course. The …
in the University of Alabama in Huntsville's Software Safety Engineering course. The …
An executable meta-model for safety oriented software and systems development processes within the avionics domain in compliance with RTCA DO 178 B
KR Pitchai - 2013 - diva-portal.org
" There are two critical points in every aerial flight—its beginning and its end."—Alexander
Graham Bell, 1906. From beginning till the end, the safety critical software plays a vital role …
Graham Bell, 1906. From beginning till the end, the safety critical software plays a vital role …
ADONIS: A Service Design and Certification Management Tool for Certification of Software Development Process in International Standard Organization
S Lee, Y Choe, M Lee - Journal of Service Research and Studies, 2018 - koreascience.kr
In the perspective of service, it is important to institute certification process required by
International Standard Organization (ISO) for software (SW) development process, since …
International Standard Organization (ISO) for software (SW) development process, since …
Quality, Improvement and Measurements in High Risk Software
EP Vargas - … Improvement and Management: Approaches and Tools …, 2012 - igi-global.com
We aim to improve quality in software engineering projects by introducing Verification and
Validation (V&V) best practices in terms of process, artifacts, and quality performance …
Validation (V&V) best practices in terms of process, artifacts, and quality performance …
국제표준기국의 SW 개발 공정 인증을 위한 서비스 설계 및 인증 관리 도구: ADONIS
이성현， 최영복， 이문근 - 서비스연구, 2018 - kiss.kstudy.com
서비스 관점에서 국제표준기구가 요구하는 수준의 인증 서비스를 SW 개발과정에 도입하는
것은 매우 중요하다. 그 이유는 우리 산업에서 ICT 가 차지하는 비중이 매우 높을 뿐만 아니라 …
것은 매우 중요하다. 그 이유는 우리 산업에서 ICT 가 차지하는 비중이 매우 높을 뿐만 아니라 …