mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Runtime Verification based Concurrency Bug Detector for FreeRTOS Embedded Software
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. 7809198067.ORCID iD: 0000-0002-5058-7351
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-2416-4205
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-8009-9052
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-5032-2310
Show others and affiliations
(English)In: Article in journal (Other academic) Submitted
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-41236OAI: oai:DiVA.org:mdh-41236DiVA, id: diva2:1259052
Available from: 2018-10-26 Created: 2018-10-26 Last updated: 2018-10-31Bibliographically approved
In thesis
1. Concurrency Bugs: Characterization, Debugging and Runtime Verification
Open this publication in new window or tab >>Concurrency Bugs: Characterization, Debugging and Runtime Verification
2018 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

Concurrent software has been increasingly adopted in recent years, mainly due to the introduction of multicore platforms. However, concurrency bugs are still difficult to test and debug due to their complex interactions involving multiple threads (or tasks). Typically, real world concurrent software has huge state spaces. Thus, testing techniques and handling of concurrency bugs need to focus on exposing the bugs in this large space. However, existing solutions typically do not provide debugging information to developers (and testers) for understanding the bugs.

Our work focuses on improving concurrent software reliability via three contributions: 1) An investigation of concurrent software challenges with the aim to help developers (and testers) to better understand concurrency bugs. We propose a classification of concurrency bugs and discuss observable properties of each type of bug. In addition, we identify a number of gaps in the body of knowledge on concurrent software bugs and their debugging. 2) Exploring concurrency related bugs in real-world software with respect to the reproducibility of bugs, severity of their consequence and effort required to fix them. Our findings here is that concurrency bugs are different from other bugs in terms of their fixing time and severity, while they are similar in terms of reproducibility. 3) A model for monitoring concurrency bugs and the implementation and evaluation of a related runtime verification tool to detect the bugs. In general, runtime verification techniques are used to (a) dynamically verify that the observed behaviour matches specified properties and (b) explicitly recognize understandable behaviors in the considered software. Our implemented tool is used to detect concurrency bugs in embedded software and is in its current form tailored for the FreeRTOS operating system. It helps developers and testers to automatically identify concurrency bugs and subsequently helps to reduce their finding and fixing time.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2018
Series
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 278
National Category
Embedded Systems
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-41237 (URN)978-91-7485-412-1 (ISBN)
Public defence
2018-12-04, Kappa, Mälardalens högskola, Västerås, 13:30 (English)
Opponent
Supervisors
Available from: 2018-10-29 Created: 2018-10-29 Last updated: 2018-11-02Bibliographically approved

Open Access in DiVA

fulltext(3673 kB)38 downloads
File information
File name FULLTEXT01.pdfFile size 3673 kBChecksum SHA-512
e31c359f8bdaad2e4657358f3d5284c561cef7c71a363c319878f9523bfbf84f54b0a9ebdabbe545a96121864c6dd67378d27f28f20c1bfa3b8bf669ecba70fd
Type fulltextMimetype application/pdf

Authority records BETA

Abbaspour Asadollah, SaraEnoiu, Eduard PaulCausevic, AdnanDaniel, SundmarkHansson, Hans

Search in DiVA

By author/editor
Abbaspour Asadollah, SaraEnoiu, Eduard PaulCausevic, AdnanDaniel, SundmarkHansson, Hans
By organisation
Embedded SystemsSchool of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 38 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 290 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf