○ 기술명 : 계층적 실시간 스케줄링 시스템의 정형 검증 기술 (Technology for formal verification of hierarchical real-time scheduling system)

○ 기술 설명 

본 기술은 실시간 시스템에 가상화 기술이 적용되어 스케줄러가 계층적으로 존재할 때, 항상 스케줄링 가능한지 확인할 수 있도록 시스템을 쉽게 정형 명세할 수 있는 프레임워크 및 이를 이용한 시스템 정형 검증 기술임 

○ 담당연구실 : 정형기법연구실 (02-3290-3575)