무기체계 소프트웨어 품질 향상을 위한 MISRA C:2012 주요 예외처리 및 도구 오탐 분석

박다운 ,  김태현

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

2023 .10

An Empirical Study of MISRA-C Related Source Code Changes in Open-source Software Projects

박수현 ,  남재창 ,  홍신

Journal of KIISE

2024 .08

MISRA-C 적용에 따른 시스템 신뢰성 분석

정진효 ,  소휘수 ,  고요한 외 1명

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

2023 .01

Reliability of MISRA-C from the Soft Error Perspective

Jin Hyo Jung ,  Yohan Ko ,  Kyoungwoo Lee

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

2018 .12

정적 분석 방법을 이용한 차량용 능동 제어 엔진마운트 소프트웨어 개발

정명수 ,  문창수 ,  류현기 외 1명

한국자동차공학회 춘계학술대회

2016 .05

MISRA C의 보안성 확보 방안 연구 : CERT C Coding Standard 2016과의 비교를 중심으로

변민재

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

2017 .06

KF-X AESA 레이다 적용을 위한 MISRA C++ 스펙 검토

김영주 ,  박성영

한국추진공학회 학술대회논문집

2017 .11

무인비행체 비행제어 Open Source 소프트웨어에 대한 정적분석 및 개선방안

장정훈 ,  강유선 ,  이지현

한국항공우주학회지

2021 .06

OpenMRC : 공개 MISRA-C 코딩 규칙 검증 및 UML Profile 기반 코드 자동 생성 시스템 설계

김태영 ,  강승현 ,  남상진 외 1명

한국통신학회 학술대회논문집

2018 .06

시험 자동화 도구를 이용한 자동차 임베디드 소프트웨어 검증사례

권오철

한국자동차공학회 추계학술대회 및 전시회

2016 .11

ISO 26262-6에 따른 차량용 임베디드 소프트웨어에 대한 소프트웨어 정적 분석

권구훈 ,  고병각

한국자동차공학회 춘계학술대회

2017 .05

소프트웨어 개발 생명 주기와 정적분석 도구

최홍준 ,  최진영

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

2019 .12

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

이지현 ,  이단형

정보과학회지

2018 .04

무기체계 소프트웨어 신뢰성 시험의 코딩규칙 기준 확대 방안

최민관 ,  박다운 ,  국승학 외 1명

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

2022 .06

웹 시스템 군의 개발을 위한 소프트웨어 제품라인 공학의 적용

황병한 ,  진영택

한국전자거래학회지

2017 .05

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

이용준 ,  최진영

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

2018 .06

플랫폼 및 연결성에 기반한 차량 소프트웨어 연구 소개

김백규

정보과학회지

2022 .07

블록 코딩 및 텍스트 코딩과 스토리텔링 기법을 활용한 효과적인 코딩 학습 애플리케이션 제작

조항준 ,  유준우 ,  이영재

Proceedings of KIIT Conference

2022 .06

소스코드 취약성 분류를 위한 기계학습 기법의 적용

이원경 ,  이민주 ,  서동수

정보보호학회논문지

2020 .08

차량용 소프트웨어 플랫폼 기반 직류 모터 속도 제어 소프트웨어 설계

김재우 ,  이경중 ,  정구민 외 1명

정보 및 제어 논문집

2016 .04