Journal of the Korea Society for Simulation (한국시뮬레이션학회논문지)

The Korea Society for Simulation (한국시뮬레이션학회)
권호 표지
DOI QR코드

DOI QR Code

An Efficient Software Reliability Testing Method for the Model based Embedded Software

모델 기반 내장형 소프트웨어의 효율적 신뢰성 시험 기법

  • Received : 2017.06.08
  • Accepted : 2017.12.21
  • Published : 2018.03.31
Download PDF
⟨ Previous Next ⟩

Abstract

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

본 논문은 모델 기반 내장형 소프트웨어의 자동 생성 코드에 대한 효율적인 신뢰성 시험 절차와 구체화된 동적 시험 방안에 대해서 제시하고 있다. 모델 정적/동적 시험 각각을 코드 정적/동적 시험 전에 수행함으로서 코드 신뢰성 시험 수행의 이점이 있음을 기술하였다. 또한, 모델과 코드의 신뢰성 시험 상관관계를 모델의 경우 Model Advisor와 Verification and Validation tool, 코드의 경우 Polyspace와 LDRA를 이용하여 살펴보고 제시한 절차대로 수행한 신뢰성 시험의 결과를 보여주고 있다.

Keywords

References

  1. Kim, J.W, "A Case Study on Reliability Test of Embedded Software in the Multi-Function Radar". Journal of IKEEE, Vol. 19, No, 3, pp. 431-439, 2015.9 https://doi.org/10.7471/ikeee.2015.19.3.431
  2. Kim, Y.G., Yoon, H.S, Kim, S.H., "A Model-Based Design and Testing Approach for the UAV Flight Control Computer", KSAS Conference, pp. 630-633, 2015
  3. Kwon, K.Y., Joo, J.S., Kim, T.S., Oh, J.W., Baek, J.H., "A Study on Quality Assurance of Embedded Software Source Codes for Weapon Systems by Improving the Reliability Test Process", Journal of KIISE, Vol. 42, No. 7, pp 860-867, 2015.7 https://doi.org/10.5626/JOK.2015.42.7.860
  4. The MathWorks, "Control Algorithm Modeling Guidelines Using Matlab, Simulink, and Stateflow Version 3.0," The Mathworks Inc., 2012
  5. The MathWorks, "Do Qualification Kit, Model-Based Design Workflow for DO-178C," The Mathworks Inc., 2015
  6. The MathWorks, "Managing Model-Based Design", The Mathworks Inc, 2015
  7. The MathWorks, "Model Advisor Checks for High-Integrity Modeling Guidelines," The Mathworks Inc., 2015.
  8. The MathWorks, "Simulink Verification and Validation," The Mathworks Inc., 2015.
  9. Han, D.G., Kim Y.G., Yoon, H.S, "Reasearch for Automated Model Test Method of Model-based Software", KSAS Fall Conference, pp. 1208-1209, 2016
  10. Kim, Y.G., Yoon, H.S., Kim, S.H, "Research of the Effects of the Model Style Guidelines for Improving Software Reliability through Dynamic Testing in Model Based Design", KSAS Fall Conference, pp. 1707-1710, 2014.11
  11. Kim, Y.G., Yoon, H.S, "Research on Effects of MAAB Style Guidelines for Weapon System Embedded Software Reliability Improvement," Journal of Korea Institude of Military Science and Technology, Vol. 17, No. 2, pp. 213-222, 2014 https://doi.org/10.9766/KIMST.2014.17.2.213
  12. Yoon. S.H., Kim, Y.W., Hwang, S., "Validation and Verification of Model-based Development", KSAS Fall Conference, pp. 1101-1104, 2015.11
  13. DAPA, "무기체계 소프트웨어 개발 및 관리 매뉴얼 제2016-4호," 방위사업청(DAPA), 2016
  14. Cho, S.O., Choi, K.Y., "A Study on Validation of OFP for UAV using Auto Code Generation", Journal of The Korean Society for Aeronautical and Space Sciences, Vol. 37, No. 4, pp. 359-366, 2009.4 https://doi.org/10.5139/JKSAS.2009.37.4.359