Trustworthiness modeling and evaluation for a nearly autonomous management and control system
Abstract The Nearly Autonomous Management and Control (NAMAC) system supports the
advanced reactor operation by recommending control actions to operators based on real …
advanced reactor operation by recommending control actions to operators based on real …
A Risk-Based Decision-Making Process for Autonomous Trains Using POMDP: Case of the Anti-Collision Function
As the railway domain progresses towards autonomy, maintaining safety at levels
comparable to human-operated systems is a crucial challenge. Autonomous trains require …
comparable to human-operated systems is a crucial challenge. Autonomous trains require …
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 …
implementation of systems' non-functional requirements, such as safety and security …
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 …
Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance Cases
K Khakzad Shahandashti, M Sivakumar… - Proceedings of the …, 2024 - dl.acm.org
Assurance cases (ACs) are structured arguments that allow verifying the correct
implementation of the created systems' non-functional requirements (eg, safety, security) …
implementation of the created systems' non-functional requirements (eg, safety, security) …
[PDF][PDF] Proceedings of the 4th International Workshop on Autonomous Systems Safety
The International Workshop for Autonomous System Safety (IWASS) is a joint effort by the B.
John Garrick Institute for the Risk Sciences at the University of California Los Angeles …
John Garrick Institute for the Risk Sciences at the University of California Los Angeles …
Safety concept and simulation-based approval of an automated driving function for the transverse guidance of vehicles
M Khatun - 2024 - oparu.uni-ulm.de
The necessity of safety and cybersecurity in Automated or Autonomous Vehicles (AVs) has
raised attention in order to reducing the number of road accidents and saving human life …
raised attention in order to reducing the number of road accidents and saving human life …
Dialectical Assurance Case using Structured Assurance Case Metamodel Notation
N Selviandro, RA Sutopo… - KLIK: Kajian Ilmiah …, 2023 - djournals.com
An assurance case is a document created to enable the exchange of information related to
system safety and security among various system stakeholders, including suppliers …
system safety and security among various system stakeholders, including suppliers …