AAAI Publications, Twenty-Fourth IAAI Conference

Font Size: 
Applying Constraint Programming to Incorporate Engineering Methodologies into the Design Process of Complex Systems
Odellia Boni, Fabiana Fournier, Nir Mashkif, Yehuda Naveh, Aviad Sela, Uri Shani, Zvi lando, Alon Modai

Last modified: 2012-07-14


When designing a complex system, adhering to a design methodology is essential to ensure design quality and to shorten the design phase. Until recently, enforcing this could be done only partially or manually. This paper demonstrates how constraint programming technology can enable automation of the design methodology support when the design artifacts reside in a central repository. At any phase of the design, the proposed constraint programming application can indicate whether the design process data complies with the methodology and point out any violations that may exist. Moreover, the application can provide recommendations regarding the design process. The application was successfully used to check the methodology conformance of an industrial example and produced the desired outputs within reasonable times.


Constraint-based Reasoning; Embedded Systems ; Rule-Based Systems, Systems Engineering Methodology; Set Variables; Unsatisfiable Core

Full Text: PDF