DC FieldValueLanguage
dc.contributor.authorDurand, Timothee-
dc.contributor.authorFazekas, Katalin-
dc.contributor.authorWeissenbacher, Georg-
dc.contributor.authorZwirchmayr, Jakob-
dc.date.accessioned2021-10-14T11:17:34Z-
dc.date.available2021-10-14T11:17:34Z-
dc.date.issued2021-10-
dc.identifier.citation<div class="csl-bib-body"> <div class="csl-entry">Durand, T., Fazekas, K., Weissenbacher, G., &#38; 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>-
dc.identifier.urihttp://hdl.handle.net/20.500.12708/18649-
dc.identifier.urihttps://doi.org/10.34727/2021/isbn.978-3-85448-046-4_18-
dc.description.abstractAutomotive 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.isoen-
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/-
dc.subjectformal methoden
dc.subjectformale Methode-
dc.titleModel Checking AUTOSAR Components with CBMCen
dc.typeInproceedingsen
dc.typeKonferenzbeitragde
dc.rights.licenseCreative Commons Namensnennung 4.0 Internationalde
dc.rights.licenseCreative Commons Attribution 4.0 Internationalen
dc.identifier.doi10.34727/2021/isbn.978-3-85448-046-4_18-
dc.contributor.affiliationTTTech Auto AG, Vienna, Austria-
dc.contributor.affiliationTTTech Auto AG, Vienna, Austria-
dc.relation.isbn978-3-85448-046-4-
dc.relation.doi10.34727/2021/isbn.978-3-85448-046-4-
dc.description.volume2-
dc.description.startpage96-
dc.description.endpage101-
dc.relation.eissn2708-7824-
tuw.booktitleProceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021-
tuw.peerreviewedtrue-
tuw.relation.haspart10.34727/2021/isbn.978-3-85448-046-4-
tuw.relation.publisherTU Wien Academic Press-
tuw.relation.publisherplaceWien-
tuw.book.chapter18-
tuw.publication.orgunitE192-04 - Forschungsbereich Formal Methods in Systems Engineering-
dc.description.numberOfPages6-
tuw.relation.ispartoftuwseriesConference Series: Formal Methods in Computer-Aided Design-
dc.rights.identifierCC BY 4.0de
dc.rights.identifierCC BY 4.0en
item.cerifentitytypePublications-
item.cerifentitytypePublications-
item.openaccessfulltextOpen Access-
item.grantfulltextopen-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextwith Fulltext-
item.languageiso639-1en-
item.openairetypeInproceedings-
item.openairetypeKonferenzbeitrag-
crisitem.author.deptTTTech Auto AG, Vienna, Austria-
Appears in Collections:Conference Paper
Open Access Series

Files in this item:


Page view(s)

55
checked on Jan 22, 2022

Download(s)

55
checked on Jan 22, 2022

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons