Context modelling and partial-order reduction: Application to SDL industrial embedded systems

In this paper we introduce a method combining system environment description and partial-order reduction for the verification of SDL systems. The aim of this work is to address the problem of the combinatorial explosion when verifying complex reactive systems modeled in SDL. To this purpose we propose to apply partial-order methods on the OBP methodology so that to make the verification possible. The method presented in this paper has been applied on two real avionics system.