IV&V Facility Research Program Results and SARP Results  

Advanced Search
Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.

Click here to view research projects that had new research results added in the last 90 days.


Documenting Failures of MATLAB/Simulink Code Generator
Point of Contact Mario Perhinschi
Mario.Perhinschi@mail.wvu.edu
Dates January 2005 - December 2005
Problem Extensive research sponsored by NASA is currently performed at West Virginia University (WVU) to design intelligent adaptive control laws based on neural networks (NNs); furthermore, these control laws are flight-tested using F22 aircraft scale models. The control laws are designed within a Matlab/Simulink environment. For implementation purposes, a C code obtained using Real Time Workshop (RTW) is installed on the on-board computer. Previous experience has shown that occasionally the results obtained with the auto-generated C code are different as compared to the results from the "originating" Simulink model. The proposed research effort is aimed at performing a systematic investigation to identify those Simulink model implementation characteristics that produce inconsistencies in the auto-generated C code, evaluate the nature and magnitude of the inconsistencies, and provide "good practice" guidelines for Simulink model implementation to ensure proper conversion via the current version of RTW. The results of this effort will contribute to improve the verification and validation practices for NASA projects that involve Matlab/Simulink models.
Objective
  • By 04/30/2005 we expect to outline the procedure to perform the verification of Simulink blocks converted into C code using RTW.
  • By 12/31/2005 we expect to identify a set of Simulink model implementation characteristics that produce inconsistency in the results obtained with RTW based model conversion.
  • Results SAS 05 Technical Presentation.ppt
    SAS 05 Executive Presentation.ppt
    Final technical report.ZIP
    Keywords Verification and Validation, MATLAB and Real Time Workshop, Adaptive Control System, Neural Network
    Categories Domain-Specific Analysis
    Issue & Risk Tracking
    Test Analysis