본 논문은 CROS의 Real Time Clock 처리기에 관하여 기술하고, 이미 구현되어 있는 Real Time Clock 처리기를 petri net을 이용하여 modelling하고 분석하는 방법에 관하여 기술하였다. Petri net은 concurrency를 ...

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82305336
1988
Korean
004
학술저널
389-392(4쪽)
0
상세조회0
다운로드본 논문은 CROS의 Real Time Clock 처리기에 관하여 기술하고, 이미 구현되어 있는 Real Time Clock 처리기를 petri net을 이용하여 modelling하고 분석하는 방법에 관하여 기술하였다. Petri net은 concurrency를 ...
본 논문은 CROS의 Real Time Clock 처리기에 관하여 기술하고, 이미 구현되어 있는 Real Time Clock 처리기를 petri net을 이용하여 modelling하고 분석하는 방법에 관하여 기술하였다. Petri net은 concurrency를 가진 system을 modelling하거나 비동기적으로 발생하는 event등을 modelling하는데 유용하며 TDX-10과 같은 대형의 system에서 발생될 수 있는 여러가지 문제점을 분석하는 방법들을 제공할 수 있다. 이 논문에서는 Real Time Clock 처리기를 개발하는 과정에서 제기되었던 타이머 자료구조의 탐색 시간(search time) 최소화를 위한 자료 구조를 기술하였으며, 전체 Real Time Clock 처리기 내에서 도달가능한 시스템 상태를 도달성 트리를 이용하여 분석하였다.
목차 (Table of Contents)
자료 종속관계를 이용한 프로그램 복잡도 측정에 관한 연구
자료흐름도로부터 실행가능한 명세를 작성하기 위한 명세 언어의 설계 및 구현