Technical Webinar -
Scalable Fault Tree Analysis by Model Checking
Date, Time & Venue
23 August 2022 (Tuesday); 7:00 pm - 8:00 pm; Webinar
Programme Highlights
Fault trees are pivotal in safety and reliability engineering. They are applied at industrial scale, and have been subject to standards in many application areas. Modern fault-tree dialects can model redundancies, functional dependencies, repairs, spare elements, activation mechanisms, and so forth. Their analysis is however a serious bottleneck: analysis techniques do not scale and require manual effort.
Fault
trees are pivotal in safety and reliability engineering. They are applied at
industrial scale, and have been subject to standards in many application areas.
Modern fault-tree dialects can model redundancies, functional dependencies,
repairs, spare elements, activation mechanisms, and so forth. Their analysis is
however a serious bottleneck: analysis techniques do not scale and require
manual effort.
In this webinar, techniques from model checking will
be demonstrated with the purposes to:
a. simplify fault trees prior to their expensive
analysis;
b. generate state spaces in a very efficient and
incremental way;
c. analyse measures that go beyond reliability and
availability, and
d. enable the analysis of gigantic fault
trees.
The
key algorithmic principles will be explained with improvement showcasing on
some of the industrial cases, including the safety for autonomous vehicle
guidance, the criticality analysis of railway infrastructure and the
reliability analysis of nuclear power plants. A tool demonstration on top of
the Storm model checker will be illustrated to show the modelling and analysis
capabilities
Speaker Profile
- Joost-Pieter Katoen is a
distinguished professor at RWTH Aachen University. He co-authored more than 300
papers, is a member of the Academia Europaea, ACM Fellow, received an honorary
doctorate from Aalborg University and holds an ERC Advanced Grant. He led
numerous projects with major industrial partners.
- Falak Sher Vira, a Ph.D in probabilistic verification from RWTH Aachen and postdoc from Fortiss Germany, heads DGB Technologies LLC. He works with academia to solve industrial problems e.g. reliability and performability analysis; integration of model-based engineering with safety assessment
2.
Registration & Enquiry
This is open to members of IOSH Hong Kong,
HKARMS and the supporting organisations.
Admission is free of charge. Prior registration
is required. Please register here via the following link: https://forms.gle/DAU66NVssBtPe18W9 . Please note that the participants must
provide their VALID membership numbers and the names of their professional
organisations when filling out the online enrolment forms; otherwise, their
enrolments will not be accepted.
IOSH Hong Kong reserves the right to reject any
of the enrolments in any circumstances and for whatever reasons. For inquiries,
please contact our Administrative Officer at 9025 6767 or by email at ioshhongkong@gmail.com.
Disclaimer
All information and views expressed by speakers and in their conference materials do not reflect the official opinion and position of HKIE. No responsibility is accepted by the HKIE or their publisher for such information and views including their accuracy, correctness and veracity. I confirm my consent to follow any and all safety instructions given by the organiser(s) and/or the owner of the premises/sites and to well equip myself with necessary safety gear for participation in the event. I understand that neither the Institution nor the parties concerned would accept any liability in connection with the above event. The information provided will only be used for the purpose of communicating with you on matters related to the activity. You have rights of access and correction with respect to your personal data held by us. If you wish to exercise these rights, please contact the Division/ Committee concerned or the HKIE Secretariat.