지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제38권 제6호
- 발행연도
- 2011.6
- 수록면
- 317 - 329 (13page)
이용수
초록· 키워드
오류제보하기
임무 수행에 있어서 시간적인 제약이 매우 중요한 영향을 미치는 시스템들의 경우, 한정된 자원 내에서 처리해야 하는 작업들의 시간적 비용을 고려한 스케줄링 능력이 필수적인 요소로 인식되고 있다. 따라서 이러한 종류의 시스템 개발을 위해서는 개발 초기 단계에서 결정된 시간적인 제약 정보, 가용자원, 작업 처리 비용을 고려한 모델을 기반으로 검증이 이루어 져야 한다. 이러한 검증을 위해서는 앞에서 언급한 자원, 비용, 시간적 제약 정보들을 표현할 수 있는 모델링 언어가 필요하다. 오늘날 다양한 모델링 언어들을 사용하여 시스템의 실시간성을 검증하려는 많은 연구들이 있어왔다. 그러나 현재까지 제시된 연구 결과는 오늘날 고도로 분산화되고 높은 복잡도를 가지는 시스템들의 실시간성을 표현 및 검증하는데 한계를 가진다. 본 논문에서는 이러한 문제점에 관한 해결책으로 상태 전이 규칙에 따라서 시스템의 상태를 변경하는 패트리넷 기반의 모델링 언어인 Hierarchically Profiled Petri Nets (HPPN)을 제안한다. 또한 본 논문에서는 패트리넷 모델의 마킹 상태와 토큰 상태를 고려하여 다양한 관점에서 시스템의 상태를 해석할 수 있는 분석 기법을 제안한다. 본 논문에서 설명한 모든 분석 기법은 HPPN Tool로 구현 되었다. 본 논문에서 제안하는 모델링 언어의 표현 및 분석 능력은 대륙간 탄도 미사일(ICBM) 시나리오를 기반으로 검증하였다.
목차
요약
Abstract
1. 연구배경
2. HPPN 기본 개념
3. 분석
4. 실험 및 평가
5. 결론
참고문헌
참고문헌 (8)
참고문헌 신청
1. [학술지(정기간행물)] - J.A. Stankovic / 1990 / What Is Predictability for Real-Time Systems / J. Real-time Systems 2
2. [학술대회논문] - P. Küngas / 2005 / Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies / In: Proceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation
3. [단행본] - Matthew Hennessy / / Algebraic Theory of Processes / The MIT Press
4. [기타자료] - Jan Joris Vereijken / 1997 / Discrete-time process algebra / Eindhoven : Eindhoven University of Technology
5. [학술지(정기간행물)] - M. Ajmone-Marsan / 1989 / Stochastic Petri Nets: an elementary introduction / Lecture Notes in Computer Science 424 : 1 ~ 29
2. [학술대회논문] - P. Küngas / 2005 / Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies / In: Proceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation
3. [단행본] - Matthew Hennessy / / Algebraic Theory of Processes / The MIT Press
4. [기타자료] - Jan Joris Vereijken / 1997 / Discrete-time process algebra / Eindhoven : Eindhoven University of Technology
5. [학술지(정기간행물)] - M. Ajmone-Marsan / 1989 / Stochastic Petri Nets: an elementary introduction / Lecture Notes in Computer Science 424 : 1 ~ 29
이 논문의 저자 정보
이 논문과 함께 이용한 논문
대기행렬 페트리넷을 이용한 웹서비스 시스템 분석 방법
심규박
,
임재걸
,
이계영
외 1명
멀티미디어학회논문지
2011
.11
Supervisory Controller Design to Enforce Reversibility and Liveness in Colored Petri Nets
Aybin Ayba
,
Mustafa Çimen
International Journal of Control Automation and Systems
2007
.08
Stochastic Petri Nets을 이용한 시스템 분석
최훈
,
Kisho
,
S T
외 1명
한국정보과학회 학술발표논문집
1993
.10
멀티프로세서 실시간 스케줄링에서 오프라인 동적 전압조절 기법
한상철
,
박민규
,
박문주
정보과학회논문지 : 시스템 및 이론
2013
.12
혼합 임계 사이버 물리 시스템을 위한 실시간성 지원 연구 조사
이재우
,
이지연
,
신인식
정보과학회지
2013
.12
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-000548813