A methodology for improving reliability of complex systems

Atsushi KATOH, Masataka URAGO, Yoshiaki OHKAMI
2010 Synthesiology English edition  
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
more » ... t demonstrates that the proposed methodology is effective for complex industrial systems.
doi:10.5571/syntheng.3.197 fatcat:hupgxyfuqnhhlbgqz6ewax2a4a