システムライフサイクルがオープンシステムディペンダビリティを持っていることを示すアシュランスケースを構築する際の部品と組み合わせ方の枠組みを与えるものです。用いて記述したもので、具体的対象に適用する際に計算機によって整合性を検査することを可能とします。研究概要システムがサービスを継続するだけでなく、目的や環境の変化に適応し、また障害時に説明責任を果たすといった対応力であるオープンシステム・ディペンダビリティを推進するために、具体的なシステムの安心・安全に関する議論(アシュランス議論)の記録文書であるアシュランスケースの作成が必要である。dependability)を開発した。FFOは、アシュランス議論の記述に必要な用語定義を与える概念体系と、議論の部品や組み合わせ方のテンプレートライブラリから成り、本研究ではFFOを形式言語Agdaによる開発フレームワークとして提供した。FFOの利用により、「最初にケース内容を思い付くのが困難」「議論の仕方、品質が人によりけり」等のアシュランスケース導入時の問題を解決する。ソースコード利用のライセンスは、以下の通りです。