인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
DBpia AI
AI 에이전트
AI 아이디어
AI 리더
AI 뷰어
Citeasy
크롬 서지관리 다운로드
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 저자정보
피인용 0
초록·키워드
임무 수행에 있어서 시간적인 제약이 매우 중요한 영향을 미치는 시스템들의 경우, 한정된 자원 내에서 처리해야 하는 작업들의 시간적 비용을 고려한 스케줄링 능력이 필수적인 요소로 인식되고 있다. 따라서 이러한 종류의 시스템 개발을 위해서는 개발 초기 단계에서 결정된 시간적인 제약 정보, 가용자원, 작업 처리 비용을 고려한 모델을 기반으로 검증이 이루어 져야 한다. 이러한 검증을 위해서는 앞에서 언급한 자원, 비용, 시간적 제약 정보들을 표현할 수 있는 모델링 언어가 필요하다. 오늘날 다양한 모델링 언어들을 사용하여 시스템의 실시간성을 검증하려는 많은 연구들이 있어왔다. 그러나 현재까지 제시된 연구 결과는 오늘날 고도로 분산화되고 높은 복잡도를 가지는 시스템들의 실시간성을 표현 및 검증하는데 한계를 가진다. 본 논문에서는 이러한 문제점에 관한 해결책으로 상태 전이 규칙에 따라서 시스템의 상태를 변경하는 패트리넷 기반의 모델링 언어인 Hierarchically Profiled Petri Nets (HPPN)을 제안한다. 또한 본 논문에서는 패트리넷 모델의 마킹 상태와 토큰 상태를 고려하여 다양한 관점에서 시스템의 상태를 해석할 수 있는 분석 기법을 제안한다. 본 논문에서 설명한 모든 분석 기법은 HPPN Tool로 구현 되었다. 본 논문에서 제안하는 모델링 언어의 표현 및 분석 능력은 대륙간 탄도 미사일(ICBM) 시나리오를 기반으로 검증하였다.
본문·목차
인공지능 문자 인식 모델을 통해 추출된 텍스트로, 일부 오타나 오류가 포함될 수 있으나 지속적으로 개선 중입니다.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
최근 본 자료 전체보기
UCI(KEPA) : I410-ECN-0101-2013-569-000548813
