[HTML][HTML] A PRISMA-driven systematic mapping study on system assurance weakeners
Context: An assurance case is a structured hierarchy of claims aiming at demonstrating that
a mission-critical system supports specific requirements (eg, safety, security, privacy). The …
a mission-critical system supports specific requirements (eg, safety, security, privacy). The …
[HTML][HTML] Prompting GPT–4 to support automatic safety case generation
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 …
conversational interfaces, exemplified by ChatGPT, represents a significant revolution. While …
A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
Justifying the correct implementation of the non-functional requirements (eg, safety, security)
of mission-critical systems is crucial to prevent system failure. The later could have severe …
of mission-critical systems is crucial to prevent system failure. The later could have severe …
Exploring the capabilities of large language models for the generation of safety cases: the case of GPT-4
The emergence of large language models (LLMs) and conversational interfaces,
exemplified by ChatGPT, is nothing short of revolutionary. While their potential is undeniable …
exemplified by ChatGPT, is nothing short of revolutionary. While their potential is undeniable …
I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
M Sivakumar, AB Belle, KK Shahandashti… - arXiv preprint arXiv …, 2024 - arxiv.org
The execution failure of cyber-physical systems (eg, autonomous driving systems,
unmanned aerial systems, and robotic systems) could result in the loss of life, severe …
unmanned aerial systems, and robotic systems) could result in the loss of life, severe …
Development of the System Assurance Reference Model for Generating Modular Assurance Cases
A Wardziński, A Jarzębowicz - 2023 IEEE 28th Pacific Rim …, 2023 - ieeexplore.ieee.org
Assurance cases are structured arguments used to demonstrate specific system properties
such as safety or security. They are used in many industrial sectors including automotive …
such as safety or security. They are used in many industrial sectors including automotive …
GPT-4 and Safety Case Generation: An Exploratory Analysis
In the ever-evolving landscape of software engineering, the emergence of large language
models (LLMs) and conversational interfaces, exemplified by ChatGPT, is nothing short of …
models (LLMs) and conversational interfaces, exemplified by ChatGPT, is nothing short of …
Learning to Verify and Assure Cyber-Physical Systems
Certification of aircraft systems is a complex task that is difficult to automate requiring
significant subjective decision making. Established certification standards such as CFR-25 …
significant subjective decision making. Established certification standards such as CFR-25 …
Dynamic Safety Assurance of Autonomous Cyber-Physical Systems
S Ramakrishna - 2022 - search.proquest.com
Abstract Cyber-Physical Systems (CPSs) are ubiquitous through our interactions with
applications such as smart homes, medical devices, avionics, and automobiles. However …
applications such as smart homes, medical devices, avionics, and automobiles. However …
Automated Generation of Modular Assurance Cases with the System Assurance Reference Model
A Wardziński, A Jarzębowicz - Formal Aspects of Computing - dl.acm.org
Assurance cases are structured arguments used to demonstrate specific system properties
such as safety or security. They are used in many industrial sectors including automotive …
such as safety or security. They are used in many industrial sectors including automotive …