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 …

Safety assurance is of paramount importance across various domains, including automotive,
aerospace, and nuclear energy, where the reliability and acceptability of mission-critical …

The emergence of large language models (LLMs) and conversational interfaces,
exemplified by ChatGPT, is nothing short of revolutionary. While their potential is undeniable …

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 …

Intelligent software systems (eg, conversational agents, profiling systems, recruitment
systems) are often designed in a manner which may perpetuate anti-Black racism and other …

Assurance cases are structured arguments that allow verifying the correct implementation of
the created systems' non-functional requirements (eg, safety, security, reliability). This allows …

Safety cases play a pivotal role in ensuring system reliability and acceptability, providing a
structured argument supported by evidence. However, gaps in safety case literature hinder …

In the realm of safety-critical systems, justifying their safety prior to deployment is not just a
necessity, but a mandate. Hence, the creation of compelling safety cases becomes a …