Journal of Information Technology and Architecture (정보화연구)

Korea Institute of Enterprise Architecture (한국엔터프라이즈아키텍처학회)
권호 표지

Time-Based MDA Architecture Modeling for Safety-Critical Systems

안전필수 시스템을 위한 시간기반 MDA 아키텍처 모델링

  • Lim, Yoojin (Graduate School of Business IT, Kookmin University) ;
  • Choi, Eunmi (Dept. of Information Systems, Kookmin University)
  • 임유진 (국민대학교 비즈니스IT 전문대학원) ;
  • 최은미 (국민대학교 경영정보학부 정보시스템전공)
  • Published : 2012.12.30
⟨ Previous Next ⟩

Abstract

In order to minimize the damage from system failures, systems over various fields are requested to contain the safety-critical features. In this paper, we deliver the considerable issues, especially, in the cyber physical systems that is recently used as a safety-critical system, as well as we propose the model driven architecture based on time as its the important factor. Based on meta-modeling approach, we introduce the time-based architecture which is associated with deadline, transition state, and threshold, and also we work out a design for this by using model driven architecture. We propose a realizable safety-critical architecture by means of showing failure handling components with safety transaction model from the meta-model. In the detailed models and the example, we design a basic safety processing state, a multiple safety processing state, and a compound safety processing state for completing the safety-critical system architecture.

다양한 분야의 시스템들은 시스템 오류에 인한 피해의 최소화를 목적으로 안전필수 특성을 가지도록 요구된다. 본 논문에서, 안전필수 시스템으로 많이 연구되는 사이버물리시스템이 그 특성을 가지기위해 고려해야하는 이슈와 주요 요소인 시간을 기반으로 모델 지향 아키텍처에 대하여 논의한다. 메타모델링 접근 방식으로 마감시간, 전환상태와 기준치에 연결하여 시간 기반 아키텍처를 제시하고, 이를 모델지향 아키텍처를 이용하여 설계한다. 메타모델로부터 생성된 안전처리 모델과 함께 오류처리 컴포넌트를 사용하여 사이버 물리 시스템 및 시간기반 도메인에 적용 가능한 안전필수 아키텍처를 제시한다. 그리고 안전필수 시스템 설계 시 기본적 안전처리 상태, 다중적 상태, 복합적 상태를 통하여 세부적인 모델과 그 사례를 나타내었다.

Keywords

References

  1. R. Soley, OMG Staff Strategy Group; "Model Driven Architecture," White Paper, Object Management Group, 27 Nov. 2000.
  2. J. C. Knight, "Safety critical systems: challenges and directions," in Proc. of the 24th International Conference on Software Engineering (ICSE 2002), Vol., No., pp. 547-550, 25-25 May 2002.
  3. "Leadership Under Challenge: Information Technology R&D in a Competitive World," President's Council of Advisors on Science and Technology, ch. 4 Technical Priorities for Networking and Information Technology Research and Development, pp. 31-43, Aug 2007.
  4. "Cyber Physical Systems Virtual Organization," http://www.cps-vo.org
  5. "Advanced Research Technology Embedded Intelligence Systems Joint Undertaking," http://www.artemisju.eu
  6. 정보통신단체표준 TTAK.KO-11.0115 - 0122, 한국정보통신기술협회
  7. E. A. Lee, "Cyber Physical Systems: Design Challenges," 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pp. 363-369, Orlando, FL, U.S.A, 5-7 May 2008.
  8. R. Poovendran, K. Sampigethaya, S. Gupta, I. Lee, K. V. Prasad, D. Corman, and J. Paunicka, "Special Issue on Cyber-Physical Systems," Proceedings of the IEEE, Vol. 100, Iss.1, pp. 6-12, ISSN 0018-9219, Jan. 2012. https://doi.org/10.1109/JPROC.2011.2167449
  9. 김원태, 박승민, "고신뢰성 지원 사이버-물리 시스템 기술 동향," 한국정보기술학회지, 제8권, 제1호, pp. 25-32, ISSN 1598-8619, 2010년 12월.
  10. Y. Tan, S. Goddard, and L. C. Pérez, "A Prototype Architecture for Cyber Physical Systems," ACM SIGBED Review-Special Issue on the RTSS Forum on Deeply Embedded Real-Time Computing, Vol.5, Iss.1, Jan. 2008.
  11. P. Derler, E. A. Lee, and A. S. Vincentelli, "Modeling Cyber-Physical Systems," Proceedings of the IEEE, Vol. 100, Iss.1, pp. 13-28, ISSN 0018-9219, Jan. 2012. https://doi.org/10.1109/JPROC.2011.2160929
  12. D. Riley, E. Eyisi, J. Bai, X. Koutsoukos, Y. Xue, and J. Sztipanovits, "Networked Control System Wind Tunnel (NCSWT) - An evaluation tool for networked multiagent systems," in Proc. of the 4th International ICST Conference on Simulation Tools and Techniques (SIMUTools), pp. 9-18, Barcelona, Spain, 21-25 Mar. 2011.
  13. J. C. Eidson, E. A. Lee, S. Matic, S. A. Seshia, and J. Zou, "Time-centric models for designing embedded cyber-physical systems," Technical Report UCB/EECS-2009-135, EECS Department, University of California, Berkeley, 9 Oct. 2009.
  14. A. Benveniste, "Loosely Time-Triggered Architectures for Cyber-Physical Systems," in Proc. of the Conference on Design, Automation and Test in Europe (DATE '10), pp.3-8, Dresden, Germany, 8-12 Mar. 2010.
  15. A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomason, G. Nordstrom, J. Sprinkle, and P. Volgyesi, "The Generic Modeling Environment," Workshop on Intelligent Signal Processing, Budapest, Hungary, 17 May, 2001.
  16. 나희동, "MDA기반 전사적 아키텍처 매트릭스 설계," 정보기술아키텍처연구, 제4권, 제1호, pp. 19-26, 2007.
  17. Subaji Mohan and Eunmi Choi, "Design and Development of MDA Based CRM System Business Process Meta-Model," 정보기술아키텍처연구, 제6권, 제2호, pp. 123-133, 2009.