プラグイン

 

Safetyプラグイン


セーフティケースをサポートするプラグインです.セーフティケースは,乗用車向けの機能安全規格 ISO26262 をはじめ,多くの規格やガイドラインで安全性を確保するために推奨されている手法です.

本プラグインでは,GSN (Goal Structuring Notation) を図式として用います.各ノードは,他のGSNとリンクできます.Nirvanaプラグインとして実現しているため,UMLの各種図式を「証拠」として用いることも出来ます.

今後,プロジェクト支援ツールである xDTS と統合する予定にしており,一元的な要求・安全管理が可能となります.


 

主要機能

  • GSN図の編集
  • UML図とのリンク
  • セーフティケースの一覧表示


KAOSプラグイン


ゴール指向要求分析をサポートするプラグインです.本プラグインでは,KAOS (Knowledge Acquisition in autOmated Specification) を図式として用います.各ノードは,他のモデルとリンクできます.Nirvanaプラグインとして実現しているため,UMLの各種図式ともリンクが可能です.

 

サポートしているモデル

  • ゴールモデル
  • 障害モデル
  • オブジェクトモデル
  • エージェントモデル
  • 操作モデル

主要機能

  • ゴールモデルの編集
  • UML図とのリンク


WBSプラグイン


WBSによるタスク設計をサポートするプラグインです.各ノードは,他のゴールモデルとリンクできます.Nirvanaプラグインとして実現しているため,UMLの各種図式ともリンクが可能です.


 

主要機能

  • WBSの編集
  • 進捗の表示
  • UML図とのリンク