平成30年度 秋期 午前 問46

✓ これが正解イシステムの設計及び検証を行うために用いられる，UML 仕様の一部を流用して機能拡張したグラフィカルなモデリング言語

解説

UMLを広げてシステム全体を描く言語です。

SysMLがどの言語に当たるかを選ぶ問いです。名前を分けると素性が引けます。前半は系、後半はモデリング言語で、合わせて系全体を描くためのモデリング言語だと読めます。もとになったのはソフトウェアを描くための言語であるUMLです。ただし相手がソフトウェアだけではなく、機器や人、手順、物理量まで含む系の全体になるため、UMLの図の一部をそのまま流用したうえで、足りない図を付け足す形で仕立て直されています。付け足された代表が二つあります。ひとつは要求そのものを図の部品として置き、どの設計要素がそれを満たし、どの試験で確かめるのかを線でたどれるようにした図です。もうひとつは物理量の制約を式のまま図の上に書ける図です。設問が設計と検証の両方を挙げているのは、前者の図が備わっているからです。見分けの軸は二つあります。その言語が図を描くためのものか、文字で書き下すためのものかということと、描く相手が系の全体なのか、画面の表示や回路なのかということです。四つの肢はどれも実在する言語ですから、正しい説明かどうかではなく、この二つの軸に当てはめて選びます。

ほかの選択肢はなぜ違うのか

• アWeb ページに，画像を使用せずに数式を…：画像を使わずに数式を表示するためのマークアップ言語で、MathMLと呼ばれます。文字と構造だけで数式を組み立てて文書に埋め込む取り決めなので、扱う相手が数式の表示であり、系を対象にしていません。
• ウハードウェアとソフトウェアとの協調設計（…：ハードウェアとソフトウェアを一緒に設計するための記述言語で、SystemCと呼ばれます。頭のつづりが重なるので最も紛れますが、こちらはC++の部品として実現されたものであり、文字で書き下す側に属します。
• エ論理合成して FPGA で動作させるハー…：論理合成して書換え可能な集積回路で動かす論理を書き下すためのハードウェア記述言語の説明で、VHDLやVerilog HDLが当たります。回路そのものを作るための道具なので、要求を図に置く用途とは離れています。