Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Supervised testing of concurrent software in embedded systems

 
: Jahic, Jasmin; Kuhn, Thomas; Jung, Matthias; Wehn, Norbert

:

Patt, Yale (Hrsg.) ; Institute of Electrical and Electronics Engineers -IEEE-; IEEE Circuits and Systems Society:
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XVII 2017. Proceedings : July 16-20, 2017, Samos, Greece
Piscataway, NJ: IEEE, 2017
ISBN: 978-1-5386-3437-0
ISBN: 978-1-5386-3438-7
S.233-238
International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) <17, 2017, Samos>
Englisch
Konferenzbeitrag
Fraunhofer IESE ()
data race; testing; concurrency; scheduling; LLVM; FERAL; virtual prototyping

Abstract
The migration of sequential embedded software to multicore processors is a challenging task. Parallelization of software introduces concurrency bugs (e.g. data races), which only conditionally appear during testing because they strongly depend on the timing of the execution. Therefore, traditional testing approaches cannot efficiently test concurrent software. More appropriate are analysis approaches that prove the absence of software faults. Current approaches often produce false positives as they fail to consider all relevant synchronization sources. In this paper, we complement current analysis techniques by considering a scheduling scheme as a synchronization mechanism. We narrow the analysis by analyzing only relevant variants in execution timing that might produce concurrency bugs. Therefore, we eliminate a family of false positives caused by ignoring the scheduling synchronization. Engineers can optimize this scheduling scheme to satisfy different requirements. Our approach uses virtual prototyping to enable design space exploration of systems with complex scheduling schemes by investigating the influence of the scheduling scheme on the synchronization of concurrent software.

: http://publica.fraunhofer.de/dokumente/N-515791.html