Premium
Verification and Validation of SysML Models
Author(s) -
Hecht Myron,
Chen Jaron
Publication year - 2021
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2021.00857.x
Subject(s) - systems modeling language , correctness , computer science , domain (mathematical analysis) , software engineering , model validation , systems engineering , unified modeling language , data mining , programming language , engineering , software , data science , mathematical analysis , mathematics
Model Based Systems Engineering depends on correct models. However, thus far, relatively little attention has been paid to ensuring their correctness. This paper describes a methodology for performing verification and validation on models written in SysML. The methodology relies on a catalog of candidate requirements that can be tailored for a specific project. Both manual and automated methods are used to verify and validate these requirements. Manual methods are necessary where knowledge of the domain and other extrinsic characteristics are necessary. Automated methods can be used where the requirements cover the use of SysML. Examples from a public domain SysML model of a satellite are presented to demonstrate application of automated requirements verification.