ハードウェア・ソフトウェアの協調設計

システムの振る舞いを有限個の状態とイベントによる遷移で表現し設計する手法。状態遷移図や状態遷移表を用いて、状態の漏れや意図しない遷移を検出する。組込みシステムのプロトコル処理や制御ロジックで多用される。

バッテリ駆動の組込み機器で重要な消費電力を抑える設計手法。クロック周波数の動的制御（DVFS）、スリープモードの活用、不要な回路のクロックゲーティングなど、ハードウェアとソフトウェアの両面からアプローチする。

システム要件を分析し、ハードウェアで実現する機能とソフトウェアで実現する機能を振り分ける設計工程。性能要件、コスト、消費電力、開発期間、柔軟性などを考慮して最適な分割を決定する。コデザインの中核的な活動である。

システム要件を実現するために、ハードウェア、ソフトウェア、ネットワーク、データベースなどの構成要素と、それらの関係・インタフェースを決定する設計工程。要件定義とソフトウェア詳細設計の間に位置づけられる。

ソフトウェアシステムの全体構造を定義するもの。構成要素（コンポーネント）、それらの関係、外部環境とのインタフェース、設計・進化の原則を含む。品質特性のトレードオフを考慮して決定する。

ソフトウェアを独立性の高いモジュール（部品）に分割する設計技法。モジュール強度（凝集度）を高く、モジュール結合度を低くすることが設計原則。STS分割、TR分割、共通機能分割などの技法がある。