Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review

V Bolbot, G Theotokatos, LM Bujorianu… - Reliability Engineering & …, 2019‏ - Elsevier
Abstract As Cyber-Physical Systems (CPSs) are a class of systems advancing in a number
of safety-critical application areas, it is crucial to ensure that they operate without causing …

[HTML][HTML] Evidence-based decision-making: On the use of systematicity cases to check the compliance of reviews with reporting guidelines such as PRISMA 2020

AB Belle, Y Zhao - Expert Systems with Applications, 2023‏ - Elsevier
Background and context Systematic reviews aim to provide high-quality evidence-based
syntheses for efficacy under real-world conditions and allow understanding the correlations …

An exploratory mixed-methods study on general data protection regulation (gdpr) compliance in open-source software

L Franke, H Liang, S Farzanehpour, A Brantly… - Proceedings of the 18th …, 2024‏ - dl.acm.org
Background: Governments worldwide are considering data privacy regulations. These laws,
such as the European Union's General Data Protection Regulation (GDPR), require software …

A survey of tool-supported assurance case assessment techniques

M Maksimov, S Kokaly, M Chechik - ACM Computing Surveys (CSUR), 2019‏ - dl.acm.org
Systems deployed in regulated safety-critical domains (eg, the medical, nuclear, and
automotive domains) are often required to undergo a stringent safety assessment …

Dronology: An incubator for cyber-physical system research

J Cleland-Huang, M Vierhauser, S Bayley - arxiv preprint arxiv …, 2018‏ - arxiv.org
Research in the area of Cyber-Physical Systems (CPS) is hampered by the lack of available
project environments in which to explore open challenges and to propose and rigorously …

[HTML][HTML] Prompting GPT–4 to support automatic safety case generation

M Sivakumar, AB Belle, J Shan… - Expert Systems with …, 2024‏ - Elsevier
In the ever-evolving field of software engineering, the advent of large language models and
conversational interfaces, exemplified by ChatGPT, represents a significant revolution. While …

What 5 million job advertisements tell us about testing: a preliminary empirical investigation

M Cerioli, M Leotta, F Ricca - Proceedings of the 35th Annual ACM …, 2020‏ - dl.acm.org
Software testing is a crucial part of business success to ensure final product quality.
However, little concrete data exists on technical demands about it in the industry, mostly …

Video game development in a rush: A survey of the global game jam participants

M Borg, V Garousi, A Mahmoud… - IEEE Transactions …, 2019‏ - ieeexplore.ieee.org
Video game development is a complex endeavor, often involving complex software, large
organizations, and aggressive release deadlines. Several studies have reported that …

Supporting change impact analysis using a recommendation system: An industrial case study in a safety-critical context

M Borg, K Wnuk, B Regnell… - IEEE Transactions on …, 2016‏ - ieeexplore.ieee.org
Change Impact Analysis (CIA) during software evolution of safety-critical systems is a labor-
intensive task. Several authors have proposed tool support for CIA, but very few tools were …

Evaluating the effectiveness of gpt-4 turbo in creating defeaters for assurance cases

KK Shahandashti, M Sivakumar, MM Mohajer… - arxiv preprint arxiv …, 2024‏ - arxiv.org
Assurance cases (ACs) are structured arguments that support the verification of the correct
implementation of systems' non-functional requirements, such as safety and security …