System safety analysis

with Petri net based Markov chains

Markov chains and their analysis are useful for the assessment of safety-related systems. Markov analysis is a mathematical quantitative method to evaluate safety requirements of system design. This analysis could be used in industrial applications and is proposed in several standards like SAE ARP 4761. The direct modelling of Markov chains needs much effort and knowledge. The analysis approach with Markov chains based on Petri nets is a much more efficient way to handle system complexity without loss of detailed information. This seminar provides an overview of the applicability of Markov chains based on Petri nets in a safety assessment process and presents a related tool-based technology.

Content

First Part (P1):  9:00 am-1:00 pm

  • Standards and possible applications 
  • System modelling with (qualitative) Petri nets 
  • Temporal logics and CTL model checking 
  • Stochastic Petri nets and Markov chains 
  • Generalised stochastic Petri nets
  • Analysis of Markov chains
  • CSL model checking 
  • Tool Support

Second Part (P2-optional): 2:00 pm-6:00 pm

  • Exercise example 
  • Tool demonstration 
  • Training on an example study

Interest group

First Part:

  • Technicians, engineers, managers and operational researcher

Second Part (optional):

  • Technicians and engineers

Fields

  • Aviation (civil)
  • Railway
  • Automotive

Seminar Registration

Dates

*
On-site training enquiry (please leave a comment)

Company / Invoice Recipient

*
* / *
*
 
*
*
*

Participant

Please add further participants into the comments field below.

Comments, Terms and Conditions

 
We accept the terms and conditions. *