Research Summaries

Back Model-Based Systems Engineering: Lightweight Verification and Validation of Systems with Uncertainty

Fiscal Year 2021
Division Graduate School of Operational & Information Sciences
Department Computer Science
Investigator(s) Drusinsky, Doron
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.
Keywords
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