本セミナでは，OSを使用することで生まれるタスクの概念を説明した後で，リアルタイムOS（RTOS）が提供するリアルタイム機能を中心に，その原理と使い方について説明する．コンテキスト・スイッチング・メカニズム，排他制御，メッセージ通信などについて特定のリアルタイムOSに依存しない形で説明する．プライオリティ・インバージョンとその回避方法，割り込みハンドラとタスクとの通信方法についても具体的に説明する．リアルタイムOSはオーバヘッドでしかないという誤解を解消するために，リアルタイムOSを使用することでデッドラインを守れるようになる事例を示して，リアルタイムOSの正しい使い方を説明する．また，リアルタイムOSを使用しない場合の例として，サイクリック・エグゼクティブ・アーキテクチャとハードウェア・スレッドを使う方法も説明する．
　モデル検査ツールLTSAを使用してマルチタスクシステムにおける動作モデル構築法の説明をする．また、タイミング解析ツールCheddar等を紹介する．これらのツールを使用することでバグのない設計をする方法の説明する．