실시간 병렬 시스템 모델링 기법인 CODARTS는 다수의 동시작업으로 이루어진 시스템을 설계하기 위해 사용된다. 그러나 CODARTS에서 생성되는 모델들은 정적인 측면만을 강조한다. 본 논문에서...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82310005
1998
Korean
004
학술저널
530-532(3쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
실시간 병렬 시스템 모델링 기법인 CODARTS는 다수의 동시작업으로 이루어진 시스템을 설계하기 위해 사용된다. 그러나 CODARTS에서 생성되는 모델들은 정적인 측면만을 강조한다. 본 논문에서...
실시간 병렬 시스템 모델링 기법인 CODARTS는 다수의 동시작업으로 이루어진 시스템을 설계하기 위해 사용된다. 그러나 CODARTS에서 생성되는 모델들은 정적인 측면만을 강조한다. 본 논문에서는 CODARTS에서 생성된 모델의 동적인 측면-모델의 실행-을 강조하기 위해, CODARTS의 결과물을 Petri net으로의 변환규칙을 제안한다. CODARTS 모델에서 변환된 Petri net의 특징인 reachable, safeness, deadlock 등을 분석함으로서 더 나은 실시간 병렬시스템의 설계 및 분석을 유도할 수 있다.
목차 (Table of Contents)
이진 결정 다이어그램의 재순서화를 이용한 Formal verification 시스템인 VIS의 성능 향상
SAVE : 소프트웨어 모델을 사용한 효율적인 실시간 하드웨어 검증 시스템
멀티프로그래밍 환경에서의 분기 예측 (pp.12-14)