[소프트웨어 공학] 임베디드 S/W 개발 시프로그래밍 개선점 -MISRA-C를 중심으로 = Programming Enhancements for Embedded Software Development - focus on MISRA-C

국문 초록 (Abstract)

소프트웨어 개발 시 코딩 규칙을 준수하면 소프트웨어에 잠재적으로 존재하는 프로그래밍 오류를 예방하는데 많은 도움이 된다. MISRA-C: 2004는 고 신뢰성과 고품질이 요구되는 자동차, 우주항공, 통신, 등 제조분야에 대한 C언어 코딩 규칙이다. 본 논문에서는 자동차와 우주항공같이 높은 안전성이 요구되는 원자력 발전소 활용 가능한 감시 시스템(가칭)을 타깃으로 하여 정적 분석한다. 그리고 분석 결과에서 발견된 오류 중 가장 빈번히 일어나는 오류에 대한 문제점을 분석하고 임베디드 소프트웨어 품질 개선을 위하여 각 임베디드 소프트웨어 분야별 코딩 규칙이 필요성을 제안하며 프로그래머들의 코딩 규칙 준수를 권장한다.

다국어 초록 (Multilingual Abstract)

When developing software, following coding standards prevents potential programming errors. MISRA-C: 2004 is a C language guideline for the automotive, aerospace, telecommunications and manufacturing industries which requires high reliability and quality. In this paper, a remote hydrogen system which requires high safety in fields like automotive and aerospace is being targeted for static analysis. Analysis of the target found frequently occurring errors. Code guidelines are suggested for each of the embedded software fields to improve quality and it is recommended that programmers continue to follow coding guidelines.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 관련 연구
• 3. MISRA-C (2004) 적용 사례 연구
• 4. 결론 및 향후 연구
• 참고문헌

참고문헌 (Reference)

1 K. W. Lee, "http://www.boan.com"

2 Herbert Schildt, "Teach yourself C" McGraw-Hill 1997

3 Ministry of Public Administration and Security, "Software Development Security Guide"

4 "MISRA-C"

5 "LDRA"

6 D. S. Han, "Introduction to Software testing" V.I.Land CO.Ltd 2001

7 "International Organization for Standadization"

8 "International Electrotechnical Commission"

9 Karen Mercedes Goertze, "Enhancing the Development Life Cycle to Produce Secure Software: A Reference Guidebook on Software Assurance Ver 2.0., DACS Data & Analysis Center for Software"

10 S. G. Kim, "An Alternative Standardization for the Product Safety based on Computer Injury" 51-56, 2005