組込みシステムの「現実的」で「解決困難」な問題に正面から取り組むワークブック。モデル駆動型開発によるシステムの要求分析からコード生成・検証までを網羅。「非機能要件」等、現実的な問題の扱いについても明示した組込み開発者必携の書。