Khastgir, Siddartha, Dhadyalla, Gunwant and Jennings, P. A. (Paul A.) (2016) Incorporating ISO 26262 concepts in an automated testing toolchain using simulink design verifier™. SAE International Journal of Passenger Cars - Electronic and Electrical Systems, 9 (1). pp. 59-65. doi:10.4271/2016-01-0032 ISSN 1946-4614.

Research output not available from this repository.

Request-a-Copy directly from author or use local Library Get it For Me service.

Request Changes to record.

Abstract

The introduction of ISO 26262 concepts has brought important changes in the software development process for automotive software. While making the process more robust by introducing various additional methods of verification and validation, there has been a substantial increase in the development time. Thus, test automation and front loading approaches have become important to meet product timelines and quality. This paper proposes automated testing methods using formal analysis tools like Simulink Design Verifier™ (SLDV) for boundary value testing and interface testing to address the demands of ISO 26262 concepts at unit and component level. In addition, the method of automated boundary value testing proposed differs from the traditional methods and the authors offer an argument as to why the traditional boundary value testing is not required at unit (function) level. There are two aspects of the proposed method: automated test case generation and automated test case execution. The paper discusses the benefits of automatic test case execution when combined with automatic test case generation. Traditional test automation implements the former and has limited advantages. One of the challenges with traditional application of the formal analysis tool is the time taken by the tool to reach to a conclusive decision for the triggered activity, i.e., the execution time of the tool. This shortcoming is overcome by an automated setup where the test framework is triggered during out of office hours, which saves developer’s work time. As a work product of the automated test execution, the developers receive test documentation which provides them with an overview of the results and specific test vectors for further analysis.

Item Type:	Journal Article
Divisions:	Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group)
Journal or Publication Title:	SAE International Journal of Passenger Cars - Electronic and Electrical Systems
Publisher:	S A E Inc.
ISSN:	1946-4614
Official Date:	5 April 2016
Dates:	Date Event 5 April 2016 Published
Volume:	9
Number:	1
Page Range:	pp. 59-65
DOI:	10.4271/2016-01-0032
Status:	Peer Reviewed
Publication Status:	Published
Access rights to Published version:	Restricted or Subscription Access

Request changes or add full text files to a record

Repository staff actions (login required)

View Item