Earticle

초록

영어

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.

한국어

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

목차

요약
Abstract
1. 서론
2. 안전필수 시스템의 연구 동향
3. 사이버 물리 시스템 아키텍처
3.1 CPS 아키텍처 및 특성
3.2 시간 기반 아키텍처 사례
4. 시간 기반 아키텍처 모델링
4.1 시간 기반 아키텍처의 필요성
4.2 시간 기반 상태정보 대응
5. 시간 기반 상태전환 MDA 모델링
5.1 MDA의 메타 모델링
5.2 시간기반 상태 전환 MDA 모델
5.3 상태 변화의 형태 모델
5.4 안전필수 시스템 적용 모델의 예
6. 결론
참고문헌

키워드

저자

• 임유진 [ Yoojin Lim | 국민대학교 비즈니스IT 전문대학원 ]
• 최은미 [ Eunmi Choi | 국민대학교 경영정보학부 정보시스템전공 ] 교신저자

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  정보화연구 [정보화연구(구 정보기술아키텍처연구)]

• 간기

  계간

• pISSN

  1738-382X

• 수록기간

  2004~2026

• 등재여부

  KCI 등재

• 십진분류

  KDC 325 DDC 658