Real-Time Systems & Deterministic Scheduling

낮은 우선순위 작업이 자원을 점유하여 높은 우선순위 작업의 실행을 막는 우선순위 역전 현상의 물리적 원인과 이를 해결하기 위한 상속 및 천장 프로토콜의 하드웨어/커널 제어 기법을 다루는 학습 노드입니다.

마감 시간을 엄격히 준수하기 위해 결정론적 우선순위 기반 스케줄링을 수행하는 RTOS 커널의 물리적 문맥 교환과 운영 메커니즘을 다루는 학습 노드입니다.

실시간 작업들이 데이터를 안전하게 교환하고 순서를 맞추기 위해 사용하는 세마포어, 큐, 이벤트의 물리적 공유 메커니즘과 경합 제어를 다 다루는 학습 노드입니다.

소프트웨어 코드가 하드웨어 상에서 실행될 때 발생할 수 있는 가장 긴 물리적 실행 시간을 수리적으로 증명하고 보증하는 시간 복잡도 분석 기술을 다루는 학습 노드입니다.