Library for Properties Modeling and Analysis


Dassault Systèmes :

Industry / Process

  •  Energy
  •  Aerospace
  •  Automotive

Short Description

Usually specifications of requirements, constraints, properties or modelling assumptions are associated to systems and their decomposition, but they are not formally integrated to the models. The objective is to propose a library of operators allowing to build properties with Modelica. These properties models can be associated to a system behaviour and be validated by simulation.

Zoom sur l'image
Zoom sur l'image

Long Description

The design of complex systems involves the modelling and verification of properties, handled today with a range of modelling techniques and languages. This range is a potential source of errors, leading to flaws in the analysis of risk for system safety, reliability and performance.

The purpose of this workpackage is the extension of Modelica to:

  •   Model the properties of system functioning, by describing the constraints on its elements
  •   Specify the validity domain of physical models
  •   Enhance documentation of the system studied
  • A property can be seen as a formal expression that specifies a condition that must hold true at given times and places for a component, system or its environment (When, Where, What ?).

    The association of a formal modelling of properties specifications to the system modelling allows to:

  •   Include overall goals, constraints, limits of validity of the system
  •   Include assumptions (about the environment...)
  •   Reuse, save time, improve transmission of knowledge
  •   Keep track of property evolution due to design or operational improvement
  • Release History

    Release Date

    Release ID

    with Modelica


    Tested with

    Feb. 15th , 2010

    0.1 Beta


    No dependency

    Dymola 7.3, CATIA Systems V6R2010x



    Information or News