New Research Results Added in the Last 90 Days

Research Projects

• Bounds Computation for Adaptive Systems V&V
• Classifying Software Faults to Improve Fault Detection Effectiveness
• Infusion of Requirements Assistance into CEV IV&V Validation Activities
• Integrating Model-Based Software Assurance using AADL into System Development V&V Process
• Model-Based Software Assurance with the SAE Architecture Analysis & Design Language (AADL)
• Product-Line Verification of Safety-Critical Software
• Software Reliability Techniques Applied to Constellation
• Supporting Model-Based Systems and Software Engineering with SpecTRM
• Using Auto-Generated Diagnostic Trees To Support Verification of Safety-Critical Test Procedures