SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "L773:9781538653302 "

Search: L773:9781538653302

  • Result 1-2 of 2
Sort/group result
   
EnumerationReferenceCoverFind
1.
  •  
2.
  • Abbaspour Asadollah, Sara, et al. (author)
  • A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software
  • 2018
  • In: Proceedings - 17th International Symposium on Parallel and Distributed Computing, ISPDC 2018. - : Institute of Electrical and Electronics Engineers Inc.. - 9781538653302 ; , s. 172-179
  • Conference paper (peer-reviewed)abstract
    • 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. 
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-2 of 2
Type of publication
conference paper (2)
Type of content
peer-reviewed (2)
Author/Editor
Sundmark, Daniel (2)
Abbaspour Asadollah, ... (2)
Hansson, Hans (2)
Enoiu, Eduard Paul, ... (1)
Causevic, Adnan, 198 ... (1)
Eldh, S. (1)
University
Mälardalen University (2)
Language
English (2)
Research subject (UKÄ/SCB)
Engineering and Technology (1)
Year
2018 (2)

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.

 
pil uppåt Close

Copy and save the link in order to return to this view