日経エレクトロニクス添付のZIPC試用版をお使いの方へ
日経エレクトロニクス11/5号よりZIPCを活用した「組み込みアカデミー2」が掲載されており、ZIPC試用版が付属されております。
付属の試用版にはマニュアル・サンプルは含まれておりませんので、ご活用されたい方は是非ダウンロードください。
「組み込みアカデミー2」詳細は下記URLをご覧ください。
http://techon.nikkeibp.co.jp/NE/cp2/
ダウンロード内容
マニュアル（一部）
サンプル（一部）
チュートリアル
状態遷移表手法書入門
組み込みアカデミー2の主な内容（予定）
モデル・ベース開発とは何か マイコンボードでモデルを動かす
いきなり作り込まない、いきなり全てをテストしない（要求定義モデルの設計/検証）
キッチンタイマのシナリオを書き出す
シナリオを基に状態遷移図を描く
状態遷移図から状態遷移表をおこす
モデル・シミュレータでレビューする
見つけたモレヌケからシナリオとモデルを更新する
カバレッジを確認する
システムの構造と振る舞いをおさえる（アーキテクチャ設計モデルの設計/検証）
ハードウェアを確認する
タスク構造を設計する
タスク毎の状態遷移モデルを作る
状態遷移マトリクステストを行う
無視/不可の妥当性をレビューする
タスク間のインターフェースを決める
モデル・シミュレータで状態遷移パステストを行う
カバレッジを確認する
モデル・ベース開発ならではのデバッグ手法
タイミングの検証
ランダムリスト
モデルから実機へ移行する（詳細設計モデルの設計/検証）
プラットフォーム依存コードの開発
キードライバの作成
LEDドライバの作成
プラットフォーム非依存コードと依存コードとの結合
一歩進んだ検証手法
