2.1.2 Use of constraint programming techniques for systems pre design involving several technical fields (Application on an example of an Aircraft Weapon Delivery and Navigation System)

Systems pre‐sizing involving several technical fields is generally based on a method where up‐going validation phases follow down‐going analysis phases. Meanwhile, the usual tools, when they exist, are often optimised to work in a single way. The Constraint Satisfaction Solving Method (CSSM) introduces a technique, which fulfil the needs of preliminary design, putting aside the notions of “input” and “output“. Moreover, Constraint modelling is a way to ensure the consistency between the different technical fields. A simplified example illustrates the problem on the Weapon Delivery and Navigation System of a military aircraft, underlining the many capabilities of the method. As a conclusion a feedback on its introduction at Dassault Aviation's Systems Directorate is presented and specifications for a Constraints Models Managing tool are introduced.