A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software

This article presents a runtime verification tool for embedded software executing under the open source real-time operating system FreeRTOS. The tool detects and diagnoses concurrency bugs such as deadlock, starvation, and suspension based-locking. The tool finds concurrency bugs at runtime without debugging and tracing the source code. The tool uses the Tracealyzer tool for logging relevant events. Analysing the logs, our tool can detect the concurrency bugs by applying algorithms for diagnosing each concurrency bug type individually. In this paper, we present the implementation of the tool, as well as its functional architecture, together with illustration of its use. The tool can be used during program testing to gain interesting information about embedded software executions. We present initial results of running the tool on some classical bug examples running on an AVR 32-bit board SAM4S.

TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Inbäddad systemteknik hsv//swe
ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Embedded Systems hsv//eng
TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Datorsystem hsv//swe
ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Computer Systems hsv//eng
Bug Detector
Concurrency Bugs
Embedded Software
FreeRTOS
Runtime Verification Tool
Computer operating systems
Distributed computer systems
Locks (fasteners)
Open source software
Open systems
Program diagnostics
Software testing
Verification
Functional architecture
Interesting information
Real time operating system
Run-time verification
Software execution
Program debugging

Sundmark, DanielMälardalens universitet, Inbyggda system(Swepub:mdh)dsk01 (författare)
Eldh, S.Ericsson AB, Kista, Sweden (författare)
Hansson, HansMälardalens högskola,Inbyggda system(Swepub:mdh)hhn02 (författare)
Mälardalens högskolaInbyggda system (creator_code:org_t)

Ingår i:Proceedings - 17th International Symposium on Parallel and Distributed Computing, ISPDC 2018: Institute of Electrical and Electronics Engineers Inc., s. 172-1799781538653302

Av författaren/redakt...: Abbaspour Asadol ...; Sundmark, Daniel; Eldh, S.; Hansson, Hans

Om ämnet

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Elektroteknik oc ...; och Inbäddad systemt ...

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Elektroteknik oc ...; och Datorsystem

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.