Summaries - Research
Back Model-Based Systems Engineering: Lightweight Verification and Validation of Systems with Uncertainty
|Division||Graduate School of Operational & Information Sciences|
Michael, James B.
|Sponsor||Program Executive Office, Command Control Communications Computers & Intelligence (Navy)|
|Summary||An important area of Model-Based Systems Engineering is Lightweight automated Validation and Verification (LV&V) of mission-critical systems operating in uncertain environments. We propose to investigate the technical feasibility of applying Cross Entropy Falsification in combination with Bayesian Logic to verify the behavior of the system under test, its (uncertain) environment, and accompanying LV&V and runtime verification (RV) formal specification properties. We will investigate and demonstrate the application of BL to LV&V/RV of mission-critical systems with inherent uncertainties, such as those use in anti-submarine warfare.|
|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|