본 논문은 ATM(Abstract Timed Machine)에서의 시간 명세 방법에 대해서 기술한다. ATM은 임무 위급 시스템과 같은 실시간 시스템을 명세, 분석 및 검증 할 수 있는 LTS(Labeled Transition System) 정형 기법이...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82312749
2000
Korean
004
학술저널
576-578(3쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
본 논문은 ATM(Abstract Timed Machine)에서의 시간 명세 방법에 대해서 기술한다. ATM은 임무 위급 시스템과 같은 실시간 시스템을 명세, 분석 및 검증 할 수 있는 LTS(Labeled Transition System) 정형 기법이...
본 논문은 ATM(Abstract Timed Machine)에서의 시간 명세 방법에 대해서 기술한다. ATM은 임무 위급 시스템과 같은 실시간 시스템을 명세, 분석 및 검증 할 수 있는 LTS(Labeled Transition System) 정형 기법이다. 실시간 시스템이 요구하는 많은 속성 중 특히 시간 제약에 대해서는 사용자나 개발자 모두에게 명확하고 간결한 명세기법이 요구된다. ATM에서는 전이와 모드의 시간 제약을 간략하게 표현할 수 있는 방법을 제공한다. 또한 주기적 동작을 패턴인식하여 보여주는 주기 주제 모드를 통하여 주기와 관련된 동작과 시간 제약을 쉽게 파악할 수 있게 하며 주기적 동작을 선택적으로 간략화하는 방법을 제공한다. 본 논문은 ATM의 다양한 시간에 대한 요구사항에 대한 표현방법을 기술하고 예를 통해서 살펴본다.
목차 (Table of Contents)
모빌 컴퓨팅 환경에서 실시간 스케줄링을 고려하며 평균 대기 시간을 최소화 시키는 브로드캐스트(Broadcast) 스케줄링 기법
분산 이동 시스템에서 인과적 메시지 전달을 위한 효율적인 알고리즘
IMT - 2000 시스템을 위한 GPRS 기반 WAP 기술