Journal of the Korea Institute of Military Science and Technology (한국군사과학기술학회지)

The Korea Institute of Military Science and Technology (한국군사과학기술학회)
권호 표지
DOI QR코드

DOI QR Code

Research on the Effects of MAAB Style Guidelines for Weapon System Embedded Software Reliability Improvement

무기체계 내장형 소프트웨어 신뢰성 향상을 위한 MAAB 스타일 가이드라인 영향성 연구

  • Received : 2013.10.28
  • Accepted : 2014.02.21
  • Published : 2014.04.05
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper, we introduce that MAAB style guideline has effects on the codes generated from Simulink models for static and dynamic software testing, when weapon system embedded software design and implementation are performed using the model based method. As showing the effects, MAAB guideline is helpful for defect prevention related with coding rules and run time errors associated with the DAPA weapon system embedded software guide. Thus, we check related items between MAAB and DAPA software reliability testing including static and dynamic analysis. And then we propose the criterion to select proper items from MAAB for DAPA guideline and show how to verify the relationship and the effects on reliability of models in Simulink. In addition, we show the needs for clear logics in conditional block models or statements and simple complexity models for Simulink model based design.

Keywords

References

  1. DAPA, "무기체계 내장형 소프트웨어 획득 및 관리 실무 지침서," 방위사업청(DAPA), 2011.
  2. Stephen A. Jacklin, "Certification of Safety-Critical Software Under DO-178C and DO-278A," AIAA Infortech at Aerospace, 2012.
  3. The Mathworks, "Simulink Code Inspector User's Guide R2012b," The Mathworks Inc., 2012.
  4. William Aldrich, "Using Model Coverage Analysis to Improve the Controls Development Process," AIAA Modeling and Simulation Technologies Conference and Exhibit, 2002.
  5. http://www.mathworks.co.uk/company/events/conferen ces/matlab-tour/proceedings/model-based-design-for-do-178.pdf
  6. MAAB, "Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow Version 3.0," MathWorks Automotive Advisory Board (MAAB).
  7. Aditya P. Mathur, Foundations of Software Testing, Pearson Education, pp. 402-491, 2008.
  8. RTCA Inc., "Software Considerations Airborne Systems and Equipment Certification," Document RTCA/DO-178B, 1992.
  9. Steven M. Christey, Janis E. Kenderdine, John M. Mazella and et al., "Common Weakness Enumeration - A Community-Developed Dictionary of Software Weakness Types," The MITRE Corporation, 2011.
  10. The Mathworks, "Modeling Guidelines for High- Integrity Systems R2012b," The Mathworks Inc., 2012.
  11. The Mathworks, "Simulink Verification and Validation User's Guide R2012b," The Mathworks Inc., 2012.