Verification Studio (V&V Studio)

Verification Studio

The SMARTer way to manage the verification and quality of your system work-products

 Manages the preparation of verification actions

 Is tailored according to your own verification policies

 Can be extended with whatever verification technique

 Can be configured to work with whatever verification/quality-control specific algorithm

 Connects the notion of Verification action and Quality calculation

 Manages the realization of verification actions

 Performing own analysis calculations

 Gathering results from external analysis or simulation tools

 Based on the CCC paradigm: Correctness, Completeness and Consistency analysis

 Connected to most SE tools (requirements, models, SysML, Simulink, etc.)

 Manages and improves the quality of all types of work-products

 Calculates individual quality of requirements, models, physical models, etc.

 Uses Quality metrics and quality functions (within the CCC paradigm)

 Allows work-product improvements

 Manages the results of the verification process

 Includes scoreboard for verification evolution along time

 Supports the verification process along the supply chain (Using the concept of “certificates”)

The Verification Studio (Formerly called Requirements Quality Analyzer - RQA) allows you to define and manage the V&V of the SOI, System element or any kind of development work-product (requirements, SysML models, MODELICA models, etc.) by measuring, calculating and (eventually) improving their Quality.

Poor quality of work-products during the concept and design phases of a project leads to rework, extra costs, delays and, if not detected, severe consequences. A tool to automate the routine quality inspection and analysis of many types of work-products minimizes the cost of quality appraisals, while dramatically reducing the costs of poor quality.


Benefits of Verification Studio (V&V Studio)

Conformance with ISO 15288 / ISO 12207– The V&V Studio supports the Verification, Validation, Quality Assurance and Quality Management processes of the ISO 15288 SE Standard

  • Quality – While performing the verification process, the V&V Studio analyzes work-products using the agreed best practices, rules, checklists, policies, etc. identifying defects, inconsistencies, and incomplete information. As a result, the improvement and amendment of work-products produces a boost in the work-products, system and projects’ quality.
  • Time - Automating extremely time-consuming tasks will reduce the time spent on analysis, simulations, test, inspections, etc.
  • Money - Reducing rework (and consequently costs) caused by flaws at all levels in your systems work-products can be achieved by automating peer-reviewing and V&V processes.



Making V&V and Quality work together

Making the concept of quality analysis universal

Verification Studio (V&V Studio) extends the quality analysis concept applied in the Requirements Quality Analyzer (RQA) to many work-products generated during the systems engineering life cycle. Quality must be managed not only within requirements, but also logical models (UML or SysML), physical models, 3D models… and even textual documents (e.g. a SEMP): all these types of work-products can now be analyzed with V&V Studio.

Through a powerful and easy-to-use user interface, V&V Studio can be adapted to establish quality metrics for many different types of artifacts, which enables the quality of your work-products to be assessed by checking conformance with a set of agreed-upon rules.

Native connectors are provided out-of-the-box for multiple types of work-products, but also a smart XML parser can be used to parse and then analyze the quality of different schemas.


Requirements Quality Analysis in the Verification Studio

 System Quality Analyzer

When treating requirements, the Verification Studio (V&V Studio) can use hundreds of quality metrics to analyze different types of requirements repositories: IBM DOORS (both classic and NG), PTC Integrity Lifecyle Manager, Reqtify, Visure Solutions, MS Excel, ReqIF and OSLC compliant information sources. In addition, V&V Studio can analyze the quality of models from Rhapsody, Papyrus, MagicDraw, PTC Integrity Modeler, Simulink, Modelica tools and OSLC compliant diagrams. Microsoft Office documents quality control is also supported.

Correctness, Consistency and Completeness quality characteristics

Verification Studio provides 3 different types of metrics: correctness for individual items, (requirements, model elements…), and consistency and completeness for sets of items within a container (module, document, diagram…).


The concept of Verification (Quality) project

Verification Studio (V&V Studio) uses the notion of Verification Project to manage the verification and quality of a large sections or the whole Systems Engineering Development Project. A Verification Project calculates and manages the quality of a set of modules, models, documents and work-products of all types, allowing a proper and global Verification activity. A Verification Project might contain requirements documents, UML/SysML models, physical models, textual documents, spreadsheets…

V&V Studio applies different sets of quality rules and metrics to every work-product inside the Verification Project. A complete scoreboard is calculated adding the results of the quality and reports of the entire project.

  System Quality Analyzer

Verification Studio and the supply chain: The quality certificate

Verification Studio (V&V Studio) is key to reducing the interactions between purchasers and vendors throughout the supply chain by allowing all parties to share a common quality view. Purchasers can establish a set of metrics in V&V Studio (a quality certificate) and share this certificate with everyone in the supply chain. After that, the purchaser can receive periodic quality reports from the supplier allowing the visualization of the results with a mouse click.


Customizable Quality Functions

Different companies, different types of industries, methodologies and projects, different types of documents and diagrams at different levels of abstraction… Verification Studio (V&V Studio) is the tool that can cope with this plethora of different work-products, methods, processes and tools. V&V Studio provides tailored analysis and configurable assessments, represented in a centralized systems quality scoreboard, with the intention to provide a quick understanding of a project's quality and V&V status.


Metric libraries

Safety-critical systems must normally comply with standards. Beside the out-of-the-box standard metrics, other libraries are available from our website: the rules contained in the INCOSE Guide for Writing Requirements, the recommendations in the NASA’s Systems Engineering Handbook, the requirements patterns defined by EARS (the Easy Approach to Requirements Specification)…. You can also create your own set of metrics, and share it in the form of a quality library.


New natural languages

The current version of Verification Studio can analyze textual artifacts written in: English, French, German, Japanese, Spanish, Swedish and Italian.

SQA Languages

Verification Studio within the Systems Engineering Suite

  • The different Authoring Tools (RAT for Requirements Authoring Tool, RAT for Rhapsody Authoring Tool, etc.), create system work-products (requirements, model names, messages names, etc.) correctly from the very beginning in real time, using a set of rules defined in the Verification Studio.
  • The Knowledge Manager (KM) defines the textual patterns used by metrics, as well as the system knowledge model and controlled vocabulary used in the Verification Studio.
  • The Traceability Studio shares the connectivity capabilities and brings additional functionality to quality management, like traceability discovery.
  • The Requirements Engineering Studio (not for sale, only for custom projects) brings also additional functionality to quality management, like transformation of requirements to models, (and vice versa), requirements translation, generation of requirements from other requirements and generation of test cases from requirements or models.


Please contact us for further information