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

논문 기본 정보

저자정보
(고려대학교) (고려대학교) (고려대학교)
저널정보
Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2017 한국소프트웨어종합학술대회 논문집
오류 신고하기

피인용 0

검색

    초록·키워드

    실시간성을 갖는 안전필수 시스템에서 실시간 요구사항의 만족 실패는 사고를 초래할 수 있고 심각한 인명 피해나 재산상의 피해를 야기할 수 있다. 스케줄 가능성 분석은 이러한 시스템의 행위를 예측하기 위한 방법으로 실시간 시스템의 실시간성 만족을 확인하기 위한 좋은 방법이다. 본 논문에서는 제약 만족 문제 방식(Constraint Satisfaction Problem)을 통한 스케줄 가능성 분석 방법을 제안한다. 스케줄러의 행위 분석을 통해 ... 전체 초록 보기

    최근 본 자료 전체보기

      UCI(KEPA) : I410-ECN-0101-2018-569-001726051