Analysis techniques for dependability - Petri net techniques
NORM herausgegeben am 2.10.2012
Bezeichnung normen: IEC 62551-ed.1.0
Ausgabedatum normen: 2.10.2012
Zahl der Seiten: 136
Gewicht ca.: 439 g (0.97 Pfund)
Land: Internationale technische Norm
Kategorie: Technische Normen IEC
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 La CEI 62551:2012 donne des directives pour une technique basee sur les reseaux de Petri dans le domaine de la surete de fonctionnement. Elle porte sur la modelisation dun systeme, lanalyse du modele et la presentation des resultats de lanalyse. Cette methode est orientee vers les mesures relatives a la surete de fonctionnement avec toutes les caracteristiques associees, telles que la fiabilite, la disponibilite, la disponibilite de production, la maintenabilite et la securite (par exemple, les mesures associees au niveau dintegrite de securite (SIL[2]: en anglais:system integrity level). Mots cles: technique basee sur les reseaux de Petri dans le domaine de la surete de fonctionnement