首页|期刊导航|Journal of Safety Science and Resilience|Extending the STPA to model the control structure with Finite State Machine

Extending the STPA to model the control structure with Finite State Machine

Tiago Aroeira Marliere Cecilia de Azevedo Castro Cesar Celso Massaki Hirata

Journal of Safety Science and Resilience2025，Vol.6Issue(4)：P.674-688,15.

Journal of Safety Science and Resilience2025，Vol.6Issue(4)：P.674-688,15.DOI:10.1016/j.jnlssr.2025.04.004

Extending the STPA to model the control structure with Finite State Machine

Tiago Aroeira Marliere ¹Cecilia de Azevedo Castro Cesar ¹Celso Massaki Hirata¹

作者信息

1. Department of Computer Science-Instituto Tecnologico de Aeronautica(ITA),Praca Mal Eduardo Gomes,50,Sao Jose dos Campos,12228-900,SP,Brazil
折叠

摘要

关键词

System-Theoretic Process Analysis/Finite State Machine/Control structure model/UAS traffic management/Unmanned Aircraft System/Drone

分类

航空航天

引用本文复制引用

Tiago Aroeira Marliere,Cecilia de Azevedo Castro Cesar,Celso Massaki Hirata..Extending the STPA to model the control structure with Finite State Machine[J].Journal of Safety Science and Resilience,2025,6(4):P.674-688,15.

基金项目

supported by the Conselho Nacional de Desenvolvimento Científico e Tecnológico(CNPq)[grant number309620/2021-O] （CNPq）

Fundaçao de AmparoàPesquisa do Estado de Sao Paulo(FAPESP)[grant number 2022/01051-7] （FAPESP）

CAPES PRINT[grant number 88881.310602/2018-01]. （）

Journal of Safety Science and Resilience

ISSN：2096-7527

访问量0

下载量0

段落导航