1314151617181916 of 46
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Enhancing Safety-Critical Hazard Analysis With Transformers: A BERT-Based Pipeline for STPA Sentence Classification and Validation
State University of Campinas, Brazil.
Federal University of São Paulo, Brazil.
Blekinge Institute of Technology, Faculty of Computing, Department of Software Engineering.ORCID iD: 0000-0002-3646-235x
Blekinge Institute of Technology, Faculty of Computing, Department of Software Engineering.ORCID iD: 0000-0002-0535-1761
Show others and affiliations
2026 (English)In: IEEE Access, E-ISSN 2169-3536, Vol. 14, p. 116826-116841Article in journal (Refereed) Published
Abstract [en]

The application of hazard analysis techniques is essential for identifying failures within safety-critical systems that impact both human lives and property, particularly in disciplines such as aeronautical engineering. System-Theoretic Process Analysis (STPA) is notable for its effectiveness in detecting hazards in complex systems, however, it is an extensive technique that demands time and manual effort. As STPA is mostly a text-based analysis, it could benefit from the capabilities of language models. This study introduces BEDS (BERT Error Detection for STPA), a machine learning pipeline leveraging the well-established Bidirectional Encoder Representations from Transformers (BERT) language model to support the initial phase of STPA analysis. The integration of BERT delivers significant advantages by facilitating high-accuracy classification of core STPA categories - System Losses, Hazards, and Constraints - through its semantic understanding capabilities. In addition, BERT is employed to verify compliance with technique guidelines, identify common sentence formulation errors, and recommend expert-validated alternatives. This methodology is designed to enhance the quality and consistency of the descriptions used in safety assessments. The work further contributes a specialized dataset of STPA sentences, providing a foundation for continued research and tailored Natural Language Processing model development for STPA applications. Experimental results substantiate the efficacy of the proposed approach, yielding an average accuracy of 95.20% in STPA sentence classification, 88.51% in sentence validation, and 83.44% in fault detection. These findings underscore the value of transformer-based models as effective tools in the development of complex systems, offering automated support for requirements verification and mitigation of human error during safety analyses. 

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2026. Vol. 14, p. 116826-116841
Keywords [en]
Automated validation, bidirectional encoder representations from transformers, classification, hazard analysis, safety, system-theoretic process analysis, Artificial intelligence, Computational linguistics, Error detection, Hazards, Large scale systems, Learning algorithms, Learning systems, Natural language processing systems, Security systems, Semantics, System theory, Text processing, Analysis techniques, Bidirectional encoder representation from transformer, Hazards analysis, Human lives, Language model, Process analysis, Safety critical systems, Sentence classifications, System-theoretic process analyze, Accident prevention, Classification (of information)
National Category
Computer Systems Natural Language Processing
Identifiers
URN: urn:nbn:se:bth-30410DOI: 10.1109/ACCESS.2026.3717444ISI: 001841855300019Scopus ID: 2-s2.0-105046264436OAI: oai:DiVA.org:bth-30410DiVA, id: diva2:2093865
Available from: 2026-08-20 Created: 2026-08-20 Last updated: 2026-08-21Bibliographically approved

Open Access in DiVA

fulltext(2562 kB)8 downloads
File information
File name FULLTEXT01.pdfFile size 2562 kBChecksum SHA-512
2cee4b1fc645b5a366bfd5a4f7c21a9f3f3fdab7fce64b9a106d91dbdaea771fa5c3bae8ed13b187cbffe9b526cd6338e168cd7d942b9ef11101390d08a66908
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records

Gorschek, TonyLavesson, Niklas

Search in DiVA

By author/editor
Gorschek, TonyLavesson, Niklas
By organisation
Department of Software Engineering
In the same journal
IEEE Access
Computer SystemsNatural Language Processing

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 398 hits
1314151617181916 of 46
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf