モデルに基づくシステムの予測と制御 第4講

SysMLダイアグラム
◯要求図(requirementdiagram)
 ∟要求のトレーサビリティをサポ ートするために,テキストベースの要求と,他の要求,設計要 素,テストケースとの関係を表す。
◯アクティビティ図(activitydiagram)
 ∟入力,出力,および制御の 使用可能性に基づくアクションの順序付けと,アクションの入出 力間の変換方法に関する振る舞いを表す。
◯シーケンス図(sequencediagram)
 ∟パート間で交換されたメッセ ージのシーケンスに関する振る舞いを表す。
◯状態機械図(statemachinediagram)
 ∟イベントによって引き起こ される状態間の遷移に関するエンティティの振る舞いを表す。
◯ユースケース図(usecasediagram)
 ∟一連の目標を達成するた めの,外部のエンティティ(すなわち,アクター)によるシステム、または用いられ方に関して機能性を表す。
◯パラメトリック図(parametricdiagram)
 ∟エンジニアリング解析 をサポートするのに用いられるF=ma などの属性値の制約を 表す。
◯ブロック定義図(blockdefinitiondiagram)
 ∟ブロックと呼ば れる構造要素とそれらの合成,および分類を表す。
◯内部ブロック図(internalblockdiagram)
 ∟ブロックのパート 間の相互接続とインタフェースを表す(UML の合成構造図の 変更)。
◯パッケージ図(packagediagram)
 ∟モデル要素を含むパッケー ジに関してモデルの編成を表す。

☆SysMLによるMBSEのサポート
◯ブラックボックスのシステム要求の取得と分析
 ∟要求管理ツールでの文書ベース要求の獲得
 ∟SysMLモデリングツールへの要求のインポート
 ∟システムのユースケースに関するトップレベルの機能の特定
 ∟ユースケースと要求間のトレーサビリティの獲得
 ∟ユースケースシナリオの実現:アクティビティ図,シーケンス図,状態機械図
 ∟システムコンテキスト図の創出
 ∟システム検証をサポートするシステムのテストケースの特定
◯要求を満たすシステムアーキテクチャ候補の開発
 ∟ブロック定義図を用いたシステムの分解
 ∟アクティビティ図またはシーケンス図を用いたパート間の相互作用の定義
 ∟内部ブロック図を用いたパート間の相互接続の定義
所望のアーキテクチャの評価と選択のためのエンジニアリング解析とトレ ードオフ分析の実行
 ∟性能,信頼性,コスト,その他の重要なプロパティの分析をサポートするための パラメトリック図を用いたシステムプロパティの制約の獲得
 ∟システムプロパティの予算を決定するためのエンジニアリング解析の実行 (通常,別のエンジニアリング解析ツールで行われる)
◯コンポーネント要求の規定とシステム要求に対するコンポーネント要求の トレーサビリティの規定
 ∟アーキテクチャにおける,各コンポーネント(ブロック)のための機能要求,イン タフェース要求,性能要求の獲得
 ∟システム要求へのコンポーネント要求のトレース
◯システムレベルでのテストケースの実行→システム設計に関する要求の 充足の検証

コメントを残す