NASA/ASCA - Risk-Informed Logic-Dynamic Validation and Verification Of Model Based and Adaptive Control Systems
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.