METHOD FOR ANALYSING THE BEHAVIOUR OF A SYSTEM CONSISTING OF PORTIONS THAT CAN BE MODELLED BY COMMUNICATING PROGRAMMABLE CONTROLLERS

摘要

The present invention relates to a method for analysing the behaviour of a system consisting of portions that can be modelled by communicating programmable controllers. The model M (2) to be reduced is converted by a static analysis mechanism into a data structure. This data structure is transmitted to various functions that are specialized according to the type of analysis required. Another input of these functions is a reduction criterion defining a subset (4) of the model on which the analysis is targeted. Three types of analysis are possible, an analysis by control dependence (5), an analysis by dependence of data (6) and an analysis by communication dependence (7). These analyses make it possible to produce a reduced model M' (3), the result of the method. The invention applies for example in the context of activities for the automatic generation of simulation scenarios, automatic generation of scenarios for testing conformity or for proving properties.