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

Romain Sibois, Timo Määttä, Mikko Siuko

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationASME 2016 International Mechanical Engineering Congress and Exposition
Subtitle of host publicationSystems, Design, and Complexity
PublisherAmerican Society of Mechanical Engineers ASME
Number of pages11
Volume11
ISBN (Print)978-0-7918-5065-7
DOIs
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventInternational Mechanical Engineering Congress and Exposition, IMECE 2016 - Phoenix, United States
Duration: 11 Nov 201617 Nov 2016

Conference

ConferenceInternational Mechanical Engineering Congress and Exposition, IMECE 2016
Abbreviated titleIMECE 2016
CountryUnited States
CityPhoenix
Period11/11/1617/11/16

Fingerprint

Petri nets
Process engineering
Systems engineering
Large scale systems
Decision making
Systems analysis

Cite this

Sibois, R., Määttä, T., & Siuko, M. (2016). Verification method for the design of remote handling systems using a reliability-based stochastic Petri Net approach. In ASME 2016 International Mechanical Engineering Congress and Exposition: Systems, Design, and Complexity (Vol. 11). [IMECE2016-66027] American Society of Mechanical Engineers ASME. https://doi.org/10.1115/IMECE2016-66027
Sibois, Romain ; Määttä, Timo ; Siuko, Mikko. / Verification method for the design of remote handling systems using a reliability-based stochastic Petri Net approach. ASME 2016 International Mechanical Engineering Congress and Exposition: Systems, Design, and Complexity. Vol. 11 American Society of Mechanical Engineers ASME, 2016.
@inproceedings{42893e62a2974bdbadd950b1b7d30013,
title = "Verification method for the design of remote handling systems using a reliability-based stochastic Petri Net approach",
abstract = "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.",
author = "Romain Sibois and Timo M{\"a}{\"a}tt{\"a} and Mikko Siuko",
year = "2016",
doi = "10.1115/IMECE2016-66027",
language = "English",
isbn = "978-0-7918-5065-7",
volume = "11",
booktitle = "ASME 2016 International Mechanical Engineering Congress and Exposition",
publisher = "American Society of Mechanical Engineers ASME",
address = "United States",

}

Sibois, R, Määttä, T & Siuko, M 2016, Verification method for the design of remote handling systems using a reliability-based stochastic Petri Net approach. in ASME 2016 International Mechanical Engineering Congress and Exposition: Systems, Design, and Complexity. vol. 11, IMECE2016-66027, American Society of Mechanical Engineers ASME, International Mechanical Engineering Congress and Exposition, IMECE 2016, Phoenix, United States, 11/11/16. https://doi.org/10.1115/IMECE2016-66027

Verification method for the design of remote handling systems using a reliability-based stochastic Petri Net approach. / Sibois, Romain; Määttä, Timo; Siuko, Mikko.

ASME 2016 International Mechanical Engineering Congress and Exposition: Systems, Design, and Complexity. Vol. 11 American Society of Mechanical Engineers ASME, 2016. IMECE2016-66027.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

TY - GEN

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

AU - Sibois, Romain

AU - Määttä, Timo

AU - Siuko, Mikko

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

U2 - 10.1115/IMECE2016-66027

DO - 10.1115/IMECE2016-66027

M3 - Conference article in proceedings

SN - 978-0-7918-5065-7

VL - 11

BT - ASME 2016 International Mechanical Engineering Congress and Exposition

PB - American Society of Mechanical Engineers ASME

ER -

Sibois R, Määttä T, Siuko M. Verification method for the design of remote handling systems using a reliability-based stochastic Petri Net approach. In ASME 2016 International Mechanical Engineering Congress and Exposition: Systems, Design, and Complexity. Vol. 11. American Society of Mechanical Engineers ASME. 2016. IMECE2016-66027 https://doi.org/10.1115/IMECE2016-66027