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