Properties & Safety Modeling

A library of property operators to modelize and verify requirements, assumptions and constraints of complex systems :

  • Associating properties on system, sub-systems, components
  • Validation of properties
  • Ensure traceability between properties specifications and the system

Supporting risk analysis by introducing specific safety-oriented-concepts like events and synchronizations.

  • Generalization of common safety formalisms
  • Safety oriented modeling with failure modes, probability distributions, common cause failures
  • Event-driven simulation to validate the failure propagations
  • Performing safety analysis to generate minimal cutsets and assess availability, reliability

  • Library of Properties Modeling and Analysis
  • Safety Modeling and Analysis

Dassault Aviation, Dassault Systèmes, DLR, Dynasim, EDF.