Browse > Article

Time-Based MDA Architecture Modeling for Safety-Critical Systems  

Lim, Yoojin (Graduate School of Business IT, Kookmin University)
Choi, Eunmi (Dept. of Information Systems, Kookmin University)
Publication Information
Journal of Information Technology and Architecture / v.9, no.4, 2012 , pp. 443-453 More about this Journal
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
Model Driven Architecture; Safety-Critical System; Cyber Physical System;
Citations & Related Records
연도 인용수 순위
  • Reference
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.   DOI
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.   DOI
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.