https://www.mdu.se/

mdu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-5058-7351
Mälardalens universitet, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-5032-2310
Ericsson AB, Kista, Sweden.
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-7235-6888
2018 (Engelska)Ingår i: Proceedings - 17th International Symposium on Parallel and Distributed Computing, ISPDC 2018, Institute of Electrical and Electronics Engineers Inc. , 2018, s. 172-179, artikel-id 8452035Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

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. 

Ort, förlag, år, upplaga, sidor
Institute of Electrical and Electronics Engineers Inc. , 2018. s. 172-179, artikel-id 8452035
Serie
International Symposium on Parallel and Distributed Computing
Nyckelord [en]
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
Nationell ämneskategori
Inbäddad systemteknik Datorsystem
Identifikatorer
URN: urn:nbn:se:mdh:diva-41125DOI: 10.1109/ISPDC2018.2018.00032ISI: 000447280800023Scopus ID: 2-s2.0-85053906243ISBN: 9781538653302 (tryckt)OAI: oai:DiVA.org:mdh-41125DiVA, id: diva2:1254727
Konferens
17th International Symposium on Parallel and Distributed Computing, ISPDC 2018, 25 June 2018 through 28 June 2018
Tillgänglig från: 2018-10-10 Skapad: 2018-10-10 Senast uppdaterad: 2022-11-09Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Abbaspour Asadollah, SaraSundmark, DanielHansson, Hans

Sök vidare i DiVA

Av författaren/redaktören
Abbaspour Asadollah, SaraSundmark, DanielHansson, Hans
Av organisationen
Inbyggda systemInbyggda system
Inbäddad systemteknikDatorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 1578 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf