The Open-PSA Model Exchange Format

Title	Open-PSA Model Exchange Format
Version	2.0.d-120-g703be91
Creation date	2007-08-01
Last modification date	2017-05-01
Editors	Epstein Steven, Rauzy Antoine

Contributors

This document presents the “Open-PSA Model Exchange Format”. The redaction of this representation format is a shared effort. The following persons contributed to various extents to the current version of the document: Becker Guenter, Čepin Marko, Contini Sergio, Ducamp François, Epstein Steven, Herrero Santos Roberto, Hibti Mohamed, Kampramanis Ioanis, Klügel Jens, Meléndez Asensio Enrique, Perez Mulas Arturo, Nusbaumer Olivier, Quatrain Richard, Rauzy Antoine, Rauzy Pablo, Reinhart Mark, and Sörman Johan.

Download the PDF version

Download all the RELAX NG Compact schema

Contents

• 1 The Open-PSA Initiative
• 2 Introduction
  • 2.1 Why Do We Need a Model Exchange Format?
  • 2.2 Requirements for the Model Exchange Format
  • 2.3 Choice of XML
  • 2.4 A Four-Plus-One Layer Architecture
  • 2.5 Formalism
  • 2.6 Organization of the document
• 3 Anatomy of the Model Exchange Format
  • 3.1 Elements of a Model
    • 3.1.1 Variables, Terms and Containers
    • 3.1.2 Stochastic Layer
    • 3.1.3 Fault Tree Layer
    • 3.1.4 Meta-Logical Layer
    • 3.1.5 Event Tree Layer
  • 3.2 Structure of a Model
    • 3.2.1 Relationships between elements of a model
    • 3.2.2 Giving more structure to a model
    • 3.2.3 Containers as name spaces
    • 3.2.4 Definitions, Labels, and Attributes
• 4 Fault Tree Layer
  • 4.1 Description
  • 4.2 XML Representation
  • 4.3 Extra Logical Constructs and Recommendations
    • 4.3.1 Model-Data and Components
    • 4.3.2 Solving Name Conflicts: Public versus Private Elements
    • 4.3.3 Inherited attributes
    • 4.3.4 Recommendations
• 5 Stochastic Layer
  • 5.1 Description
  • 5.2 Operations
    • 5.2.1 Numerical Operation
    • 5.2.2 Boolean Operations
    • 5.2.3 Conditional Operations
  • 5.3 Built-Ins
    • 5.3.1 Description
    • 5.3.2 XML Representation
  • 5.4 Primitive to Generate Random Deviates
    • 5.4.1 Description
    • 5.4.2 XML Representation
  • 5.5 Directives to Test the Status of Initiating and Functional Events
    • 5.5.1 Description
    • 5.5.2 XML Representation
• 6 Meta-Logical Layer
  • 6.1 Common Cause Groups
    • 6.1.1 Description
    • 6.1.2 XML representation
  • 6.2 Delete Terms, Recovery Rules, and Exchange Events
    • 6.2.1 Description
    • 6.2.2 All Extra-Logical Constructs in One: the Notion of Substitution
    • 6.2.3 XML Representation
• 7 Event Tree Layer
  • 7.1 Preliminary Discussion
  • 7.2 Structure of Event Trees
    • 7.2.1 Description
    • 7.2.2 XML Representation
  • 7.3 Instructions
    • 7.3.1 Description
    • 7.3.2 XML Representation
• 8 Organization of a Model
  • 8.1 Additional Constructs
    • 8.1.1 Consequences and Consequence Groups
    • 8.1.2 Missions, Phases
  • 8.2 Splitting the Model into Several Files
  • 8.3 Organization of a Model
• 9 Report Layer
  • 9.1 Preliminary Discussion
  • 9.2 Information about calculations
  • 9.3 Format of Results
    • 9.3.1 Minimal Cut Sets
    • 9.3.2 Statistical measures
    • 9.3.3 Curves
• 10 Bibliography
  • 10.1 Basic PSA References
  • 10.2 Difficulties with PSA
  • 10.3 Novel Approaches