메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
본 논문은 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 처리기 내에서 도달가능한 시스템 상태를 도달성 트리를 이용하여 분석하였다.

목차

요약

1. 개요

2. Time Management의 기능

3. 패트리 망을 이용한 RTC 처리기의 모델링 및 분석

4. 결론

참고문헌

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017912259