CFP last date
20 January 2025
Call for Paper
February Edition
IJCA solicits high quality original research papers for the upcoming February edition of the journal. The last date of research paper submission is 20 January 2025

Submit your paper
Know more
The week's pick
Responsive image
SFLA-Based Line Balancing and Task Optimization in Master-Slave Controlled Hanger Transportation Systems for Garment Production

Duc Hoang Nguyen
Random Articles
Reseach Article

Formal based Verification to Build Safer Cars

by Deva Phanindra Kumar, Shweta Pujar, Ranganayakulu Sri
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 154 - Number 8
Year of Publication: 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 },
issue_date = { Nov 2016 },
volume = { 154 },
number = { 8 },
month = { Nov },
year = { 2016 },
issn = { 0975-8887 },
pages = { 33-37 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume154/number8/26513-2016912191/ },
doi = { 10.5120/ijca2016912191 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T23:59:43.239812+05:30
%A Deva Phanindra Kumar
%A Shweta Pujar
%A Ranganayakulu Sri
%T Formal based Verification to Build Safer Cars
%J International Journal of Computer Applications
%@ 0975-8887
%V 154
%N 8
%P 33-37
%D 2016
%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
  1. Ismail, Azianti, Qiang, Liu, 2014, ISO 26262 automotive functional safety: issues and challenges, International Journal of Reliability and Applications.
  2. Born, Marc, Favaro, John, Kath,Olaf , 2010, Application of ISO DIS 26262 in practice. In workshop on Critical Automotive Applications: Robustness & Safety.
  3. Alexandersson, Sabine, 2008, Functional safety and EMC for the automotive industry.
  4. Janos, Olah, Majzik, Istvan, 2009, A Model Based Framework for Specifying and Executing Fault Injection Experiments.
  5. Hsueh, Mei-Chen, Tsai, Timothy, Iyer, Ravishankar.k, 2014, Fault injection techniques and tools.
  6. Devaphanindra Kumar, Ranganayakulu Sri SNUG 2012, Bangalore, Certitude for functional safety
  7. ADXRS810 High Performance, SPI Digital Output, Angular rate sensor datasheet
Index Terms

Computer Science
Information Sciences

Keywords

Formal verification automotive functional safety ASIL.

Powered by PhDFocusTM