Announcement of Public Defense
March 27, 2025
11am – 12:30pm
A SYSML v2 IMPLEMENTATION OF A TRACEABILITY AND VERIFICATION METAMODEL FOR “-ILITIES”
Pacifique Munezero
M.E.M Dec 2021, Old Dominion University
B.S. May 2016, Virginia Commonwealth University
Director: Holly A. H. Handley, PhD, PE
ABSTRACT
Multidisciplinary knowledge and exchange of information are two of the most important aspects of complex system design within the Model-Based Systems Engineering (MBSE) domain. The next generation of systems modeling language, SysML v2, is being developed to improve the precision, expressiveness, interoperability, consistency, integration of the language concepts relative to SysML v1, and the implementation and maturation of MBSE approaches. This research fills a gap in the body of knowledge with a unified set of information, compiled in a metamodel using the next-generation systems engineering language, SysML v2, to evaluate and support standardized definition and verification of Non-Functional Requirements (NFRs), referred to as -ilities. The selected set of -ilities are safety, human system integration, and cybersecurity. The rationale for this selection is based on past studies that have documented the need to evaluate safety risks that involve humans in the loop and cybersecurity considerations.
This research follows the iterative and incremental approach outlined in the Design Science Research Methodology to compile general characteristics for -ilities, writing them with SysML v2 syntax, and then applying the resulting metamodel to two complex system architectures within an Eclipse Integrated Development Environment. The resulting metamodel is composed of SysML v2 parameterized requirements constructs, notations for analysis and verification, and relationships that can be generalized to other -ilities with implementation steps aligned with ISO/IEC/IEEE 29148, the standard for systems and software requirements engineering. These contributions lower the barrier of adoption for SysMLv2, support the standard and consistent modeling within the MBSE domain, and advance multidisciplinary analysis.
Zoom Meeting Information:
https://odu.zoom.us/j/96734488650?pwd=8Og0h3yxaL8jXh84uGAKy2zexiXYcW.1&from=addon
Meeting ID: 967 3448 8650
Passcode: 440741
Biography
Ms. Pacifique Munezero is passionate about the intersection between Digital Engineering, Model Based Systems Engineering (MBSE), and Systems Safety. She works in the Platform Systems Integration Safety Branch at the Naval Surface Warfare Center Dahlgren Division (NSWCDD). She is certified in the Systems Modeling Language through Object Management Group. She holds a Digital Engineering for Department of Defense Consumers credential from Defense Acquisition University (DAU). Throughout her career in the Department of Defense since 2018, she has supported several programs including USS Gerald Ford (CVN 78), Ship to Shore Connector, Guide Missile Frigate (FFG), Littoral Combat Ship (LCS), Unmanned Surface Vessel (USV), Nulka, and the Integrated Warfare Systems Software Factory (Forge). Her current role is Principal Investigator for Digital Engineering and MBSE research in the System Safety Engineering Division through the Naval Innovation Science and Engineering (NISE)/219 Program under the NSWCDD Technology Office. Pacifique has authored and presented multiple research papers at the International System Safety Conference and the Institute of Electrical and Electronics Engineers in 2022, 2023, and 2024.