554 CHAPTER 18 Integrating SysML into a Systems Development Environment n n n n n n n n n ­ Mechanical CAD tool ­ Testing and verification tools ­ Project management tools Performance (maximum number of users, model size) Model checking to verify model conformance with well-formedness rules Training, online help, and support Tool life-cycle requirements (e.g., acquisition, configuration, installation, operation, support, upgrade) Availability of model libraries (e.g., SI units) Life-cycle cost (acquisition, training, support) Vendor viability Acquirer's previous experience with the tool Support for selected model-based method (e.g., scripts that automate certain parts of the method, standard reports, etc.). 18.6.2 SysML Compliance According to the SysML specification, a tool can claim its compliance with SysML in terms of