IEC 62551:2012 ED1

Analysis techniques for dependability - Petri net techniques

Publication date: Oct 2, 2012

General information

Current stage: 60.60 Effective date: Oct 2, 2012

Originator: IEC

Owner: TC 56

Type: International Standard

ICS: 21.020

Languages: English French Spanish

Buying

Status: Published

PDF - ALL 41,271

Paper - ALL 41,271

CD - ALL 41,271

Language

Language in which you want to receive the document.

Scope

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

Life cycle

NOW

PUBLISHED
IEC 62551:2012 ED1
60.60 Standard published
Oct 2, 2012