Automatic Instantiation of Assurance Cases from Patterns using Large Language Models

Simple item page
dc.contributor.advisorBelle, Alvine Boaye
dc.contributor.authorOdu, Oluwafemi John
dc.date.accessioned2025-04-10T10:50:42Z
dc.date.available2025-04-10T10:50:42Z
dc.date.copyright2024-12-04
dc.date.issued2025-04-10
dc.date.updated2025-04-10T10:50:41Z
dc.degree.disciplineComputer Science
dc.degree.levelMaster's
dc.degree.nameMSc - Master of Science
dc.description.abstractJustifying the correct implementation of mission-critical systems' non-functional requirements (e.g., safety, and security) is crucial to prevent system failure. The latter could have severe consequences such as the death of people and financial losses. Assurance cases can be used to prevent system failure. They are structured sets of arguments supported by evidence, demonstrating that a system’s non-functional requirements have been correctly implemented. Assurance case patterns serve as templates derived from previous successful assurance cases, aimed at facilitating the creation of new assurance cases. Despite the use of these patterns to generate assurance cases, their instantiation remains a largely manual and error-prone process that heavily relies on domain expertise. Thus, exploring techniques to support their automatic instantiation becomes crucial. To address this, our thesis explores the literature on assurance case patterns to understand recent advancements and trends characterizing that literature. Then we investigated the potential of Large Language Models (LLMs) in automating the generation of assurance cases that comply with specific assurance case patterns. Our findings suggest that LLMs can generate assurance cases that comply with the given patterns. However, this study also highlights that LLMs may struggle with understanding some nuances related to pattern-specific relationships. While LLMs exhibit potential in the automatic generation of assurance cases, their capabilities still fall short compared to human experts. Therefore, a semi-automatic approach to instantiating assurance cases may be more advisable at this time.
dc.identifier.urihttps://hdl.handle.net/10315/42818
dc.languageen
dc.rightsAuthor owns copyright, except where explicitly noted. Please contact the author directly with licensing requests.
dc.subject.keywordsAssurance cases
dc.subject.keywordsAssurance case patterns
dc.subject.keywordsPattern formalization
dc.subject.keywordsSoftware engineering
dc.subject.keywordsGenerative artificial intelligence
dc.subject.keywordsLarge language models
dc.subject.keywordsGPT
dc.subject.keywordsRequirement engineering
dc.subject.keywordsNon-functional requirements
dc.subject.keywordsSafety
dc.subject.keywordsAutonomous driving systems
dc.subject.keywordsBibliometric analysis
dc.titleAutomatic Instantiation of Assurance Cases from Patterns using Large Language Models
dc.typeElectronic Thesis or Dissertation

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Odu_Oluwafemi_John_2024_MSc.pdf
Size:
22.03 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 2 of 2
No Thumbnail Available
Name:
license.txt
Size:
1.87 KB
Format:
Plain Text
Description:
Download
No Thumbnail Available
Name:
YorkU_ETDlicense.txt
Size:
3.39 KB
Format:
Plain Text
Description:
Download

Collections

Computer Science

All items in the YorkSpace institutional repository are protected by copyright, with all rights reserved except where explicitly noted.