System Enginnering
Customer
This work is being conducted within the framework of the Relationship Hub, First-of-a-Kind project. This was joint work with the Business Transformation Group and the Model Driven Systems Engineering Group from IBM Research along with an external client from the aerospace and defense industry.
The relationship hub is a platform used to manage the relations between design elements, which may reside in different engineering tools.
Challenge
In a complex system, multiple rules exist for the relationships between artifacts in the system engineering environment These rules arise from the process methodology. For example, a test that covers a requirement must include the system part that implements this requirement.
Our goal is to verify that these methodology rules are satisfied in the given design (even if it is not complete yet), and if not, point out the violations.
Solution
The CSP application receives the data residing in the Relationship Hub regarding the design artifacts and the relations between them, as well as the methodology rules. The CSP application checks whether the given relations network can be extended to one that satisfies all the methodology rules. If not, the CSP application provides a list of violations and contradictions (through finding an unsatisfiable core). If the network is extendable, the CSP application provides, for each element, a list of mandatory, optional and forbidden relations.
Achievements
The CSP application has been incorporated on top of the Relationship Hub platform and displays promising preliminary results on the client data.
Contact: Odellia Boni (odelliab@il.ibm.com)