초록

용어보기논문에서 용어와 풀이말을 자동 추출한 결과로, 시범 서비스 중입니다. AI-Helper

본 논문은 ATM(Abstract Timed Machine)에서의 시간 명세 방법에 대해서 기술한다. ATM은 임무 위급 시스템과 같은 실시간시스템을 명세, 분석 및 검증 할 수 있는 LTS(Labeled Transition System) 정형 기법이다. 실시간 시스템이 요구하는 많은 속성 중 특히 시간 제약에 대해서는 사용자나 개발자 모두에게 명확하고 간결한 명세기법이 요구된다. ATM에서는 전이와 모드의 시간 제약을 간략하게 표현할 수 있는 방법을 제공한다. 또한 주기적 동작을 패턴인식하여 보여주는 주기 주제 모드를 통하여 주기와 관련된 동작과 시간 제약을 쉽게 파악할 수 있게 하며 주기적 동작을 선택적으로 간략화하는 방법을 제공한다. 본 논문은 ATM의 다양한 시간에 대한 요구사항에 대한 표현방법을 기술하고 예를 통해서 살펴본다.

본 논문은 ATM(Abstract Timed Machine)에서의 시간 명세 방법에 대해서 기술한다. ATM은 임무 위급 시스템과 같은 실시간시스템을 명세, 분석 및 검증 할 수 있는 LTS(Labeled Transition System) 정형 기법이다. 실시간 시스템이 요구하는 많은 속성 중 특히 시간 제약에 대해서는 사용자나 개발자 모두에게 명확하고 간결한 명세기법이 요구된다. ATM에서는 전이와 모드의 시간 제약을 간략하게 표현할 수 있는 방법을 제공한다. 또한 주기적 동작을 패턴인식하여 보여주는 주기 주제 모드를 통하여 주기와 관련된 동작과 시간 제약을 쉽게 파악할 수 있게 하며 주기적 동작을 선택적으로 간략화하는 방법을 제공한다. 본 논문은 ATM의 다양한 시간에 대한 요구사항에 대한 표현방법을 기술하고 예를 통해서 살펴본다.

AI 본문요약

엑셀 다운로드 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

• 연구 주제
• 연구 방법
• 연구 결과

문제 정의

• 본 논문에서는 순환공학 과정에서 실시간 시스템을 명세하기 위해 개발된 ATM의 기본 개념과 ATM의 속성 중 시간을 명세하는 방법에 대하여 기술하였다. 특히, 실시간 시스템이 가진 주기적 성질을 명확히 정의하고 표현하는 방법을 보였다.
• 본 논문은 새로운 정형 떵세 언어인 ATM을 기술하不- ATM c] 가신 여러 실시간적 특성 중 시간성에 관해 자세한 성의와 표인 예를 기술한다.「상에서는- 서존, 2장에시는 관련연〒, 3장에서는 ATM에 대한 간략한 기술을 하녀, 4장에시는 ATM의 시간 표현을 예제로 살펴본-다.

제안 방법

• 시스템의 명세를 위홍 H Statecahrts[3], Modechart[9j, CSM (Communicating State Machines)[5]f CRSM (Communicating Real time State Machines)[ 1 ], Petri Net[ 10], Timed Petri 기 등과 같"즈- 다양한 성형 기법들이 개발되었디' Mode아um와 CRSM, Timed Petri Nel과 같은 경우는 실시간 시스템이 가진 실시간성에 대한 명세방법을 제장한다. 시간에 관한 명세가 가능한 기존의 징형 기법들은 시산 제약을 전이삼에 레이블로 표현한다.
• 시간에 관한 명세가 가능한 기존의 징형 기법들은 시산 제약을 전이삼에 레이블로 표현한다. 전이의 발생이 가승한 범위를 나타내는 최소, 최대 경계 시간과 전이사 지속되어야 하는 시간 등의 명세방법을 제공한다. 하지만 위와 같은 시간 명세 방법은 시스템의 전이에 관한 것-으로 국한되어 있다.

성능/효과

• 전이의 시간 제약은 네 가지로 나눌 수 있다: 1) 전이에 시간 제약이 없는 경우, 2) 전이의 발생 外능한 기간에 대한 제 '갹, 3) 전이 실행이 지속되어야 하抒 제야, 4) 죄소 시간(iower- bound)과 최대 시간(upper-bound) 사이에 일성한 전이가 기속 (duration) 되어야 한다.
• 본 논문에서는 순환공학 과정에서 실시간 시스템을 명세하기 위해 개발된 ATM의 기본 개념과 ATM의 속성 중 시간을 명세하는 방법에 대하여 기술하였다. 특히, 실시간 시스템이 가진 주기적 성질을 명확히 정의하고 표현하는 방법을 보였다.

후속연구

• 또한 ATM의 추후 연구 주제인 우선순위와 스케쥴링의 정책, 시간과 전이에 대한 확률의 정책들에 대하여 연구를 지속한다. ATM 이 실시간 시스템에 대한 이해 정보와 명확하고 간략한 명세를 제긍할 수 있도록 앞으로 지속적인 연구가 이루어질 것이다.
• ATMe 원시코드 상의 시간 제약뿐 아니라 시스템의 실행 과정에서 포함되는 여러 프로시저나 함수 또는 물리적 장치에 대하여 각각이 가진 시간 제약과 전체 시스템으로서의 시간 제약을 관리하는 스케쥴링 전략을 필요로 한다. 또한 ATM의 추후 연구 주제인 우선순위와 스케쥴링의 정책, 시간과 전이에 대한 확률의 정책들에 대하여 연구를 지속한다. ATM 이 실시간 시스템에 대한 이해 정보와 명확하고 간략한 명세를 제긍할 수 있도록 앞으로 지속적인 연구가 이루어질 것이다.

본문요약 정보가 도움이 되었나요? 예 아니오 제출

이 논문을 인용한 문헌

더보기