TC 56

Dependability

 

Detail

Committee
Working Groups
Project Leader

Current

Status

Frcst Pub

Date

Stability

Date

TC 56PT 2.23 Dr. Eckerhard SchniederPPUB2012-102023

History

Stage
Document
Downloads
Decision Date
Target Date
PNW
56/1204/NP PDF file 233 kB
2007-05-25 
ANW
56/1247/RVN Word file 135 kB
PDF file 103 kB
2007-10-052007-10
1CD
56/1266/CD PDF file 1236 kB
2008-05-022007-12
CDM
56/1283/CC Word file 701 kB
PDF file 328 kB
2008-08-152008-09
A2CD
56/1283A/CC Word file 731 kB
PDF file 344 kB
2008-10-172008-11
2CD
56/1322/CD PDF file 869 kB
2009-06-192009-06
ACDV
56/1381/CC Word file 379 kB
PDF file 244 kB
2010-07-162009-10
CCDV
56/1397/CDV PDF file 992 kB
PDF file 1020 kB
2010-10-152010-09
AFDIS
56/1423/RVC Word file 291 kB
PDF file 444 kB
2011-04-152011-06
AFDIS
56/1423A/RVC Word file 305 kB
PDF file 461 kB
2011-04-152011-06
DECFDIS
2012-05-182012-01
RFDIS
2012-06-042012-06
CFDIS
56/1476/FDIS

2012-07-062012-08
APUB
56/1484/RVD PDF file 20 kB
2012-09-102012-09
BPUB
2012-09-112012-09
PPUB
2012-10-022012-10
  

Abstract

IEC 62551:2012 provides guidance on a Petri net based methodology for dependability purposes. It supports modelling a system, analysing the model and presenting the analysis results. This methodology is oriented to dependability-related measures with all the related features, such as reliability, availability, production availability, maintainability and safety (e.g. safety integrity level (SIL) [2] related measures). Key words: Petri net based methodology for dependability purposes

Project

IEC 62551:2012 ED1

Analysis techniques for dependability - Petri net techniques

 

 

Associated Documents:

56/1758/RM

PDF file 165 kB
56/1342/INF

PDF file 20 kB
56/1299/RM

PDF file 775 kB
56/1223/INF

PDF file 54 kB
56/1207/INF

PDF file 55 kB
SMB/4747/DL

PDF file 233 kB
SMB/4270/DL

PDF file 331 kB
SMB/4204/DL

PDF file 187 kB