Chapter 711. 실시간 시스템 개론 (Introduction to Real-Time Systems) Chapter 711. 실시간 시스템 개론 (Introduction to Real-Time Systems) 711.1실시간 시스템의 정의 711.2실시간 시스템의 발전 역사 711.3실시간 시스템의 분류 711.4경성 실시간 시스템(Hard Real-Time) 711.5연성 실시간 시스템(Soft Real-Time) 711.6확고 실시간 시스템(Firm Real-Time) 711.7시간 제약 조건의 정의 711.8마감 시간(Deadline) 711.9주기(Period)와 빈도(Frequency) 711.10지연 시간(Latency) 711.11지터(Jitter) 711.12응답 시간(Response Time) 711.13실시간 운영체제(RTOS)의 개요 711.14범용 운영체제와 RTOS의 차이 711.15RTOS의 핵심 요구 사항 711.16결정론적(Deterministic) 동작 711.17예측 가능성(Predictability) 711.18선점형(Preemptive) 스케줄링 711.19비선점형(Non-Preemptive) 스케줄링 711.20실시간 태스크 모델 711.21주기적 태스크(Periodic Task) 711.22비주기적 태스크(Aperiodic Task) 711.23산발적 태스크(Sporadic Task) 711.24태스크 우선순위 할당 711.25고정 우선순위와 동적 우선순위 711.26인터럽트 처리 711.27인터럽트 지연 시간 711.28중첩 인터럽트 711.29인터럽트 서비스 루틴(ISR) 설계 711.30인터럽트와 태스크 간 동기화 711.31문맥 교환(Context Switch) 711.32문맥 교환 오버헤드 711.33문맥 교환 시간 측정 711.34동기화 메커니즘 711.35뮤텍스(Mutex) 711.36세마포어(Semaphore) 711.37스핀락(Spinlock) 711.38우선순위 역전(Priority Inversion) 문제 711.39우선순위 상속 프로토콜(PIP) 711.40우선순위 천장 프로토콜(PCP) 711.41태스크 간 통신 711.42메시지 큐(Message Queue) 711.43메일 박스(Mailbox) 711.44공유 메모리 711.45이벤트 플래그 711.46메모리 관리 711.47정적 메모리 할당 711.48동적 메모리 할당의 문제점 711.49메모리 풀(Memory Pool) 711.50실시간 시스템의 시간 관리 711.51시스템 틱과 타이머 711.52고분해능 타이머 711.53시간 동기화 711.54워치독 타이머 711.55실시간 시스템의 시간 분석 711.56최악 수행 시간(WCET) 분석 711.57정적 WCET 분석 711.58동적 WCET 측정 711.59스케줄 가능성 분석(Schedulability Analysis) 711.60실시간 시스템의 안전성 711.61고장 허용(Fault Tolerance) 711.62중복(Redundancy) 기법 711.63안전 무결성 수준(SIL) 711.64실시간 시스템의 검증과 인증 711.65공식 검증(Formal Verification) 711.66모델 검사(Model Checking) 711.67실시간 시스템의 하드웨어 플랫폼 711.68마이크로컨트롤러 기반 RTOS 711.69마이크로프로세서 기반 RTOS 711.70멀티코어와 실시간 시스템 711.71멀티코어 스케줄링 711.72캐시 간섭과 예측 불가능성 711.73코어 격리(Core Isolation) 711.74로봇 제어 루프와 실시간 요구 사항 711.75모터 제어의 실시간 요구 711.76센서 데이터 수집의 실시간 요구 711.77경로 계획의 실시간 요구 711.78드론 비행 제어의 실시간 요구 711.79실시간 시스템 설계 방법론 711.80동시성 설계 패턴 711.81실시간 소프트웨어 아키텍처 711.82실시간 시스템 관련 국제 표준 711.83실시간 시스템 기술 동향