Formal Approach to Safety‐Driven Dynamic Procedure Modeling
Fuente:
Wiley Open Access
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Artículo Open Access |
| Veröffentlicht: |
Wiley
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1867008231734247424 |
|---|---|
| author | Jean‐Charles Chaudemar Kevin Delmas Charles Mathou Pierre de Saqui‐Sannes |
| author_facet | Jean‐Charles Chaudemar Kevin Delmas Charles Mathou Pierre de Saqui‐Sannes Jean‐Charles Chaudemar Kevin Delmas Charles Mathou Pierre de Saqui‐Sannes |
| collection | Wiley Open Access |
| contents | Formal Approach to Safety‐Driven Dynamic Procedure Modeling Jean‐Charles Chaudemar Kevin Delmas Charles Mathou Pierre de Saqui‐Sannes Systems Engineering ABSTRACT Ensuring the safety of unmanned aerial systems (UAS) is a growing concern as the number of UAS grows increasingly fast. Regulatory bodies are in the process of tackling this problem by issuing standards and recommendations to be met by UAS designers. The European Union Aviation Safety Agency (EASA) published the Specific Operations Risk Assessment (SORA). Among others, it requires that procedures are appropriately defined and designed. Currently, procedures are still widely found in the form of text‐based documents, making them difficult to analyze for safety. This makes it difficult for UAS designers to validate their procedures and acquire flight authorizations from the relevant authorities. In this article, our aim is to facilitate this process. To that end, we expand on our previous work on modeling procedures. We propose a clearly delineated methodology for modeling UAS flight procedures. We perform analyses that reveal more complex failure scenarios than we could previously identify. We illustrate this on a relevant fixed‐wing UAS for which we model, simulate, and analyze three emergency flight procedures. 10.1002/sys.70052 http://creativecommons.org/licenses/by/4.0/ |
| doi_str_mv | 10.1002/sys.70052 |
| format | Artículo Open Access |
| id | wiley_oa_10_1002_sys_70052 |
| institution | Wiley Open Access |
| license_str_mv | http://creativecommons.org/licenses/by/4.0/ |
| publishDate | 2026 |
| publisher | Wiley |
| record_format | wiley_oa |
| spellingShingle | Formal Approach to Safety‐Driven Dynamic Procedure Modeling Jean‐Charles Chaudemar Kevin Delmas Charles Mathou Pierre de Saqui‐Sannes Systems Engineering Formal Approach to Safety‐Driven Dynamic Procedure Modeling Jean‐Charles Chaudemar Kevin Delmas Charles Mathou Pierre de Saqui‐Sannes Systems Engineering ABSTRACT Ensuring the safety of unmanned aerial systems (UAS) is a growing concern as the number of UAS grows increasingly fast. Regulatory bodies are in the process of tackling this problem by issuing standards and recommendations to be met by UAS designers. The European Union Aviation Safety Agency (EASA) published the Specific Operations Risk Assessment (SORA). Among others, it requires that procedures are appropriately defined and designed. Currently, procedures are still widely found in the form of text‐based documents, making them difficult to analyze for safety. This makes it difficult for UAS designers to validate their procedures and acquire flight authorizations from the relevant authorities. In this article, our aim is to facilitate this process. To that end, we expand on our previous work on modeling procedures. We propose a clearly delineated methodology for modeling UAS flight procedures. We perform analyses that reveal more complex failure scenarios than we could previously identify. We illustrate this on a relevant fixed‐wing UAS for which we model, simulate, and analyze three emergency flight procedures. 10.1002/sys.70052 http://creativecommons.org/licenses/by/4.0/ |
| title | Formal Approach to Safety‐Driven Dynamic Procedure Modeling |
| topic | Systems Engineering |
| url | https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.70052 |