Equations generation
Objective
During the design of complex systems or even during the import of an existing model, it can be usefull to generate default equations on a sub-part of the model corresponding to the local analysis on the concerned elementary blocks.This allows to focus the analysis effort on critical parts of the system. Moreover, because the default equation depends on the context, the automatic generation of equation can be customizable.
Launching of the automatic generation of equations
- Select a file in a project in the Project Explorer view
- Select Tools > Generate equations
- A window appears.
- In the Model Selection section , select the .sa file on which the equation generation will be executed.
- In the General Parameters section, select the strategy to apply and the general parameters.
- In the Strategy parameters section, select the parameters specific to the chosen strategy.
- This part is detailed separately for each strategy.
- Click on Finish.





Attention :
- The generation run from the last saved version of the selected model. In case of current modifications conficts can appear and lead to data loss.
General Parameters
General parameters are:
- Strategy
The strategy is the algorithm applied to the model to generate equations.
- Reset existing local analysis
Delete the existing local analysis for the blocks impacted by the generation.
End-To-End Strategy
For the time being the strategy available is the End-to-End strategy.
General description
The End-to-End strategy offers the possibility to write simple eqations ( deep 1) between the components of a local analysis.
Specific options
There are three parts of specific options related to the End-to-End strategy:
Impacted blocks
Blocks on which equation generation will be executed. If need be (cf General parameters), the previous analysis will be deleted.
Selected input
It is possible to choose as equations input:
- Failure modes on input ports,
- Failure modes on barriers,
- Local events
- System events
Selected output
Equation output is a failure mode on output ports with a specific type.
Remarks :
- In order to make the startegy properly parametrised, at least one block, one input and one output must be selected.
- A check is made in order to assure that there is at least one block selected where the local analysis is not closed,
- Except these to rules, no hypothesis are expressed on the legitimacy of selected options. In particular, it is possible to choose a set of options that won't generate any equations.