계층적 실시간 시스템 스케줄링 검증을 위한 정형적 프레임워크
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 안소진 | - |
dc.contributor.author | 황대연 | - |
dc.contributor.author | 최진영 | - |
dc.date.accessioned | 2021-09-05T00:06:45Z | - |
dc.date.available | 2021-09-05T00:06:45Z | - |
dc.date.created | 2021-06-16 | - |
dc.date.issued | 2015 | - |
dc.identifier.issn | 2383-6318 | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/96002 | - |
dc.description.abstract | 하드웨어가 많이 발전하면서 안전성 확보가 필요한 실시간 임베디드 시스템에도 가상화 기술이 적용되고 있는 추세다. 그러나 가상화 기술 적용 시, 스케줄러가 여럿 존재하게 되고, 이 스케줄러들 사이에 계층이 존재하게 되어 스케줄링 중 오류가 발생할 수 있는 단점이 있다. 임베디드 시스템의 제어 소프트웨어 같은 경우, 작은 문제로도 인명적, 재산적 피해가 클 수 있어 반드시 안전성 확보 여부를 검증해야 한다. 실시간 임베디드 시스템에 스케줄러가 계층적으로 존재하는 경우, 안전성 확보를 위해 반드시 스케줄링 가능성을 확인해야 한다. 본 논문은 여러 수준의 계층적 스케줄링 시스템을 정형기법(formal methods)을 사용하여 스케줄링 가능성을 확인할 수 있는 프레임워크를 소개한다. | - |
dc.language | Korean | - |
dc.language.iso | ko | - |
dc.publisher | 한국정보과학회 | - |
dc.title | 계층적 실시간 시스템 스케줄링 검증을 위한 정형적 프레임워크 | - |
dc.title.alternative | A Framework Using UPPAAL to Verify Schedulability of Hierarchical Scheduling Systems | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | 최진영 | - |
dc.identifier.bibliographicCitation | 정보과학회 컴퓨팅의 실제 논문지, v.21, no.9, pp.604 - 609 | - |
dc.relation.isPartOf | 정보과학회 컴퓨팅의 실제 논문지 | - |
dc.citation.title | 정보과학회 컴퓨팅의 실제 논문지 | - |
dc.citation.volume | 21 | - |
dc.citation.number | 9 | - |
dc.citation.startPage | 604 | - |
dc.citation.endPage | 609 | - |
dc.type.rims | ART | - |
dc.identifier.kciid | ART002028800 | - |
dc.description.journalClass | 2 | - |
dc.description.journalRegisteredClass | kci | - |
dc.subject.keywordAuthor | 계층적 스케줄링 시스템 | - |
dc.subject.keywordAuthor | 스케줄링 가능성 검증 프레임워크 | - |
dc.subject.keywordAuthor | 정형기법 | - |
dc.subject.keywordAuthor | UPPAAL | - |
dc.subject.keywordAuthor | hierarchical scheduling system | - |
dc.subject.keywordAuthor | schedulability verification framework | - |
dc.subject.keywordAuthor | formal methods | - |
dc.subject.keywordAuthor | UPPAAL | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
(02841) 서울특별시 성북구 안암로 14502-3290-1114
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.