<div class="csl-bib-body">
<div class="csl-entry">Durand, T., Fazekas, K., Weissenbacher, G., & Zwirchmayr, J. (2021). Model Checking AUTOSAR Components with CBMC. In <i>Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021</i> (pp. 96–101). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_18</div>
</div>
Automotive software needs to comply with stringent
functional safety standards to reduce the risk of malfunction.
In particular, the ISO 26262 standard highly recommends the
use of formal verification for highly safety-critical software
components. Automated formal verification techniques (such as
Model Checking) enable the quick detection of intricate software
bugs and can, to a limited extent, even guarantee their absence.
We report our efforts to deploy the openly available verification
tool CBMC to verify AUTOSAR Software Components and
Complex Device Drivers using Bounded Model Checking and
k-induction combined with upfront static analysis.
en
dc.language.iso
en
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
formal method
en
dc.subject
formale Methode
de
dc.title
Model Checking AUTOSAR Components with CBMC
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Creative Commons Namensnennung 4.0 International
de
dc.rights.license
Creative Commons Attribution 4.0 International
en
dc.identifier.doi
10.34727/2021/isbn.978-3-85448-046-4_18
-
dc.contributor.affiliation
TTTech Auto AG, Vienna, Austria
-
dc.contributor.affiliation
TTTech Auto AG, Vienna, Austria
-
dc.relation.isbn
978-3-85448-046-4
-
dc.relation.doi
10.34727/2021/isbn.978-3-85448-046-4
-
dc.description.volume
2
-
dc.description.startpage
96
-
dc.description.endpage
101
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
2708-7824
-
tuw.booktitle
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
-
tuw.peerreviewed
true
-
tuw.relation.haspart
10.34727/2021/isbn.978-3-85448-046-4
-
tuw.relation.publisher
TU Wien Academic Press
-
tuw.relation.publisherplace
Wien
-
tuw.book.chapter
18
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
dc.description.numberOfPages
6
-
tuw.relation.ispartoftuwseries
Conference Series: Formal Methods in Computer-Aided Design
-
tuw.author.orcid
0000-0002-0497-3059
-
dc.rights.identifier
CC BY 4.0
de
dc.rights.identifier
CC BY 4.0
en
tuw.event.name
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
-
tuw.event.startdate
19-10-2021
-
tuw.event.enddate
22-10-2021
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.type
Science to science/art to art
-
tuw.event.place
New Haven, Connecticut, USA
-
tuw.event.country
NON-EU
-
tuw.event.presenter
Durand, Timothee
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.mimetype
application/pdf
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.languageiso639-1
en
-
item.openaccessfulltext
Open Access
-
item.openairetype
conference paper
-
item.grantfulltext
open
-
crisitem.author.dept
TTTech Auto AG, Vienna, Austria
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering