SysML

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

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

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

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

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

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

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

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

入力から出力までに許される時間を定め、それを満たすよう処理方式と資源配分を決めること。ハードリアルタイム系では期限超過が機能不全を意味する。

単位時間あたりに処理すべき量を定め、それを満たすよう処理能力を確保する設計。バッファ量とデータ転送方式の決定を伴う。