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
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Dobrokhodov, Vladimir; Xargay, Enric; Hovakimyan, Naira; Kaminer, Isaac; Cao, Chengyu; Gregory, Irene M. (SAGE, 2013-04);This article presents an overview of the application of the Parameter Space Investigation method for the multicriteria design optimization of the ℒ1 adaptive flight control system implemented on the two turbine-powered ...
Powell, Craig A. (Monterey, California. Naval Postgraduate School, 2002);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 ...