DRIP

Concurrently Engineering Requirements, Design and Knowledge

Background

  • RM(Require Management) KM(Knowledge Management) ALM(Application lifecycle management)等のツールは 　　要求と知識の管理に役立つ
  • エンジニアリングツールはシステム設計に役立つ
  • しかし　それらのツールがばらばらに使われると　かろうじてツール間のトレーサビリティに役立つ程度である



課題

ビジネスや要求を定義したり　どのよう根設計をするかという技術上の決定は　会社が持っている知的財産や最先端の解析能力とは別物である

ソリューション

　DRIPは要求、設計、知識それぞれを、繰り返しや　高度に結合された開発環境や 　数学的解析を通して　ソリューションと実行可能性を発見　実装に落とし込む

DRIPの機能

  • 要求、設計、知識は共通の数式と時間情報を持った　”制約としての”のフレームワークで表現される
  • はっきりとさせたい領域は　：　決定　実施方法　推奨方法　等
  • 形式的　”デザインアーキテクチャ”は　形式要求やテストシナリオにリンクしている
  • バリアントで構造的なモデル統合
  • バージョンコントロールで統合
  • 要求、設計、知識それぞれを全て考慮した　"実行可能性"ソリューションを定義するシンボリック数学解析　
  • デザインアーキテクチャから、実装環境を可能にするテストハーネスを生成する”マッピング”(Simulink, C)
  • テストハーネスを用いた自動検証（Verification)(Simulink)
  • 解析やテスト結果は再び決定にリンクする