https://www.mdu.se/

mdu.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
Concurrency defect localization in embedded systems using static code analysis: An evaluation
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. ABB, Västeras, Sweden.ORCID iD: 0000-0002-5333-3699
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-1364-8127
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-6132-7945
2019 (English)In: Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019, Institute of Electrical and Electronics Engineers Inc. , 2019, p. 7-12Conference paper, Published paper (Refereed)
Abstract [en]

Defects with low manifestation probability, such as concurrency defects, are difficult to find during testing. When such a defect manifests into an error, the low likelihood can make it time-consuming to reproduce the error and find the root cause. Static Code Analysis (SCA) tools have been used in the industry for decades, mostly for compliance checking towards guidelines such as MISRA. Today, these tools are capable of sophisticated data and execution flow analysis. Our work, presented in this paper, evaluates the feasibility of using SCA tools for concurrency defect detection and localization. Earlier research has categorized concurrency defects. We use this categorization and develop an object-oriented C++ based test suite containing defects from each category. Secondly, we use known and real defects in existing products' source code. With these two approaches, we perform the evaluation, using tools from some of the largest commercial actors in the field. Based on our results, we provide a discussion about how to use static code analysis tools for concurrency defect detection in complex embedded real-Time systems.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc. , 2019. p. 7-12
Keywords [en]
Concurrency, Defects, Real Time, RTOS, SCA, Static Code Analysis, C++ (programming language), Codes (symbols), Compliance control, Embedded systems, Interactive computer systems, Object oriented programming, Real time systems, Software reliability, Technical presentations, Compliance checking, Defect localizations, Embedded real time systems, Static code analysis tools
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-47390DOI: 10.1109/ISSREW.2019.00034ISI: 000713551400002Scopus ID: 2-s2.0-85080936338ISBN: 9781728151380 (print)OAI: oai:DiVA.org:mdh-47390DiVA, id: diva2:1415555
Conference
30th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2019; Berlin; Germany; 28 October 2019 through 31 October 2019; Category numberCFP1979F-ART; Code 157721
Available from: 2020-03-19 Created: 2020-03-19 Last updated: 2022-11-08Bibliographically approved
In thesis
1. Dependable Distributed Control System: Redundancy and Concurrency defects
Open this publication in new window or tab >>Dependable Distributed Control System: Redundancy and Concurrency defects
2022 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Intelligent devices, interconnectivity, and information exchange are characteristics often associated with Industry 4.0. A peer-to-peer-oriented architecture with the network as the system center succeeds the traditional controller-centric topology used in today's distributed control systems, improving information exchange in future designs. The network-centric architecture allows IT-solution such as cloud, fog, and edge computing to enter the automation industry. IT-solution that rely on virtualization techniques such as virtual machines and containers. Virtualization technology, combined with virtual instance management, provide the famous elasticity that cloud computing offer. Container management systems like Kubernetes can scale the number of containers to match the service demand and redeploy containers affected by failures.

Distributed control systems constitute automation infrastructure core in many critical applications and domains. The criticality puts high dependability requirements upon the systems, i.e., dependability is essential. High-quality software and redundancy solutions are examples of traditional ways to increase dependability. Dependability is the common denominator for the challenges addressed in this thesis. Challenges that range from concurrency defect localization with static code analysis to utilization of failure recovery mechanisms provided by container management systems in a control system context.

We evaluate the feasibility of locating concurrency defects in embedded industrial software with static code analysis. Furthermore, we propose a deployment agnostic failure detection and role selection mechanism for controller redundancy in a network-centric context. Finally, we use the container management system Kubernetes to orchestrate a cluster of virtualized controllers. We evaluate the failure recovery properties of the container management system in combination with redundant virtualized controllers - redundant controllers using the proposed failure detection and role selection solution.

Place, publisher, year, edition, pages
Västerås: Mälardalens universitet, 2022
Series
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 330
National Category
Embedded Systems
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-60071 (URN)978-91-7485-567-8 (ISBN)
Presentation
2022-11-08, Gamma, Mälardalens universitet, Västerås, 13:15 (English)
Opponent
Supervisors
Funder
Knowledge Foundation
Available from: 2022-10-04 Created: 2022-10-04 Last updated: 2022-10-24Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Johansson, BjarnePapadopoulos, AlessandroNolte, Thomas

Search in DiVA

By author/editor
Johansson, BjarnePapadopoulos, AlessandroNolte, Thomas
By organisation
Embedded Systems
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 45 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