Automating Rule-Checking to Identify SysML Modeling Errors: A Preliminary Study in a Classroom Environment

Model-Based Systems Engineering (MBSE);System Modeling Language (SysML);verification and validation;systems engineering education

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.