Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System-Reference-Cited by-同舟云学术

Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System

Published:2022-12 Issue:4 Volume:16 Page:6635-6646
ISSN:1932-8184
Container-title:IEEE Systems Journal
language:
Short-container-title:IEEE Systems Journal

Author:

Hirata Celso M.¹^ORCID,Ambrosio Ana M.²

Affiliation:

1. Computer Science Department, Instituto Tecnológico de Aeronáutica, São José dos Campos, Brazil

2. Postgraduate Course in Space Engineering and Technology, Instituto Nacional de Pesquisas Espaciais and Omega7 Systems, São José dos Campos, Brazil

Funder

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Fundação de Amparo à Pesquisa do Estado de São Paulo

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Electrical and Electronic Engineering,Control and Systems Engineering,Computer Networks and Communications,Computer Science Applications,Information Systems

Link

http://xplorestaging.ieee.org/ielx7/4267003/9979155/09870654.pdf?arnumber=9870654

Reference38 articles.

1. Risk analysis and assessment modeling language (RAAML),2022

2. Combining STPA and BDD for safety analysis and verification in agile development: A controlled experiment;wang;Lecture Notes in Business Information Processing,2018

3. Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA

4. Safety Verification for Autonomous Ships

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A novel STPA approach to software safety and security in autonomous maritime systems;Heliyon;2024-05

2. A framework to identify failure scenarios in the control mode transition process for autonomous ships with dynamic autonomy;Ocean & Coastal Management;2024-03

3. A Kind of Fail-Operational Realization Method Based on Active STPA;Lecture Notes in Electrical Engineering;2024

4. A Method Based on Behavior Driven Development (BDD) and System-Theoretic Process Analysis (STPA) for Verifying Security Requirements in Critical Software Systems;Advances in Intelligent Systems and Computing;2024

5. Integration Test Procedures for a Collision Avoidance Decision Support System Using STPA;TransNav, the International Journal on Marine Navigation and Safety of Sea Transportation;2023