Automating Rule-Checking to Identify SysML Modeling Errors: A Preliminary Study in a Classroom Environment
Michael Vinarcik (College of Engineering and Science, University of Detroit Mercy) Sukhwan Jung, Alajandro Salado (Department of Systems and Industrial Engineering, University of Arizona)
Keywords
Model-Based Systems Engineering (MBSE);System Modeling Language (SysML);verification and validation;systems engineering education
Abstract
This paper provides an empirical insight into this benefit through a study of models developed by students in a graduate MBSE course. The study shows that the term project models resulted in nearly zero latent errors when non-stylistic rules are concerned, with most of the latent errors categorized stylistic rather than fundamental violations.