NASA/ASCA - Risk-Informed Logic-Dynamic Validation and Verification Of Model Based and Adaptive Control Systems

This project seeks the development of a comprehensive framework for the validation and verification (V&V) of model-based control systems (MBCSs) and adaptive control systems (ACSs), two important and emerging classes of software-intensive aeronautic control systems for which the application of traditional V&V methods present serious challenges.

The main technical objective of the proposed work is the formulation and demonstration of an optimized formal V&V methodology, i.e., a combination of logic-dynamic model constructs, implementing time-dependent multi-valued discrete logic and associated with complementary deductive-inductive analysis processes.