7 papers · 1 filter
LLM-Based Discovery of Latent Requirements from Stakeholder Conversations: Preliminary Results from Industry
Mithila Sivakumar, Martin Lochner, Shiva Nejati +1
Stakeholder interviews are an important source of information for requirements elicitation, yet many relevant requirements remain implicit in such conversations. Stakeholders frequ…
LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases
Gerhard Yu, Mithila Sivakumar, Alvine B. Belle +3
Assurance cases allow verifying the correct implementation of certain non-functional requirements of mission-critical systems, including their safety, security, and reliability. Th…
Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
Kimya Khakzad Shahandashti, Mithila Sivakumar, Mohammad Mahdi Mohajer +3
Assurance cases (ACs) are structured arguments that support the verification of the correct implementation of systems' non-functional requirements, such as safety and security, the…
I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
Mithila Sivakumar, Alvine B. Belle, Kimya Khakzad Shahandashti +5
The execution failure of cyber-physical systems (e.g., autonomous driving systems, unmanned aerial systems, and robotic systems) could result in the loss of life, severe injuries,…
GPT-4 and Safety Case Generation: An Exploratory Analysis
Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan +1
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 rev…
A PRISMA-driven systematic mapping study on system assurance weakeners
Kimya Khakzad Shahandashti, Alvine B. Belle, Timothy C. Lethbridge +2
Context: An assurance case is a structured hierarchy of claims aiming at demonstrating that a given mission-critical system supports specific requirements (e.g., safety, security,…