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

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

DOI QR Code

Requirements Evaluation Method for Concurrent Development of Embedded System based on Discrete Event System Formalism

내장형 시스템의 동시적 개발을 위한 이산 사건 시스템 형식론 기반 요구사항 평가 방법

  • Received : 2018.03.23
  • Accepted : 2018.05.15
  • Published : 2018.06.30
Download PDF
⟨ Previous Next ⟩

Abstract

As the technology of information and communication has developed over recent years, an embedded system is applied in multiple industries and becomes more complicated. For this reason, embedded system development cost and time are also increased. For decreasing the cost and time, this paper suggests requirement evaluation method for concurrent development of an embedded system based on Discrete Event System(DEVS) Formalism. This paper proposes a method of describing the requirements specification in the form of DEVS atomic model. Also, the paper proposes the evaluator model that compares evaluation target system and the requirements model that is an implementation of requirement specification and proposes the evaluation method using them. In addition, we propose a method to utilize the requirement model created for requirements evaluation in the concurrent development process of the embedded system. As the case study, this paper proceeds requirement evaluation of Kinect depth data processing system.

최근 정보 통신 기술이 발전함에 따라, 내장형 시스템은 여러 산업 분야에 적용되고 있으며 더욱 복잡해지고 있다. 이로 인해, 내장형 시스템의 개발 비용과 시간도 덩달아 증가하고 있다. 본 논문에서는 내장형 시스템의 개발 비용 및 시간을 절감하기 위해서 내장형 시스템의 동시적 개발을 위한 이산 사건 시스템(DEVS) 형식론에 기반 요구사항 평가 방법을 제안한다. 본 논문에서는 요구사항 명세를 DEVS 원자 모델의 형태로 기술하는 방법을 제안하며, 이를 개발하여 만든 요구사항 모델과 요구사항 평가 대상 시스템을 비교하는 평가자 모델 및 이들을 활용하는 평가 방법을 제안한다. 또한, 요구사항 평가를 위해 만든 요구사항 모델을 내장형 시스템의 동시적 개발 과정에 활용하는 방법을 제안한다. 제안하는 요구사항 평가 방법에 대한 사례 연구로 키넥트 깊이 정보 처리 시스템에 대한 요구사항 평가를 진행하였다.

Keywords

References

  1. Wolf, W. (2002). What is embedded computing?. Computer, 35(1), 136-137. https://doi.org/10.1109/2.976929
  2. Baron, C., Geffroy, J. C., & Motet, G. (Eds.). (1997). Embedded System Applications. Kluwer Academic Publishers.
  3. Tsai, W. T., Wei, X., Paul, R., Chung, J. Y., Huang, Q., & Chen, Y. (2007). Service-oriented system engineering (SOSE) and its applications to embedded system development. Service oriented computing and applications, 1(1), 3-17. https://doi.org/10.1007/s11761-007-0003-2
  4. Software Engineering Center, Technology Headquarters, Information-technology Promotion Agency, Japan. (2012) "Embedded System Development Process Reference Guide".
  5. Zeigler, B. P., Praehofer, H., & Kim, T. G. (2000). Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems. Academic press.
  6. So-Young Jeong, Young-Won Chang, Cheol-Jung Yoo. (2011). Test Case Generation Technique Based on State Transition Model for Embedded System. The Journal of Korean Institute of Information Technology, 9(4), 11-21. (정소영, 장영원, 유철중. (2011). 임베디드 시스템을 위한 상태 전이 모델 기반 테스트 케이스 생성 기법. 한국정보기술학회논문지, 9(4), 11-21.)
  7. Tsai, W. T., Yu, L., Zhu, F., & Paul, R. (2005). Rapid embedded system testing using verification patterns. IEEE software, 22(4), 68-75.
  8. Kim, T. G., & Park, S. B. (1992, June). The DEVS Formalism: Hierarchical Modular Systems Specification in С++. In Proc of 1992 European Simulation Multiconference (pp. 152-156).
  9. Rumbaugh, J., Jacobson, I., & Booch, G. (2004). Unified modeling language reference manual, the. Pearson Higher Education.
  10. Kamsties, E., & Paech, B. (2000). Surfacing Ambiguity in Natural Language Requirement.
  11. Lightsey, B. (2001). Systems engineering fundamentals. DEFENSE ACQUISITION UNIV FT BELVOIR VA.
  12. Song, H. S., & Kim, T. G. (2010, October). DEVS diagram revised: a structured approach for DEVS modeling. In Proc. European Simulation Conference (Eurosis, Belgium, 2010) (pp. 94-101).