Idioma:

Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL

Zhang, Quan ; Wang, Shihai ; Liu, Bin

IET software, 2016-02, Vol.10 (1), p.18-25 [Periódico revisado por pares]

The Institution of Engineering and Technology

Texto completo disponível

Citações Citado por

Enviar para

Título:
Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL
Autor: Zhang, Quan ; Wang, Shihai ; Liu, Bin
Assuntos: AADL ; aerospace computing ; Architecture ; Architecture (computers) ; architecture analysis and design language ; ARINC653 Annex ; avionics ; component error state transitions ; Computer programs ; Error analysis ; error model Annex ; fault isolation reconfiguration ; IMA ; integrated modular avionics reconfiguration modelling ; mode transition mechanisms ; Modelling ; multitasking reliability ; reconfigurable IMA system ; Reconfiguration ; reconfiguration behaviour ; Reliability analysis ; single task reliability ; Software ; software architecture ; software reliability ; system configuration architectures ; task mode reconfiguration
É parte de: IET software, 2016-02, Vol.10 (1), p.18-25
Notas: ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
Descrição: To optimise the configuration and reconfiguration strategies in integrated modular avionics (IMA), modelling and evaluating the reliability of the reconfigurable IMA system have drawn great attention from system engineers and designers. Currently most researches regard each configuration as a single system state, but the detailed system architecture under each configuration or the events that trigger the reconfiguration behaviour are not involved. In this study, a modelling method is proposed for these complex processes of the IMA reconfiguration. It employs architecture analysis and design language (AADL) along with its Error Model Annex, ARINC653 Annex, and mode transition mechanisms to model the correlated component error state transitions, system configuration architectures, and reconfiguration behaviours. Based on the proposed AADL modelling approach, these model information is extracted purposefully to establish computable models. Then a reliability analysis approach is proposed which is able to result in various reliability attributions, such as component reliability, configuration reliability under the software architecture, single task reliability, and multi-tasking reliability. These evaluation processes take into account both of the fault isolation reconfiguration and task mode reconfiguration for the first time. Finally, the case study is involved, which demonstrates the feasibility of the analysis approach for IMA based on an AADL model.
Editor: The Institution of Engineering and Technology
Idioma: Inglês

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL

Zhang, Quan ; Wang, Shihai ; Liu, Bin

The Institution of Engineering and Technology

Buscando em bases de dados remotas. Favor aguardar.