Digital Engineering Validation Tool
Our free system model validation tool guides modeling consistency to reduce errors, aid analyses, and improve quality.
SAIC provides the Digital Engineering Validation Tool to the worldwide systems modeling and engineering community.
Intended for system modelers, engineers, and users, this tool improves the quality and functionality of your system models using state-of-the-art validation techniques we developed. We hope that community use of this validation tool will stimulate adoption and discussion of industry best practices.
What is it? Our tool is a set of validation rules and customizations. SAIC continues to mature its popular Digital Engineering Validation Tool, which consists of:
- SAIC DE Profile (validation rules and customizations)
- 168 Validation Rules (both language and style) for Dassault Systemes/No Magic's MagicDraw and Cameo Enterprise Architecture, including 19 new/modified rules
- 112 of the rules are also available for IBM Rational Rhapsody, including 52 new/modified rules
- Customizations (including methods to connect deeply-nested ports)
- Model-Based Style Guide (with detailed examples and rationale)
- Example System Model (based upon the Ranger lunar probes)
- Explanatory Videos
Intended to guide model development where multiple options are available, the tool ensures that a team of modelers always makes the same choice, creating model consistency. Version 1.6 includes 19 new or modified rules and new to this release is an initial version of a profile that provides support for managing classification and data rights within the model.
What is the benefit? Use of validation rules in our tool should have an immediate and measurable impact on model quality. Style guides and language semantics are automatically enforced. This enables reviews of system content using analysis tools rather than human reviews, reducing review time from weeks to minutes for large system models. Also, the customizations we have provided allow synchronization between the parts that make a system architecture (structure) and the functions they perform (behavior).
Most past attempts to manage element-level properties of this sort have focused on the use of stereotypes and tags; SAIC’s approach uses relationships between elements and restriction sources (such as classification guides or contracts) as the basis for derived properties for classification and data rights. The relationship between the restriction source and the element or property is what specifies the level of restriction. The model automatically computes the appropriate restriction level for a given element or property and is able to dynamically mark any diagram on which the element or property appears. An explanatory video demonstrates the use of restriction sources, restriction relationships, and dynamic adornment.
Download the tool below. The download package includes the Rhapsody and MagicDraw profiles that contain the validation suite and customizations, Excel files listing all of the rules for each tool, instructions, introductory videos, and additional summary content files.
General notes and disclaimer before use:
* SAIC does not claim that not being fully conformant to our validation rules means "doing SysML wrong." Our rules attempt to guide consistent model development.
* SysML is the focus of our effort. Do not use UPDM/UAF profiles with our tool.
* No validation rules are based on the model package's structure.
* The validation rules have been tested against a number of models, both public and proprietary, to ensure that they function as intended. If you detect false positives or false negatives, please contact us so that we may correct the validation logic.
* Please see the model itself for licensing terms.
* Any feedback on the tool's usefulness and suggestions for additional rules are welcome.
1. Click on the Download button to download the zip file.
2. Unpack the zip file on your computer. If you need help, please visit this page.
3. Familiarize yourself with the tool:
- Watch the video introductions.
- Review the summary documents.
- Open the desired model(s) on your desktop or install them on an appropriate server for use (see instructions; there are .mdzip versions of the profile specific to server or local use. The .rpy profile can be in either context).
4. If you have any problems with the tool, please contact us.