複雑システムの信頼性を向上させる開発手法―アーキテクチャ設計手法とモデル検査の融合―:－ アーキテクチャ設計手法とモデル検査の融合 －
スポンサーリンク
概要
- 論文の詳細を見る
本稿では、システムの仕様を、システムを構成する要素間による協調動作が整合している構成要素の仕様および構成要素間のインタフェース仕様に分解する開発手法を示す。本開発手法は、システム開発において既に有効性が認められているシステムエンジニアリング標準におけるアーキテクチャ設計手法およびモデル検査を、ブリッジ技術で融合して構築される。産業用ロボットの開発に対して本開発手法を適用した結果を示す。適用結果から、産業界の複雑システムに対して本開発手法が有効であることを示す。
- 独立行政法人 産業技術総合研究所の論文
独立行政法人 産業技術総合研究所 | 論文
- 科学技術政策と構成学、その具体化と価値への"つながり"
- だれでも構築運営できるコラボレーションシステムの実現―ｑｗｉｋＷｅｂを用いたコミュニケーション・パターンの実践―:－qwikWebを用いたコミュニケーション・パターンの実践－
- コンパクトプロセスの構築―高圧マイクロエンジニアリングと超臨界流体との融合―:－ 高圧マイクロエンジニアリングと超臨界流体との融合 －
- 正確性・コストパフォーマンスに優れた遺伝子定量技術の開発と実用化への取り組み―蛍光消光現象を利用した遺伝子定量技術の開発―:－ 蛍光消光現象を利用した遺伝子定量技術の開発 －
- Synthesiological approach in researches