10 Years of research on debugging concurrent and multicore software: a systematic mapping study

Asadollah, Sara Abbaspour; Sundmark, Daniel; Eldh, Sigrid; Hansson, Hans; Afzal, Wasif

doi:10.1007/s11219-015-9301-7

Cited by 20 publications

(8 citation statements)

References 132 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our systematic mapping study follows the guidelines presented in [43,53]. he process is adapted from [6], and consists of the following main steps as presented in Figure 2. he details of each step are presented in the next subsections.…”

Section: Methodsmentioning

confidence: 99%

“…Beyond the general publication data like title, name of the author(s), and publication year, seven additional facets are considered. he irst, being the research types presented in [70], which are adopted unaltered in our study, like in [6]. he others are CPS domain, edge implementation, application class, trustworthiness, artiicial intelligence, and energy eiciency.…”

Section: Data Mapping (Step 4)mentioning

confidence: 99%

See 1 more Smart Citation

Edge Computing for Cyber-physical Systems: A Systematic Mapping Study Emphasizing Trustworthiness

Sánchez

Jörgensen

Törngren

et al. 2022

ACM Trans. Cyber-Phys. Syst.

View full text Add to dashboard Cite

Edge computing is projected to have profound implications in the coming decades, proposed to provide solutions for applications such as augmented reality, predictive functionalities, and collaborative Cyber-Physical Systems (CPS). For such applications, edge computing addresses the new computational needs, as well as privacy, availability, and real-time constraints, by providing local high-performance computing capabilities to deal with the limitations and constraints of cloud and embedded systems. Edge computing is today driven by strong market forces stemming from IT/cloud, telecom, and networking - with corresponding multiple interpretations of ”edge computing” (e.g. device edge, network edge, distributed cloud, etc.). Considering the strong drivers for edge-computing and the relative novelty of the field, it becomes important to understand the specific requirements and characteristics of edge-based CPS, and to ensure that research is guided adequately, e.g. avoiding specific gaps. Our interests lie in the applications of edge computing as part of CPS, where several properties (or attributes) of trustworthiness, including safety, security, and predictability/availability are of particular concern, each facing challenges for the introduction of edge-based CPS. We present the results of a systematic mapping study, a kind of systematic literature survey, investigating the use of edge computing for CPS with a special emphasis on trustworthiness. The main contributions of this study are a detailed description of the current research efforts in edge-based CPS and the identification and discussion of trends and research gaps. The results show that the main body of research in edge-based CPS only to a very limited extent consider key attributes of system trustworthiness, despite many efforts referring to critical CPS and applications like intelligent transportation. More research and industrial efforts will be needed on aspects of trustworthiness of future edge-based CPS including their experimental evaluation. Such research needs to consider the multiple interrelated attributes of trustworthiness including safety, security, and predictability, and new methodologies and architectures to address them. It is further important to provide bridges and collaboration between edge computing and CPS disciplines.

show abstract

Section: Methodsmentioning

confidence: 99%

Section: Data Mapping (Step 4)mentioning

confidence: 99%

Edge Computing for Cyber-physical Systems: A Systematic Mapping Study Emphasizing Trustworthiness

Sánchez

Jörgensen

Törngren

et al. 2022

ACM Trans. Cyber-Phys. Syst.

View full text Add to dashboard Cite

show abstract

“…The protocol used ( Figure 1) was based on the tasks suggested by [5] [6] for defining the research questions, identification of search string, source selection, study selection criteria, and data mapping. Also, the protocol followed the recommendations of [7], [8], [4] and [9] for extracting, analyzing, interpreting and reporting the literature-based findings.…”

Section: Methodsmentioning

confidence: 99%

“…The data mapping from the selected papers were executed after they had been completely reviewed and scrutinized. It was performed categorizing the 59 sample papers into 6 categories (CT. [1][2][3][4][5][6] to answer the 6 research questions (RQ. [1][2][3][4][5][6], respectively.…”

Section: Data Mappingmentioning

confidence: 99%

“…It was performed categorizing the 59 sample papers into 6 categories (CT. [1][2][3][4][5][6] to answer the 6 research questions (RQ. [1][2][3][4][5][6], respectively. The categories defined were based on the corresponding research question: (CT.1) Impact, (CT.2) Topics, (CT.3) Techniques, (CT.4) Problem, (CT.5) Findings and (CT.6) Future Studies.…”

Section: Data Mappingmentioning

confidence: 99%

See 1 more Smart Citation

A Systematic Literature Review About the Impact of Artificial Intelligence on Autonomous Vehicle Safety

Nascimento

Vismari

Molina

et al. 2020

IEEE Trans. Intell. Transport. Syst.

View full text Add to dashboard Cite

Autonomous Vehicles (AV) are expected to bring considerable benefits to society, such as traffic optimization and accidents reduction. They rely heavily on advances in many Artificial Intelligence (AI) approaches and techniques. However, while some researchers in this field believe AI is the core element to enhance safety, others believe AI imposes new challenges to assure the safety of these new AI-based systems and applications. In this non-convergent context, this paper presents a systematic literature review to paint a clear picture of the state of the art of the literature in AI on AV safety. Based on an initial sample of 4870 retrieved papers, 59 studies were selected as the result of the selection criteria detailed in the paper. The shortlisted studies were then mapped into six categories to answer the proposed research questions. An AV system model was proposed and applied to orient the discussions about the SLR findings. As a main result, we have reinforced our preliminary observation about the necessity of considering a serious safety agenda for the future studies on AIbased AV systems.

show abstract

A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs

Lopez

Marr

Boix

et al. 2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The actor model is an attractive foundation for developing concurrent applications because actors are isolated concurrent entities that communicate through asynchronous messages and do not share state. Thereby, they avoid concurrency bugs such as data races, but are not immune to concurrency bugs in general. This study taxonomizes concurrency bugs in actor-based programs reported in literature. Furthermore, it analyzes the bugs to identify the patterns causing them as well as their observable behavior. Based on this taxonomy, we further analyze the literature and find that current approaches to static analysis and testing focus on communication deadlocks and message protocol violations. However, they do not provide solutions to identify livelocks and behavioral deadlocks. The insights obtained in this study can be used to improve debugging support for actor-based programs with new debugging techniques to identify the root cause of complex concurrency bugs. 1 play() -> 2 Ping = spawn(fun ping/0), 3 spawn(fun() -> pong(Ping) end). 4 5 ping() -> 6 receive 7 pong_msg -> ok 8 end. 9 10 pong(Ping) -> 11 Ping ! pong_msg, 12 receive 13 ping_msg -> ok 14 end.Listing 1.1. Communication deadlock example in Erlang (from [15]). Line 12 has a blocking receive causing the pong process to deadlock because the expected message is never sent.

show abstract

10 Years of research on debugging concurrent and multicore software: a systematic mapping study

Cited by 20 publications

References 132 publications

Edge Computing for Cyber-physical Systems: A Systematic Mapping Study Emphasizing Trustworthiness

Edge Computing for Cyber-physical Systems: A Systematic Mapping Study Emphasizing Trustworthiness

A Systematic Literature Review About the Impact of Artificial Intelligence on Autonomous Vehicle Safety

A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs

Contact Info

Product

Resources

About