Research Article
Formal based Verification to Build Safer Cars
|
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
|
| Volume 154 - Issue 8 |
| Published: Nov 2016 |
| Authors: Deva Phanindra Kumar, Shweta Pujar, Ranganayakulu Sri |
10.5120/ijca2016912191
|
Deva Phanindra Kumar, Shweta Pujar, Ranganayakulu Sri . Formal based Verification to Build Safer Cars. International Journal of Computer Applications. 154, 8 (Nov 2016), 33-37. DOI=10.5120/ijca2016912191
@article{ 10.5120/ijca2016912191,
author = { Deva Phanindra Kumar,Shweta Pujar,Ranganayakulu Sri },
title = { Formal based Verification to Build Safer Cars },
journal = { International Journal of Computer Applications },
year = { 2016 },
volume = { 154 },
number = { 8 },
pages = { 33-37 },
doi = { 10.5120/ijca2016912191 },
publisher = { Foundation of Computer Science (FCS), NY, USA }
}
%0 Journal Article
%D 2016
%A Deva Phanindra Kumar
%A Shweta Pujar
%A Ranganayakulu Sri
%T Formal based Verification to Build Safer Cars%T
%J International Journal of Computer Applications
%V 154
%N 8
%P 33-37
%R 10.5120/ijca2016912191
%I Foundation of Computer Science (FCS), NY, USA
Abstract
Functional safety features are an essential part of automotive system-on-chip development. ISO26262 standard dictates ASIC development process in safety applications like airbag control, electronic stability control. This paper focuses on verification requirements and fault injection simulation requirement of ISO26262 standard. Verification of such ASICs requires much more than traditional UVM-SV functional verification. Prior to this effort, safety verification techniques involved injecting faults using tools like Certitude, Yogitech and validating safety mechanisms through functional simulations. In this paper, formal tool’s ability to perform exhaustive breadth-first search to verify the functional safety features and thereby reducing time to market.
References
- Ismail, Azianti, Qiang, Liu, 2014, ISO 26262 automotive functional safety: issues and challenges, International Journal of Reliability and Applications.
- Born, Marc, Favaro, John, Kath,Olaf , 2010, Application of ISO DIS 26262 in practice. In workshop on Critical Automotive Applications: Robustness & Safety.
- Alexandersson, Sabine, 2008, Functional safety and EMC for the automotive industry.
- Janos, Olah, Majzik, Istvan, 2009, A Model Based Framework for Specifying and Executing Fault Injection Experiments.
- Hsueh, Mei-Chen, Tsai, Timothy, Iyer, Ravishankar.k, 2014, Fault injection techniques and tools.
- Devaphanindra Kumar, Ranganayakulu Sri SNUG 2012, Bangalore, Certitude for functional safety
- ADXRS810 High Performance, SPI Digital Output, Angular rate sensor datasheet
Index Terms
Keywords