Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/790
DC FieldValueLanguage
dc.contributor.authorVujošević Janičić, Milenaen_US
dc.contributor.authorPlavsic, Ognjenen_US
dc.contributor.authorBrkusanin, Mirkoen_US
dc.contributor.authorJovanovic, Petaren_US
dc.date.accessioned2022-08-15T15:39:46Z-
dc.date.available2022-08-15T15:39:46Z-
dc.date.issued2021-05-26-
dc.identifier.isbn9781665404174-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/790-
dc.description.abstractCoding standards are especially important in the automotive industry because automotive software bugs can have fatal consequences. An important standard in this context is Autosar, which proposes guidelines for coding in C++14 language. Strictly following this coding standard improves security, safety and the overall quality of software, and should be supported by tools that can automate compliance checks. In this paper we present a tool AutoCheck that can check compliance to 190 rules defined by Autosar standard for C++14 language. AutoCheck is implemented as an extension of the Clang compiler and can be easily adopted as it can be invoked through simple options that are added to Clang. AutoCheck also offers additional options for controlling the generated output in a user-friendly way. We discuss development decisions that include experimental evaluation of different interfaces for static analysis offered by Clang. We present experimental evaluation which shows that AutoCheck performs highly efficient and precise analysis.en_US
dc.relation.ispartof2021 Zooming Innovation in Consumer Technologies Conference, ZINC 2021en_US
dc.subjectautomotiveen_US
dc.subjectAUTOSAR standarden_US
dc.subjectClangen_US
dc.subjectLLLVen_US
dc.subjectMISRA standarden_US
dc.subjectsoftware verificationen_US
dc.subjectstatic code analysisen_US
dc.titleAUTOCHECK: A Tool for Checking Compliance with Automotive Coding Standardsen_US
dc.typeConference Paperen_US
dc.identifier.doi10.1109/ZINC52049.2021.9499304-
dc.identifier.scopus2-s2.0-85114965031-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/85114965031-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.description.rankM33en_US
dc.relation.firstpage150en_US
dc.relation.lastpage155en_US
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairetypeConference Paper-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-5396-0644-
Appears in Collections:Research outputs
Show simple item record

SCOPUSTM   
Citations

1
checked on Dec 19, 2024

Page view(s)

39
checked on Dec 24, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.