SysML

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

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

プロセッサのアドレス空間におけるメモリやI/Oデバイスの配置を示す図表。ROM、RAM、周辺デバイスのレジスタなどがどのアドレスに割り当てられているかを定義する。組込みシステム設計の基本となる。

システムの状態とイベントによる状態間の遷移を図式化したもの。UMLのステートマシン図やMealy/Moore型の状態機械で表現される。組込みシステムの動作仕様記述に広く使用され、状態遷移表と組み合わせてテストケースの導出にも活用される。

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

オブジェクト指向のソフトウェア設計を視覚的に表現するための標準化された表記法。クラス図、シーケンス図、ユースケース図、アクティビティ図、ステートマシン図など複数のダイアグラムで構成され、システムの構造や振る舞いを多角的に表現できる。