SYSTEREL

OVADO 2® offers an innovative approach to data validation based on the separation of the validation tool from the properties to validate... The modeling team formalizes unambiguously the properties identified by domain experts... In order to gain in quality and development time, OVADO 2® can now generate data using a formal model. With the appropriate process, it is possible to use OVADO 2® at a T3 level for SIL4 and thus gain in quality, time and cost for data production. Indeed, a significant factorization of modelling work between the validation and generation activities allows to quickly converge towards valid data at the smaller expense of reinforced verification of this factorization.