| フレット | |
|---|---|
 FRETダッシュボード | |
| 開発者 |
|
| 安定版リリース | 3.1 / 2023年12月15日[2] ( 2023-12-15 ) |
| 書かれた | JavaScript |
| オペレーティング·システム | Windows、 Linux、OS X |
| タイプ | 形式化 |
| ライセンス | NASA オープンソース契約バージョン 1.3 |
| Webサイト | https://github.com/NASA-SW-VnV/fret |
形式要件抽出ツール（FRET）は、要件エンジニアリングツールです。NASAエイムズ研究センターによって開発され、故障すると人命の損失、重大な物的損害、または環境被害につながる可能性のある、複雑なセーフティクリティカルシステムの仕様を定義することを目的としています。 [3] FRETは、 NASAオープンソース契約に基づいて公開されているオープンソースソフトウェアです。[4]
背景
システムの動作と機能は、その要件によって規定されます。ほとんどの要件は英語などの自然言語で記述されますが、アナリストや利害関係者にとって理解しやすいものの、形式手法を用いて誤りや漏れを検査することはできません。一方、VDMやZなどの形式表記法は正確で明確なため、アナリストや利害関係者にとって理解しにくい傾向があります。[4] [5]
妥協案として、FRET要件はFRETishと呼ばれる制御された自然言語で作成され、時相論理に変換されます。[4] [5]
用途
FRETの要件は、外部コードやモデル内の変数に対応させることができます。FRETは各ステートメントの形式的な等価物を生成・検証し、 JSONを含む様々な形式で要件をインポートまたはエクスポートすることができます。[4] [6]
FRETでは、外部のモデリング・解析ツールと連携することで、プロセスのシミュレーションと解析を行います。サポートされている外部ツールには、COCOシミュレータ、Simulink Design、Verifier、NuSMV、Copilotなどがあります。[4] [6]
参照
- 機能要件
- 非機能要件
- 客観的
- 要件分析
- ソフトウェアエンジニアリング
- ソフトウェアエンジニアリング知識体系
- ソフトウェア要件
- ソフトウェア要件仕様
- ステークホルダー分析
- システムエンジニアリング
- 要件エンジニアリングツールのリスト
参考文献
- ^ “fret/CONTRIBUTORS.md at master · NASA-SW-VnV/fret”. GitHub . 2023年11月26日閲覧。
- ^ 「FRET：形式要件抽出ツール」GitHub 。 2023年12月29日閲覧。
- ^ Katis, Andreas; Mavridou, Anastasia; Giannakopoulou, Dimitra; Pressburger, Thomas; Schumann, Johann (2022). 「キャプチャ、分析、診断：FRETにおける要件の実現可能性検証」Lecture Notes in Computer Science. Vol. 13372. Springer International Publishing. pp. 490– 504. doi :10.1007/978-3-031-13188-2_24. ISBN 978-3-031-13187-52023年12月7日閲覧– Springer経由。
- ^ abcde Giannakopoulou, Dimitra; Pressburger, Thomas; Mavridou, Anastasia; Rhein, Julian; Schumann, Johann; Shi, Nija (2020). FRETによる形式要件抽出(PDF) . REFSQワークショップ. S2CID 214708107. 2023年10月3日時点のオリジナルより アーカイブ(PDF) . 2023年11月29日閲覧。
- ^ ab 「形式要件駆動検証」。VALU3Sリポジトリ。VALU3S。
- ^ ab "fret/fret-electron/docs/_media/userManual.md at master · NASA-SW-VnV/fret". GitHub . 2023年12月30日閲覧。
