<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 Computertechnik (Austria), Austria
-
dc.contributor.affiliation
TTTech Computertechnik (Austria), 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.identifier.libraryid
AC17204605
-
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
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.grantfulltext
open
-
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.mimetype
application/pdf
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openaccessfulltext
Open Access
-
crisitem.author.dept
E308 - Institut für Werkstoffwissenschaft und Werkstofftechnologie
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E185 - Institut für Computersprachen
-
crisitem.author.orcid
0000-0002-0497-3059
-
crisitem.author.parentorg
E300 - Fakultät für Maschinenwesen und Betriebswissenschaften
