Logo des Repositoriums
 

MEMICS - memory interval constraint solving of (concurrent) machine code

dc.contributor.authorNowotka, Dirk
dc.contributor.authorTraub, Johannes
dc.contributor.editorPlödereder, Erhard
dc.contributor.editorDencker, Peter
dc.contributor.editorKlenk, Herbert
dc.contributor.editorKeller, Hubert B.
dc.contributor.editorSpitzer, Silke
dc.date.accessioned2018-10-31T12:23:25Z
dc.date.available2018-10-31T12:23:25Z
dc.date.issued2012
dc.description.abstractRuntime errors occurring sporadically in automotive control units are often hard to detect. A common reason for such errors are critical race conditions. The introduction of multicore hardware enables software to be run in parallel, and hence, drastically increases the vulnerability to such errors. Race conditions are difficult to discover by testing or monitoring, only. Hence, a static analysis of code is required to effectively reduce the occurrence of such errors. In this paper we introduce a new Bounded Model Checking tool, which in its core is an Interval Constraint Solver, operating on a machine code based model and is able to handle memory instructions directly. As control units are usually running on task-based operating systems like AUTOSAR or OSEK, our tool features a task model, which is able to handle sequential and concurrent task scheduling.en
dc.identifier.isbn978-3-88579-604-6
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/17566
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofAutomotive - Safety & Security 2012
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-210
dc.titleMEMICS - memory interval constraint solving of (concurrent) machine codeen
dc.typeText/Conference Paper
gi.citation.endPage83
gi.citation.publisherPlaceBonn
gi.citation.startPage69
gi.conference.date14.-15. November 2012
gi.conference.locationKarlsruhe
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
69.pdf
Größe:
177.87 KB
Format:
Adobe Portable Document Format