Verification and Validation of Behavior Models Using Lightweight Formal Methods
MetadataShow full item record
The research described herein provides a method for exposing invalid behaviors in systems of systems (SoS) early in design, at the architecture level. The Monterey Phoenix (MP)-based method for conducting behavior model verification and validation (V&V) was developed after students ranging from high school to the graduate level began discovering unintended, invalid, and potentially high consequence behaviors permitted by their designs. These unspecified behaviors were consistent with known requirements, but violated stakeholder intent. Examples from four models from different domains and developed by different students are presented, then used as a basis for developing a structured set of behavior model V&V criteria that may be applied to any MP model. Finally, the criteria are put into the context of a systematic method that guides modelers in a thorough V&V of the behavior model. The ease with which unspecified and potentially invalid behaviors were exposed by students at various levels of education suggests that this lightweight formal method approach for behavior model V&V is user-friendly for application by practitioners who have basic skills in logic and logical thinking. Follow-on work will further test the method on other MP behavior modeling efforts, with an aim to improve and extend behavior model V&V criteria and the methods in which they are employed.
The article of record as published may be found at http://dx.doi.org/10.1007/978-3-319-62217-0_31
Showing items related by title, author, creator and subject.
Powell, Craig A. (Monterey, California. Naval Postgraduate School, 2002-06);With competing demands on DOD's limited budget, outsourcing, within the OMB Circular A-76 framework, has been the vehicle of choice to attempt to achieve cost savings. However, the bureaucratic process is not always ...
Predictors of academic success of graduate students in the communications management curriculum of the U.S. Naval Postgraduate School Cook, Jon Leslie (Monterey, California. Naval Postgraduate School, 1974-09);A study of Communications Management students was conducted using a specially constructed biographical questionnaire, the Strong Vocational Interest Blank, the Graduate Record Examination, and undergraduate academic ...
Analyzing the Effects of Source Selection Method, Acquisition Type, and Service Component on Acquisition Outcomes Landale, Karen A. F.; Rendon, Rene G. (Monterey, California. Naval Postgraduate School, 2017-03); SYM-AM-17-043For years, one of the most hotly contested debates in contracting and acquisition has been the choice of source selection method and the contract-related consequences of that choice. While policy memos encourage contracting ...