ISO26262 compatibel acceptance test of safety-critical platform software

Purpose and goal

The project has resulted in a methodology for acceptance testing of safety-critical platform software, which has been the overall project goal. The project objectives have been met well and even issues outside the original project have been resolved. The project´s activities and results have generated interest internationally through presentations at international conferences. The project participants are after the completion of the project well equipped to implement the proposed methodology in real production Projects.

Results and expected effects

The project has within its area of technology, contributed to the overall project goal to raise the technical level of maturity and efficiency of methods in product development, to be able to industrialize faster results and increase customer value. It has also helped to ensure that the Swedish automotive industry contributes and accesses methods, tools and world-class expertise to enable rapid and efficient development. The project participants are after completion of the project, well equipped to implement the proposed methodology in production projects.

Approach and implementation

The methodology is based on creating configurable formal models of AUTOSAR basic software components. These models can be used for finding out which requirements from the software specification are safety-critical for a specific use-case. They can also be used for generating test cases for black-box testing of a BSW module from a supplier; the implementation can be tested until we achieve 100% coverage of the safety related features and scenarios. The coverage metrics is related to the state space of requirement model. The methodology is shown feasible by implementation in an example.