A methodology for improving reliability of complex systems:- Synthesis of architectural design method and model checking -

スポンサーリンク

概要

• 論文の詳細を見る

• This paper describes a methodology for decomposing a system specification into component specifications and interface specifications whose cooperative behavior is consistent with each component. The methodology is constructed by a bridge method of combining architectural design method in systems engineering standards and model checking, which have already been confirmed to be effective in developing systems. As a trial, the methodology was applied to develop an industrial robot system. The result demonstrates that the proposed methodology is effective for complex industrial systems.

• 独立行政法人 産業技術総合研究所の論文

独立行政法人 産業技術総合研究所 | 論文

• 科学技術政策と構成学、その具体化と価値への"つながり"
• だれでも構築運営できるコラボレーションシステムの実現―ｑｗｉｋＷｅｂを用いたコミュニケーション・パターンの実践―:－qwikWebを用いたコミュニケーション・パターンの実践－
• コンパクトプロセスの構築―高圧マイクロエンジニアリングと超臨界流体との融合―:－ 高圧マイクロエンジニアリングと超臨界流体との融合 －
• 正確性・コストパフォーマンスに優れた遺伝子定量技術の開発と実用化への取り組み―蛍光消光現象を利用した遺伝子定量技術の開発―:－ 蛍光消光現象を利用した遺伝子定量技術の開発 －
• Synthesiological approach in researches

もっと見る

スポンサーリンク