철도시스템 소프트웨어의 정량적 신뢰성 예측평가 도구개발

조현정 ,  신경호 ,  신덕호 외 2명

한국철도학회 논문집

2022 .01

DO-178C 인증규격에 따른 소프트웨어 검증계획 수립에 대한 연구

최인호 ,  장재원

한국항공우주학회 학술발표회 초록집

2016 .11

국방분야의 소프트웨어 안전성과 신뢰성 적용절차

장정훈 ,  장주수 ,  이기영

한국철도학회 학술발표대회논문집

2015 .05

“소프트웨어 안전과 보안” 특집을 내면서

허준영 ,  박문주

정보과학회지

2017 .02

유사 소프트웨어의 신뢰성을 고려한 체계적인 소프트웨어 신뢰성 목표 설정 방법

강상모 ,  백종문

한국정보과학회 학술발표논문집

2017 .12

국내 무기체계 분야의 소프트웨어 신뢰성 추정 모델 적용 사례

박다운

한국산학기술학회 논문지

2020 .06

“소프트웨어 안전” 특집을 내면서

유준범

정보과학회지

2015 .07

BIM기반 품질검토 소프트웨어 신뢰도 향상을 위한 방안 제안

이민재 ,  김인한 ,  최중식

대한건축학회 학술발표대회 논문집

2015 .10

소프트웨어의 신뢰성, 안전성, 보안성 확보를 위한 행정안전부 소프트웨어 개발보안 가이드 발전 방향 연구

이용준 ,  최진영

한국정보과학회 학술발표논문집

2018 .06

국내 소프트웨어공학의 전문용어 사용: 소프트웨어 안전 분야를 중심으로

이동아

정보과학회지

2022 .05

Component-based Software Architecture Design Method for Defense Software

이성원 ,  신종환 ,  김태형

Journal of KIISE

2019 .11

원전 디지털 원자로보호계통 소프트웨어 안전보증 패러다임 적용 및 분석

권기춘 ,  이장수 ,  지은경

정보과학회 컴퓨팅의 실제 논문지

2017 .06

항공무기체계 운용 간 소프트웨어 고장 이력을 활용한 소프트웨어 신뢰도 예측 및 추정모델 적합성 검증

황성국 ,  조일훈

항공우주시스템공학회 학술행사 논문집

2017 .04

안전필수 항공 산업용 소프트웨어 평가 방법 연구

이홍석 ,  권구훈 ,  고병각

한국항행학회논문지

2015 .01

함정 전투체계 체계지원 소프트웨어 표준화에 대한 연구

허영동

한국컴퓨터정보학회논문지

2020 .11

전력시스템 소프트웨어의 안전표준에 대한 연구

손고은 ,  하여진 ,  김인수

대한전기학회 학술대회 논문집

2022 .10

소프트웨어 역량의 핵심, 소프트웨어 및 시스템 제품라인

이지현 ,  이단형

정보과학회지

2018 .04

지능형 소프트웨어의 안전성 확보를 위한 정책적 개선 방안

박태형 ,  강상욱

디지털콘텐츠학회논문지

2020 .05

A Study on Quality Assurance of Embedded Software Source Codes for Weapon Systems by Improving the Reliability Test Process

권경용 ,  주준석 ,  김태식 외 2명

Journal of KIISE

2015 .07

“소프트웨어 검증” 특집을 내면서

배경민 ,  이선아

정보과학회지

2019 .04