14
Application Report SPNU586C – July 2013 – Revised November 2014 SafeTI Compiler Qualification Kit Quick Start Guide ABSTRACT This document describes the necessary tasks performed during the qualification process of the TI C/C++ Compiler. Contents 1 Background ................................................................................................................... 1 2 Qualification Tasks .......................................................................................................... 1 2.1 Planning and Classification ........................................................................................ 1 2.2 Qualification ........................................................................................................ 12 2.3 Documentation..................................................................................................... 13 1 Background To ensure proper and safe usage of tools, standards for the development of safety critical systems such as the ISO 26262, the DO-178C, and the IEC 61508, should be followed by system developers to adequately document their tool use procedures. The Tool Safety Manual (TSM) documents the restrictions for the tool that are derived from tool qualification; they can be either restrictions due to potential feature errors that have not been excluded by validation tests, or due to real errors that are known or observed during the validation tests. This quick start guide describes how to use the SafeTI™ Compiler Qualification Kit, and to assist customers in qualifying the TI C/C++ Compiler according to ISO 26262 and other standards to ensure that it does not negatively influence the safety of the developed products during its operation. The SafeTI Compiler Qualification Kit is based on a model and contains documentation templates (such as the TSM) that are used to generate the qualification documents. A test plan is also generated based on user selected features and mitigations for the compiler . The SafeTI™ Compiler Qualification Kit User's Guide (SPNU585), and qualification support tools are included in the kit to guide you through the qualification process. 2 Qualification Tasks The tasks performed during qualification are planning, qualification, and documentation. 2.1 Planning and Classification Planning can be done at a less detailed level without the kit. However, use the Qualification Support Tool (QST) if a more detailed analysis is necessary to classify and determine the qualification need. 2.1.1 Classification Support Tool (CST) vs Qualified Support Tool (QST) This document covers both the free demo kit and the full qualification kit. The full qualification kit includes the Qualification Support Tool (QST) which is used for tool analysis for tool classification, generates the safety qualification plan, and generates the Test Automation Unit (TAU) test list. The TAU is used to execute the QST-generated test list. The free demo kit only includes the Classification Support Tool (CST) which is a reduced feature version of the QST and is limited to classification of the tool. The free demo kit does not include the TAU. 1 SPNU586C – July 2013 – Revised November 2014 SafeTI ™ Compiler Qualification Kit Quick Start Guide Submit Documentation Feedback Copyright © 2013–2014, Texas Instruments Incorporated

SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

Embed Size (px)

Citation preview

Page 1: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

Application ReportSPNU586C–July 2013–Revised November 2014

SafeTI Compiler Qualification Kit Quick Start Guide

ABSTRACTThis document describes the necessary tasks performed during the qualification process of the TI C/C++Compiler.

Contents1 Background ................................................................................................................... 12 Qualification Tasks .......................................................................................................... 1

2.1 Planning and Classification........................................................................................ 12.2 Qualification ........................................................................................................ 122.3 Documentation..................................................................................................... 13

1 BackgroundTo ensure proper and safe usage of tools, standards for the development of safety critical systems suchas the ISO 26262, the DO-178C, and the IEC 61508, should be followed by system developers toadequately document their tool use procedures. The Tool Safety Manual (TSM) documents the restrictionsfor the tool that are derived from tool qualification; they can be either restrictions due to potential featureerrors that have not been excluded by validation tests, or due to real errors that are known or observedduring the validation tests.

This quick start guide describes how to use the SafeTI™ Compiler Qualification Kit, and to assistcustomers in qualifying the TI C/C++ Compiler according to ISO 26262 and other standards to ensure thatit does not negatively influence the safety of the developed products during its operation.

The SafeTI Compiler Qualification Kit is based on a model and contains documentation templates (suchas the TSM) that are used to generate the qualification documents. A test plan is also generated based onuser selected features and mitigations for the compiler .

The SafeTI™ Compiler Qualification Kit User's Guide (SPNU585), and qualification support tools areincluded in the kit to guide you through the qualification process.

2 Qualification TasksThe tasks performed during qualification are planning, qualification, and documentation.

2.1 Planning and ClassificationPlanning can be done at a less detailed level without the kit. However, use the Qualification Support Tool(QST) if a more detailed analysis is necessary to classify and determine the qualification need.

2.1.1 Classification Support Tool (CST) vs Qualified Support Tool (QST)This document covers both the free demo kit and the full qualification kit. The full qualification kit includesthe Qualification Support Tool (QST) which is used for tool analysis for tool classification, generates thesafety qualification plan, and generates the Test Automation Unit (TAU) test list. The TAU is used toexecute the QST-generated test list. The free demo kit only includes the Classification Support Tool (CST)which is a reduced feature version of the QST and is limited to classification of the tool. The free demo kitdoes not include the TAU.

1SPNU586C–July 2013–Revised November 2014 SafeTI ™ Compiler Qualification Kit Quick Start GuideSubmit Documentation Feedback

Copyright © 2013–2014, Texas Instruments Incorporated

Page 2: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

Qualification Tasks www.ti.com

2.1.2 Start the ToolTo start the tool, double-click on the executables below:• Free demo kit: install _location\qkit\CST\Validas Classification Support Tool.exe

Classification Support Tool from Free Demo Kit

• Full qualification kit: install_location\qkit\/QST\Validas Qualification Support Tool.exe

2 SafeTI ™ Compiler Qualification Kit Quick Start Guide SPNU586C–July 2013–Revised November 2014Submit Documentation Feedback

Copyright © 2013–2014, Texas Instruments Incorporated

Page 3: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

www.ti.com Qualification Tasks

Classification Support Tool from Free Demo Kit (continued)

Qualification Support Tool From Full Qualification

The remainder of this guide will only mention the QST. The CST is a reduced functionality version of theQST.

2.1.3 Tool DefinitionFor tool definition, select the version and the features of the tool (see tool options and processed inputs,list of supported versions, and list of supported features).

2.1.4 Process DefinitionFor process definition, select the measures that could be used to detect and mitigate potential tools errors(see the list of all available mitigations).

2.1.5 Confidence ClassificationDetermine the qualification need of the TI C/C++ Compiler by verifying if all potential tool errors in theused features, have a high mitigation probability in the process defined by the selected mitigations. If thisis the case, the following section on qualification can be omitted and only documentation of the mitigationsin the TSM and the tool classification report is required. The tool qualification needs and the requireddocuments can be generated using the QST.

3SPNU586C–July 2013–Revised November 2014 SafeTI ™ Compiler Qualification Kit Quick Start GuideSubmit Documentation Feedback

Copyright © 2013–2014, Texas Instruments Incorporated

Page 4: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

Qualification Tasks www.ti.com

2.1.6 QST Feature and Mitigation SelectionThe following figures are included to guide you in selecting the features and mitigations.• Select the appropriate safety standard

Safety Standards

4 SafeTI ™ Compiler Qualification Kit Quick Start Guide SPNU586C–July 2013–Revised November 2014Submit Documentation Feedback

Copyright © 2013–2014, Texas Instruments Incorporated

Page 5: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

www.ti.com Qualification Tasks

Safety Standards (continued)• Select the compiler being qualified

Compiler Being Qualified

5SPNU586C–July 2013–Revised November 2014 SafeTI ™ Compiler Qualification Kit Quick Start GuideSubmit Documentation Feedback

Copyright © 2013–2014, Texas Instruments Incorporated

Page 6: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

Qualification Tasks www.ti.com

Compiler Being Qualified (continued)• Select tools to qualify from the list

Mitigation for Potential Error

• Click on Next to see the screen below for inputting the compiler version and bug list

6 SafeTI ™ Compiler Qualification Kit Quick Start Guide SPNU586C–July 2013–Revised November 2014Submit Documentation Feedback

Copyright © 2013–2014, Texas Instruments Incorporated

Page 7: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

www.ti.com Qualification Tasks

Mitigation for Potential Error (continued)

Options for Compiler Version and Bug List

7SPNU586C–July 2013–Revised November 2014 SafeTI ™ Compiler Qualification Kit Quick Start GuideSubmit Documentation Feedback

Copyright © 2013–2014, Texas Instruments Incorporated

Page 8: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

Qualification Tasks www.ti.com

Options for Compiler Version and Bug List (continued)• Select the compiler version or "New Version" to input a new one

Select Compiler Version

• Next, to import a known bug list, click OK and drive to DefectHistory.txt file for the compiler beingqualified

8 SafeTI ™ Compiler Qualification Kit Quick Start Guide SPNU586C–July 2013–Revised November 2014Submit Documentation Feedback

Copyright © 2013–2014, Texas Instruments Incorporated

Page 9: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

www.ti.com Qualification Tasks

Select Compiler Version (continued)

Import a Known Bug List

Defect History

9SPNU586C–July 2013–Revised November 2014 SafeTI ™ Compiler Qualification Kit Quick Start GuideSubmit Documentation Feedback

Copyright © 2013–2014, Texas Instruments Incorporated

Page 10: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

Qualification Tasks www.ti.com

Defect History (continued)• Click Next to see the list of features. Select the compiler features you use

List of Compiler Features

10 SafeTI ™ Compiler Qualification Kit Quick Start Guide SPNU586C–July 2013–Revised November 2014Submit Documentation Feedback

Copyright © 2013–2014, Texas Instruments Incorporated

Page 11: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

www.ti.com Qualification Tasks

List of Compiler Features (continued)• Click "Next” to select test cases and mitigations. Click the “Back” button to add more features. Click

“Next” again to get to the final summary screen.

Test Cases and Mitigations

11SPNU586C–July 2013–Revised November 2014 SafeTI ™ Compiler Qualification Kit Quick Start GuideSubmit Documentation Feedback

Copyright © 2013–2014, Texas Instruments Incorporated

Page 12: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

Qualification Tasks www.ti.com

2.2 QualificationTool qualification is only necessary if the tool has been classified as requiring confidence. ToolQualification Test shows that after selecting features and mitigations for potential errors, there is only onetest to run, and so users must qualify their use of the TI compiler. The full qualification kit will be required.

Tool Qualification Test

12 SafeTI ™ Compiler Qualification Kit Quick Start Guide SPNU586C–July 2013–Revised November 2014Submit Documentation Feedback

Copyright © 2013–2014, Texas Instruments Incorporated

Page 13: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

www.ti.com Qualification Tasks

Tool Qualification Test (continued)2.2.1 Qualification Planning

Create a tool qualification plan using the QST, and plan the following steps that are included in the nexttwo sections.

2.2.2 Qualification PreparationQualification preparation includes the following steps:1. Create a test plan using the qualification support tool.2. Install the test automation unit, including the instrumented version of the compiler as documented in

the Test Automation Unit (TAU) User Guide).NOTE: See TAU_User_Guide.pdf for details on running the coverage instrumented compiler.

3. Using the coverage instrumented compiler, compile your application tests and verify if they aresuccessful.

4. Move the code coverage results to a temporary folder.5. Using the coverage instrumented compiler, run the qualification tests according to the test plan and the

Test Automation Unit User Manual.6. Move the code coverage results to a new temporary folder.7. Submit both coverage folders to Validas / TI for analysis if the tests are sufficient for your application. If

not, extend the tests until sufficient coverage is achieved.8. Analyze the test results until all errors and deviations of the kit are mitigatable.

2.2.3 Golden Qualification RunThe following steps are needed for the qualification run:1. Run the qualification tests according to the test plan and the TAU User Guide.2. Save the test results in the test report as described in the TAU User Guide.3. Analyze the test results (comparing with the preparation tests) and document the detected errors

together with necessary mitigations in the tool qualification report (extending the tool qualification plan).

2.3 DocumentationThere are many documents that need to be created (see the SafeTI™Compiler Qualification Kit, literaturenumber SPNU585). These documents are generated from the qualification support tool. The onlyadaptations the user has to perform manually are:• Describe the qualification project (roles, dates, etc.) in the tool qualification plan.• Extend the tool qualification plan to the tool qualification report by adding the found errors and

mitigations.• Add the necessary mitigation from the tool qualification report to the generated tool safety manual.

13SPNU586C–July 2013–Revised November 2014 SafeTI ™ Compiler Qualification Kit Quick Start GuideSubmit Documentation Feedback

Copyright © 2013–2014, Texas Instruments Incorporated

Page 14: SafeTI Compiler Qualification Kit Quick Start Guide … · SafeTI Compiler Qualification Kit Quick Start Guide ... 2.1.1 Classification ... SPNU586C–July 2013–Revised November

IMPORTANT NOTICE

Texas Instruments Incorporated and its subsidiaries (TI) reserve the right to make corrections, enhancements, improvements and otherchanges to its semiconductor products and services per JESD46, latest issue, and to discontinue any product or service per JESD48, latestissue. Buyers should obtain the latest relevant information before placing orders and should verify that such information is current andcomplete. All semiconductor products (also referred to herein as “components”) are sold subject to TI’s terms and conditions of salesupplied at the time of order acknowledgment.TI warrants performance of its components to the specifications applicable at the time of sale, in accordance with the warranty in TI’s termsand conditions of sale of semiconductor products. Testing and other quality control techniques are used to the extent TI deems necessaryto support this warranty. Except where mandated by applicable law, testing of all parameters of each component is not necessarilyperformed.TI assumes no liability for applications assistance or the design of Buyers’ products. Buyers are responsible for their products andapplications using TI components. To minimize the risks associated with Buyers’ products and applications, Buyers should provideadequate design and operating safeguards.TI does not warrant or represent that any license, either express or implied, is granted under any patent right, copyright, mask work right, orother intellectual property right relating to any combination, machine, or process in which TI components or services are used. Informationpublished by TI regarding third-party products or services does not constitute a license to use such products or services or a warranty orendorsement thereof. Use of such information may require a license from a third party under the patents or other intellectual property of thethird party, or a license from TI under the patents or other intellectual property of TI.Reproduction of significant portions of TI information in TI data books or data sheets is permissible only if reproduction is without alterationand is accompanied by all associated warranties, conditions, limitations, and notices. TI is not responsible or liable for such altereddocumentation. Information of third parties may be subject to additional restrictions.Resale of TI components or services with statements different from or beyond the parameters stated by TI for that component or servicevoids all express and any implied warranties for the associated TI component or service and is an unfair and deceptive business practice.TI is not responsible or liable for any such statements.Buyer acknowledges and agrees that it is solely responsible for compliance with all legal, regulatory and safety-related requirementsconcerning its products, and any use of TI components in its applications, notwithstanding any applications-related information or supportthat may be provided by TI. Buyer represents and agrees that it has all the necessary expertise to create and implement safeguards whichanticipate dangerous consequences of failures, monitor failures and their consequences, lessen the likelihood of failures that might causeharm and take appropriate remedial actions. Buyer will fully indemnify TI and its representatives against any damages arising out of the useof any TI components in safety-critical applications.In some cases, TI components may be promoted specifically to facilitate safety-related applications. With such components, TI’s goal is tohelp enable customers to design and create their own end-product solutions that meet applicable functional safety standards andrequirements. Nonetheless, such components are subject to these terms.No TI components are authorized for use in FDA Class III (or similar life-critical medical equipment) unless authorized officers of the partieshave executed a special agreement specifically governing such use.Only those TI components which TI has specifically designated as military grade or “enhanced plastic” are designed and intended for use inmilitary/aerospace applications or environments. Buyer acknowledges and agrees that any military or aerospace use of TI componentswhich have not been so designated is solely at the Buyer's risk, and that Buyer is solely responsible for compliance with all legal andregulatory requirements in connection with such use.TI has specifically designated certain components as meeting ISO/TS16949 requirements, mainly for automotive use. In any case of use ofnon-designated products, TI will not be responsible for any failure to meet ISO/TS16949.

Products ApplicationsAudio www.ti.com/audio Automotive and Transportation www.ti.com/automotiveAmplifiers amplifier.ti.com Communications and Telecom www.ti.com/communicationsData Converters dataconverter.ti.com Computers and Peripherals www.ti.com/computersDLP® Products www.dlp.com Consumer Electronics www.ti.com/consumer-appsDSP dsp.ti.com Energy and Lighting www.ti.com/energyClocks and Timers www.ti.com/clocks Industrial www.ti.com/industrialInterface interface.ti.com Medical www.ti.com/medicalLogic logic.ti.com Security www.ti.com/securityPower Mgmt power.ti.com Space, Avionics and Defense www.ti.com/space-avionics-defenseMicrocontrollers microcontroller.ti.com Video and Imaging www.ti.com/videoRFID www.ti-rfid.comOMAP Applications Processors www.ti.com/omap TI E2E Community e2e.ti.comWireless Connectivity www.ti.com/wirelessconnectivity

Mailing Address: Texas Instruments, Post Office Box 655303, Dallas, Texas 75265Copyright © 2014, Texas Instruments Incorporated