Verification method for the design of remote handling systems using a reliability-based stochastic Petri Net approach

The verification of complex engineering systems from the very early phases of the design process is of primary importance as it directly influences the performance and system functionalities. Traditional design approaches aim at using simulations as a set of tools during the verification process. However, the current trend in the industry is to base the design process on the simulations as a simulation-based design. This perspective will therefore convey the design process towards a verification-driven design process. This paper reviews the definition of design process, engineering design verification process and decision making process. The objectives of the paper aim at describing an innovative verification-based design process using reliability-based stochastic Petri Net approach. The scope of the paper includes aspects of complex system designs and demonstrates a method to verify the concept design against its requirements using a quantitative approach. Finally, the method is applied on a case study and the results as well as future development are discussed in the last section.