Webinar 2 2015 - Automated Requirements Verification
Systems Modeling Language (SysML) is used to capture systems design as descriptive and analytical system models, which relate text requirements to the design and provide a baseline to support analysis and verification.This session will demonstrate how model of the system, expressed with sufficient precision, can be used to support early requirements validation and design verification, particularly when coupled with an execution and simulation environment.
Additionally, we will show how to use test cases and associated verification procedures as combination of inspection, analysis, demonstration, and testing to verify that the designs satisfy the system requirements.
The session demonstrates
- Enterprise Architecture Frameworks
- Representing text-based requirements in Cameo Systems Modeler
- Requirements traceability, gap and coverage analysis
- Refining and formalizing requirements
- Selecting verification method
- Defining testcases and analysis models
- Performing automated requirements verification
- Recording verification results, generating verification reports
Nerijus Jankevicius is a Product Manager at No Magic Inc, managing and envisioning the Model-Based Systems Engineering environment development.
During 17 years at No Magic, he was actively and deeply involved into development of MagicDraw, SysML plugin and Cameo Simulation Toolkit, helping to make them one of the most recognized MBSE solutions on the market.
During more than 10 years, Nerijus also contributed to UML and SysML standards working groups at Object Management Group (OMG), becoming one of the leading UML/SysML experts and consultants, one of the first OMG Certified Advanced UML 2.0 Professionals in Europe.
Nerijus delivered workshops and trainings in Systems Modeling and Model Based Systems Engineering (MBSE) at major facilities in research and industry like NASA/JPL, Bombardier Transportation, GE Transportation, Kongsberg Defense & Aerospace, Pratt & Whitney Canada, BAE Systems and MITRE, gave various presentations and talks at international conferences.