학술논문
C-DEVS형식론을 이용한 실시간 이산사건 제어시스템의 논리 해석 기법
이용수 0
- 영문명
- Logical Analysis of Real-time Discrete Event Control Systems Using Communicating DEVS Formalism
- 발행기관
- 한국시뮬레이션학회
- 저자명
- 송해상(HAESANG SONG)김탁곤(Tag-Gon Kim)
- 간행물 정보
- 『한국시뮬레이션학회 논문지』제21권 제4호, 35~46쪽, 전체 12쪽
- 주제분류
- 공학 > 기타공학
- 파일형태
- 발행일자
- 2012.12.30
4,240원
구매일시로부터 72시간 이내에 다운로드 가능합니다.
이 학술논문 정보는 (주)교보문고와 각 발행기관 사이에 저작물 이용 계약이 체결된 것으로, 교보문고를 통해 제공되고 있습니다.
국문 초록
실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다.
영문 초록
As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.
목차
1. 서론
2. C-DEVS 형식론 및 해석기법
3. 적용사례: 건널목 제어시스템(RRC)의 안전성 및 필연성 해석
4. 실험 결과
5. 결 론
참고문헌
키워드
해당간행물 수록 논문
- 네트워크 포트스캔의 위험에 대한 정량화 방법
- 개인 병원의 부분 예약제 도입을 위한 시뮬레이션 분석 사례
- C-DEVS형식론을 이용한 실시간 이산사건 제어시스템의 논리 해석 기법
- 유한용량 자동생산 시스템의 효율적인 운용을 위한 시뮬레이션 기반 2단계 은행가 알고리즘(BA) 설계 및 성능분석
- 조립 및 정비에 대한 가상 모의 기술
- 무장헬기 임무절차 수립 및 임무하중 분석 연구
- 지상무기체계 교전 모의를 위한 에이전트 기반 시뮬레이션 시스템 아키텍처 설계 연구
- 센서 네트워크를 위한 계층적 라우팅 프로토콜의 성능 분석
- 강화 및 진화 학습 기능을 갖는 에이전트 기반 함정 교전 시뮬레이션
- 상수 공정 시간을 갖는 라인 생산 시스템에서 DBR과 CONWIP의 성능 비교 분석
참고문헌
교보eBook 첫 방문을 환영 합니다!
신규가입 혜택 지급이 완료 되었습니다.
바로 사용 가능한 교보e캐시 1,000원 (유효기간 7일)
지금 바로 교보eBook의 다양한 콘텐츠를 이용해 보세요!