Title: A methodology for improving reliability of complex systems
Abstract: 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.