SysML

UMLを拡張して、ソフトウェアだけでなく、ハードウェアや機械・電気などを含むシステム全体を記述できるようにしたモデリング言語。要求図やパラメトリック図などを加え、システムズエンジニアリングで要求、構造、振る舞いを表すのに使う。

ハードウェア、ソフトウェア、人、設備などを含むシステム全体を対象に、要求、構造、振る舞い、制約を図で表すためのモデリング言語。UMLを拡張してOMGが標準化し、要求図やパラメトリック図などを加えている。モデルベースシステムズエンジニアリング（MBSE）で使われる。

UMLを拡張したシステムエンジニアリング向けのモデリング言語。要求図、ブロック定義図、パラメトリック図など、ソフトウェアに限らずハードウェアを含むシステム全体のモデリングに対応する。組込みシステムのシステム設計で活用される。

OMGが策定した、システムズエンジニアリングのためのモデリング言語。UMLを拡張し、要求図、ブロック定義図、内部ブロック図、パラメトリック図などで、ハードウェアとソフトウェアを含むシステム全体の要求・構造・振る舞いを記述する。

オブジェクト指向ソフトウェアの設計をモデル化するための標準的な記法。クラス図、シーケンス図、ステートマシン図、ユースケース図などの13種類の図を提供する。組込みシステムでは特に状態遷移図やシーケンス図が活用される。

実体（エンティティ）、属性（アトリビュート）、関連（リレーションシップ）の3要素でデータの構造を視覚的に表現する図法。データベースの概念設計や業務分析において、データ間の関係を明確にするために用いられる。

オブジェクトやシステムがとりうる状態と、イベントによる状態間の遷移を図式化したもの。組込みシステムや通信プロトコルなど、状態管理が重要なシステムの設計で多用される。UMLではステートマシン図として標準化されている。

組込みシステムにおいて、ハードウェアとソフトウェアの機能分担を最適化しながら並行して設計を進める手法。性能、コスト、消費電力、開発期間などの制約を総合的に考慮してトレードオフを判断する。

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

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