User manual MATLAB DO QUALIFICATION KIT 1

[. . . ] Other product or brand names may be trademarks or registered trademarks of their respective holders. Patents The MathWorks products are protected by one or more U. S. Please see www. mathworks. com/patents for more information. Revision History March 2009 Online only September 2009 Online only March 2010 Online only New for Version 1. 0 (Applies to Releases 2008b, 2009a) Revised for Version 1. 1 (Applies to Release 2009b) Revised for Version 1. 2 (Applies to Release 2010a) Contents Getting Started 1 DO Qualification Kit Product Overview . What is the DO Qualification Kit Product?What is Software Verification Tool Qualification for DO-178B? [. . . ] For information on criteria used to determine whether a tool needs to be qualified, see the "Requirement for Qualification" section of the Tool Qualification Plan for the relevant MathWorks verification tool. Can the DO Qualification Kit Product Be Applied to DO-254? You can use the DO Qualification Kit product to qualify verification tools for projects that follow the DO-254 standard. The process for tool qualification is described in Section 11. 4 of the DO-254 standard. The Simulink® Verification and ValidationTM and SystemTestTM verification tools are applicable to DO-254 projects. However, PolySpace® verification tools are not applicable to DO-254 projects. To take credit for DO-254, modify the Tool Qualification Plan provided in the DO Qualification Kit product for the applicable verification tool. DO Qualification Kit Components Supported MathWorks Software Verification Tools The DO Qualification Kit product includes document templates, test cases, and test procedures that you need to qualify the following MathWorks software verification tools: · Simulink Verification and Validation (DO-178B checks; model coverage) · SystemTest (Limit Check element) · PolySpace® ClientTM for C/C++; PolySpace® ServerTM for C/C++ 1-3 1 Getting Started Note By qualifying the model coverage capability of the Simulink Verification and Validation product, you can claim credit for demonstrating completeness and correctness of the test cases generated by Simulink® Design VerifierTM. Use the model coverage capability instead of reviewing the Simulink Design Verifier report. You can demonstrate completeness and correctness by running the generated test cases against the model, measuring the model coverage, and reviewing the model coverage report. You can run the test cases on the executable object code and compare the actual results to the simulation results. The model coverage capability does not assess the correctness of the simulation results, only the test case coverage of the model. Therefore, you must verify that the expected results from the model are correct. In addition to this documentation, the DO Qualification Kit product consists of the qualification documents described in the following sections. The qualification documents are located in your MATLAB® installation directory at matlabroot\toolbox\qualkits\do. Although the kit contains the documents and tests that you need to qualify the supported tools, you must determine how to apply the documents and tests to your specific project or application. Refer to the PDF version of a qualification document to become familiar with the qualification process and the required content. To customize the qualification documents for your specific project or application, modify the RTF versions. Simulink Verification and Validation Product The DO Qualification Kit product supports qualifying the following versions and features of the Simulink Verification and Validation verification tool: · Version 2. 7 (R2010a): DO-178B checks · Version 2. 7 (R2010a): Model coverage Document templates, test cases, and test procedures are in the following folder: matlabroot\toolbox\qualkits\do\slvnv\r2010a\ 1-4 DO Qualification Kit Product Overview The following table lists qualification documents, and the primary files associated with the qualification documents. Qualification Documents Tool Qualification Plan (TQP) Tool Operational Requirements (TOR) and supporting documentation Files qualkitdo_slvnv_tqp. pdf qualkitdo_slvnv_tqp. rtf qualkitdo_slvnv_tor. pdf qualkitdo_slvnv_tor. rtf qualkitdo_slvnv_ma_ui. pdf qualkitdo_slvnv_mc_ui. pdf qualkitdo_slvnv_tcpr. pdf qualkitdo_slvnv_tcpr. rtf qualkitdo_slvnv_tcpr*. rpt qualkitdo_slvnv_tcpr*. xls tests\*. mdl outputs\ qualkitdo_slvnv_qualificationreport*. html Test Cases, Procedures, and Results (TCPR), and supporting documentation SystemTest Product The DO Qualification Kit product supports qualifying the following version and feature of the SystemTest verification tool: Version 2. 5 (R2010a): Limit Check element Document templates, test cases, and test procedures are in the following folder: matlabroot\toolbox\qualkits\do\systemtest\r2010a\ The following table lists qualification documents, and the primary files associated with the qualification documents. 1-5 1 Getting Started Qualification Documents Tool Qualification Plan (TQP) Tool Operational Requirements (TOR) and supporting documentation Test Cases, Procedures, and Results (TCPR), and supporting documentation Files qualkitdo_systemtest_tqp. pdf qualkitdo_systemtest_tqp. rtf qualkitdo_systemtest_tor. pdf qualkitdo_systemtest_tor. rtf qualkitdo_systemtest_lc_ui. pdf qualkitdo_systemtest_tcpr. pdf qualkitdo_systemtest_tcpr. rtf qualkitdo_systemtest_tcpr. test outputs\qualkitdo_systemtest_tcpr_report\ qualkitdo_systemtest_qualificationreport. html PolySpace Products for C/C++ The DO Qualification Kit product supports qualifying the following version and feature of PolySpace code verification tools: Version 7. 2 (R2010a): PolySpace Client for C/C++; PolySpace Server for C/C++ Document templates, test cases, and test procedures are in the following folder: matlabroot\toolbox\qualkits\do\polyspace\r2010a\ The following table lists qualification documents, and the primary files associated with the qualification documents. Qualification Documents Theoretical Foundation (TF) Tool Qualification Plan (TQP) Files qualkitdo_polyspace_tf. pdf qualkitdo_polyspace_tf. rtf qualkitdo_polyspace_tqp. pdf qualkitdo_polyspace_tqp. rtf 1-6 DO Qualification Kit Product Overview Qualification Documents Tool Operational Requirements (TOR) Tests Cases, Procedures, and Results (TCPR), and supporting documentation Files qualkitdo_polyspace_tor. pdf qualkitdo_polyspace_tor. rtf qualkitdo_polyspace_tcpr. pdf qualkitdo_polyspace_tcpr. rtf Matrix_*. txt tests\qualkitdo_polyspace_tcpr. * tests\tor-checks\tor-checks. txt tests\*\*_rules. txt tests\*\*. c tests\*\*. cpp outputs\ qualkitdo_polyspace_qualificationreport_*. txt What Certification Credit Can be Achieved By Qualifying MathWorks Verification Tools? For a list of areas of the DO-178B standard for which some certification credit (meet or replace DO-178B objectives) can be achieved by qualifying MathWorks verification tools, see the "Certification Credit" section of the Tool Qualification Plan for the relevant tool. The amount of credit that can be achieved is dependent upon the development processes used and how verification tools are applied within the processes. Required Knowledge Before using the DO Qualification Kit product, make sure that you have: · Knowledge about developing safety-critical software. To propose a Tool Qualification Plan, complete the following steps for each tool that you plan to qualify: 1 Identify a MathWorks software verification tool that you plan to qualify. 2 Locate the PDF version of the Tool Qualification Plan document provided for the tool in the DO Qualification Kit product. [. . . ] For more information, see "Executing the Test Cases and Procedures" in the Test Cases, Procedures, and Results document for the verification tool you are qualifying. 6 Review the test results. If the results are not correct: 2-5 2 Qualifying Tools for DO-178B Certification · Verify that correct versions of all required MathWorks software are installed correctly and being used. · Check whether known bug reports related to this product exist on The MathWorks Web site (www. mathworks. com). · Contact MathWorks support for assistance. [. . . ]