지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
Abstract
1. 서론
2. 관련 연구
3. Case Study
4. 결론
References
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Automotive Software Static Analysis for MISRA-C Coding Guideline
한국자동차공학회 춘계학술대회
2016 .05
무기체계 소프트웨어 품질 향상을 위한 MISRA C:2012 주요 예외처리 및 도구 오탐 분석
항공우주시스템공학회 학술행사 논문집
2023 .10
MISRA-C 적용에 따른 시스템 신뢰성 분석
정보과학회 컴퓨팅의 실제 논문지
2023 .01
An Empirical Study of MISRA-C Related Source Code Changes in Open-source Software Projects
Journal of KIISE
2024 .08
Reliability of MISRA-C from the Soft Error Perspective
한국정보과학회 학술발표논문집
2018 .12
MISRA C의 보안성 확보 방안 연구 : CERT C Coding Standard 2016과의 비교를 중심으로
한국정보과학회 학술발표논문집
2017 .06
ISO 26262-6에 따른 차량용 임베디드 소프트웨어에 대한 소프트웨어 정적 분석
한국자동차공학회 춘계학술대회
2017 .05
무인비행체 비행제어 Open Source 소프트웨어에 대한 정적분석 및 개선방안
한국항공우주학회지
2021 .06
무기체계 소프트웨어 신뢰성 시험의 코딩규칙 기준 확대 방안
한국정보과학회 학술발표논문집
2022 .06
단위테스트 중 매개변수 경계오류제거를 위한 코드 자동생성 시스템 설계와 구현
디지털산업정보학회논문지
2015 .01
시험 자동화 도구를 이용한 자동차 임베디드 소프트웨어 검증사례
한국자동차공학회 추계학술대회 및 전시회
2016 .11
C# 프로그래밍 무기체계 소프트웨어에 대한 신뢰성 시험 기준 연구
디지털산업정보학회논문지
2016 .01
A Survey for Software Visualization
JOURNAL OF PLATFORM TECHNOLOGY
2016 .09
무기체계 소프트웨어의 Java 코딩 규칙 검증 기준 개선 연구
한국산학기술학회 논문지
2022 .10
능동진동제어시스템 소프트웨어 개발 계획
한국항공우주학회 학술발표회 초록집
2016 .04
OpenMRC : 공개 MISRA-C 코딩 규칙 검증 및 UML Profile 기반 코드 자동 생성 시스템 설계
한국통신학회 학술대회논문집
2018 .06
철도차량용 소프트웨어 소스코드 검증방안 연구
한국철도학회 학술발표대회논문집
2015 .05
임베디드 소프트웨어의 모듈별 코드 적합성 분석 도구 개발
한국정보과학회 학술발표논문집
2015 .12
KF-X AESA 레이다 적용을 위한 MISRA C++ 스펙 검토
한국추진공학회 학술대회논문집
2017 .11
DO-178/331 가이드에 따른 항공용 엔진제어소프트웨어 개발
항공우주시스템공학회 학술행사 논문집
2017 .04
0