A methodology for improving reliability of complex systems

DOI 4 References Open Access
  • KATOH Atsushi
    Graduate School of System Design and Management, Keio University
  • URAGO Masataka
    Graduate School of System Design and Management, Keio University
  • OHKAMI Yoshiaki
    Graduate School of System Design and Management, Keio University

Bibliographic Information

Other Title
  • 複雑システムの信頼性を向上させる開発手法
  • - Synthesis of architectural design method and model checking -

Search this article

Description

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.

Journal

  • Synthesiology English edition

    Synthesiology English edition 3 (3), 197-213, 2010

    National Institute of Advanced Industrial Science and Technology

References(4)*help

See more

Keywords

Details 詳細情報について

  • CRID
    1390282680277209344
  • NII Article ID
    130004548123
  • DOI
    10.5571/syntheng.3.197
  • ISSN
    18832318
    18830978
  • Text Lang
    en
  • Data Source
    • JaLC
    • Crossref
    • CiNii Articles
    • OpenAIRE
  • Abstract License Flag
    Disallowed

Report a problem

Back to top