Summaries - Research
Back Verification and Validation (V&V) of System Behavior Specifications
|Division||Graduate School of Engineering & Applied Science|
|Investigator(s)||Giammarco, Kristin M.|
|Sponsor||Naval Air Systems Command (Navy)|
The NAVAIR workforce has a need for Model Centric Systems Engineering (MCSE) methods, processes and tools (MPTs) capable of assessing the goodness of system behavior specifications and other requirements earlier in the lifecycle of a system. In particular, the NAVAIR Systems Engineering Transformation (SET) initiative aims to leverage and extend existing research in the area of MPTs for performing early Verification & Validation (V&V) of requirements and architecture models managed within its organization, and to educate its workforce in the use of automated tools for conducting early and continuous V&V across the entire lifecycle. A NAVAIR-relevant system will be specified for use as a case study to test new or improved MPTs that are developed as a result of this task, which are expected to apply to other systems in many domains throughout DOD.
The need described above is the basis for the following FY17-18 research task objectives:
- formalize provided behavior specifications into MCSE architecture tool(s),
- demonstrate the use of the resulting architecture model for early V&V analysis of requirements, and
- capture formalized patterns of common design flaws or other model properties in a patterns catalog.
|Keywords||Monterey Phoenix System Architecture Validation Verification formal methods|
|Publications||Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal|
|Data||Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal|