Sökning: onr:"swepub:oai:DiVA.org:mdh-41125" >
A Runtime Verificat...
A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software
-
- Abbaspour Asadollah, Sara (författare)
- Mälardalens högskola,Inbyggda system
-
- Sundmark, Daniel (författare)
- Mälardalens universitet, Inbyggda system
-
- Eldh, S. (författare)
- Ericsson AB, Kista, Sweden
-
visa fler...
-
- Hansson, Hans (författare)
- Mälardalens högskola,Inbyggda system
-
visa färre...
-
(creator_code:org_t)
- Institute of Electrical and Electronics Engineers Inc. 2018
- 2018
- Engelska.
-
Ingår i: Proceedings - 17th International Symposium on Parallel and Distributed Computing, ISPDC 2018. - : Institute of Electrical and Electronics Engineers Inc.. - 9781538653302 ; , s. 172-179
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- 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)
Nyckelord
- 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
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas