リアルタイム組み込みソフトウェア開発の理論と実践(2)
－リアルタイム制御理論とそれに基づいたロボット駆動プログラムの実装－

研修コースの概要

IoTの普及にともない、ますます組み込みソフトウェア開発の重要性が高まっています。しかし、そのようなソフトウェアの開発には非常に広範囲な分野にわたる深い知識と技術が必要で、優れた開発者を育てるのは大変難しいことが知られています。各3日間から成る2つの連続したコース348Lおよびコース348Mはリアルタイム組込みソフトウェア開発に必要な知識と技術を理論から実践まで一貫して学ぶことを目的としたカリキュラムです。前コース348Lは「基礎編」、そして本コース348Mは「応用編」という位置付けです。コース348Mではコース348Lで学習した基礎の知識・技術を基に、以下の学習をします。

1. x64およびARMのISA（命令セットアーキテクチャー）を理解し、それを基にコース348Lで読解したx86上で実装された brickOSをx64（Ubuntu Linux）およびARM（Raspberry PiおよびTOPPERS/EV3RT）に移植したコードを読解します。これによりOSの他プロセッサへの移植法を学習します。
2. リアクティブ・システム（外部からの入力に対して何らかのアクションを起こすシステム）の制御系の仕様記述には多くの場合状態遷移図が使われますが、ここでは状態遷移図による記述法を学び、それを状態遷移テーブルにより機械的にC言語で実装する方法を学習します。さらに状態遷移図のUML（Unified Modeling Language）における拡張版であるステート・チャートにてモデル化する技法を理解します。
3. 組み込みシステムの標準的な駆動法であるControl-Loop型、Event-Triggered型、周期タスク型の３つのタイプの構成を学びそれらの長所･短所を理解します。
4. ハードリアルタイムシステム設計に必要なリアルタイムスケジューリング理論を学習し、高信頼性ハード･リアルタイムシステムの標準スケジューリングアルゴリズムであるRate Monotonicを周期タスク方式によりOS上に複数スレッドを使い実装する方法を学びます。そして複数スレッドを使った場合に起こる同期問題に対する排他制御について学習します。

このコースの特徴は単に座学として理論だけを学ぶのではなく、コースを通したハンズオン演習で、学習した知識・技術を全て使いLego社MindStorms® EV3で作られたロボット上にTippySrというロボットの動作仕様を実現する制御・駆動系のプログラムを実装します。講義で新たな知識・技術を学ぶごとにそれを利用した演習として、TippySrの一部ずつを段階的に実装していきます。そのようにして最後にコースで学習した知識・技術を全て駆使したロボットのプログラムを完成させます。

この研修では次のスキルが習得できます