User manual MATLAB DO QUALIFICATION KIT 1

[. . . ] The software may be used or copied only under the terms of the license agreement. No part of this manual may be photocopied or reproduced in any form without prior written consent from The MathWorks, Inc. FEDERAL ACQUISITION: This provision applies to all acquisitions of the Program and Documentation by, for, or through the federal government of the United States. By accepting delivery of the Program or Documentation, the government hereby agrees that this software or documentation qualifies as commercial computer software or commercial computer software documentation as such terms are used or defined in FAR 12. 212, DFARS Part 227. 72, and DFARS 252. 227-7014. [. . . ] 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. Review the document for applicability to your project. 3 Locate and make a copy of the . rtf Tool Qualification Plan template file for that tool. [. . . ] · Check whether known bug reports related to this product exist on The MathWorks Web site (www. mathworks. com). · Document a limitation of the tool usage in your Tool Accomplishments Summary if you cannot resolve the test failure. 7 Configure the test results in your project configuration management system. After you complete this procedure, document and provide the results to certification authorities, as described in "Provide Certification Authorities with Tool Qualification Results" on page 2-7. 2-6 Provide Certification Authorities with Tool Qualification Results Provide Certification Authorities with Tool Qualification Results After you verify whether the tool satisfies tool operational requirements, complete the following steps for each tool that you are qualifying. 1 Document the test results in a Tool Accomplishment Summary. 2 Add an entry that summarizes the results of the tool qualification to the Software Accomplishment Summary (SAS). [. . . ]