Detailed Information

Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

계층적 실시간 시스템 스케줄링 검증을 위한 정형적 프레임워크A Framework Using UPPAAL to Verify Schedulability of Hierarchical Scheduling Systems

Other Titles
A Framework Using UPPAAL to Verify Schedulability of Hierarchical Scheduling Systems
Authors
안소진황대연최진영
Issue Date
2015
Publisher
한국정보과학회
Keywords
계층적 스케줄링 시스템; 스케줄링 가능성 검증 프레임워크; 정형기법; UPPAAL; hierarchical scheduling system; schedulability verification framework; formal methods; UPPAAL
Citation
정보과학회 컴퓨팅의 실제 논문지, v.21, no.9, pp.604 - 609
Indexed
KCI
Journal Title
정보과학회 컴퓨팅의 실제 논문지
Volume
21
Number
9
Start Page
604
End Page
609
URI
https://scholar.korea.ac.kr/handle/2021.sw.korea/96002
ISSN
2383-6318
Abstract
하드웨어가 많이 발전하면서 안전성 확보가 필요한 실시간 임베디드 시스템에도 가상화 기술이 적용되고 있는 추세다. 그러나 가상화 기술 적용 시, 스케줄러가 여럿 존재하게 되고, 이 스케줄러들 사이에 계층이 존재하게 되어 스케줄링 중 오류가 발생할 수 있는 단점이 있다. 임베디드 시스템의 제어 소프트웨어 같은 경우, 작은 문제로도 인명적, 재산적 피해가 클 수 있어 반드시 안전성 확보 여부를 검증해야 한다. 실시간 임베디드 시스템에 스케줄러가 계층적으로 존재하는 경우, 안전성 확보를 위해 반드시 스케줄링 가능성을 확인해야 한다. 본 논문은 여러 수준의 계층적 스케줄링 시스템을 정형기법(formal methods)을 사용하여 스케줄링 가능성을 확인할 수 있는 프레임워크를 소개한다.
Files in This Item
There are no files associated with this item.
Appears in
Collections
School of Cyber Security > Department of Information Security > 1. Journal Articles

qrcode

Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher CHOI, Jin Young photo

CHOI, Jin Young
정보보호학과
Read more

Altmetrics

Total Views & Downloads

BROWSE