안전필수 시스템 개발 시 CERT C Coding Standard 활용 연구

조범연 ,  김보현 ,  김태욱 외 2명

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

2016 .12

국방 CERT 직무 교육 과정 설계

최준성 ,  이종찬 ,  이원영 외 1명

보안공학연구논문지

2015 .01

Reliability of MISRA-C from the Soft Error Perspective

Jin Hyo Jung ,  Yohan Ko ,  Kyoungwoo Lee

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

2018 .12

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

박다운 ,  김태현

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

2023 .10

Automotive Software Static Analysis for MISRA-C Coding Guideline

박재학

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

2016 .05

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

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

김영주 ,  박성영

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

2017 .11

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

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

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

2016 .05

공개 데이터를 활용한 제어시스템 취약점 분석 방안 연구

신미주 ,  윤성수 ,  엄익채

정보보호학회논문지

2022 .04

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

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

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

2018 .06

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

장정훈 ,  강유선 ,  이지현

한국항공우주학회지

2021 .06

모델기반 MATLAB/Simulink의 자동 코드 생성과 코드 분석

최혜원 ,  이익진

대한전자공학회 학술대회

2021 .06

기계 학습을 활용한 보안 이상징후 식별 알고리즘 개발

황보현우 ,  김재경

한국전자거래학회지

2022 .02

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

권오철

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

2016 .11

국내외 콜드체인 기술 시장과 전망

김민성 ,  김소연 ,  정민규 외 1명

대한설비공학회 학술발표대회논문집

2023 .11

설계 단계의 보안 코딩 지침

신성윤 ,  이상원 ,  이현창

한국컴퓨터정보학회 학술발표논문집

2015 .07

Expanding a PMD Ruleset for Mitigating Java Deserialization Vulnerabilities

Jisun Lee ,  Dongsu Kang

Journal of Computing Science and Engineering

2024 .12

방사청 무기체계 소프트웨어 코딩규칙의 보안성 확보 연구

이용준 ,  안준선 ,  최진영

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

2018 .12

A Secure Coding Case Study for Software Development

Kie-Sung Oh

INTERNATIONAL CONFERENCE ON FUTURE INFORMATION & COMMUNICATION ENGINEERING

2016 .06