A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet

Robati, Tiyam; Gherbi, Abdelouahed; Mullins, John

doi:10.1016/j.procs.2016.04.120

Cited by 11 publications

(3 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Apart from verification, there is also the modeling task. The challenge in conceptual modeling of real-time systems for verification purposes is significant as the models used for verification are usually different than those used during concept design.To bridge this gap, Robati et al [70] extended AADL to model TTEthernetbased distributed systems and developed model transformations for verification through discrete event simulations. Similarly, Wang et al [86] extracted information from UML-MARTE models to formulate theorems describing the properties of IMA systems.…”

Section: Related Workmentioning

confidence: 99%

Exploring Trade-offs in Concept Design of Integrated Modular Avionic Platform Configurations : Topology Generation, Resource Adequacy, and Dependability

Saar de Moraes

2024

Linköping Studies in Science and Technology. Dissertations

View full text Add to dashboard Cite

Modern aircraft heavily depend on computer systems to carry out various tasks. From managing flight surfaces and engines to processing radar and imagery data and facilitating communication with other aircraft and ground stations, computers are involved in almost every aspect of an aircraft's operation. These computer systems, known as Integrated Modular Avionics (IMA) systems, have long life cycles that span several decades and undergo regular updates. Despite this, a significant portion of the overall life cycle costs is determined very early in the life cycle, in the concept design phase.Thank you, Tâmara and Rodrigo, for your friendship, our ski trips, and for making me feel at home despite being far from our beloved state in southern Brazil. Thank you, Letícia and Natália, for your friendship and for reminding me that I can still feel as young as you are. To my other Brazilian friends, Amanda, André (both), Gustavo, Daiane, Priscila, Fabricio, Carlos, and Bianca, thank you for all the uncountable moments we have shared.To Veronika, Emma, and Irene: I want to express my gratitude for our enjoyable moments. Thank you for providing a much-needed break from my studies and papers.Lastly, I would like to express my gratitude to my friends in Brazil. Despite the great distance, you kept in touch, offered encouragement during difficult times, and were present when I needed you. Thanks to Gabrieli, Camila, Roberta, Giovana, and Gisele for always making the time to meet me when I visit.

show abstract

Section: Related Workmentioning

confidence: 99%

Exploring Trade-offs in Concept Design of Integrated Modular Avionic Platform Configurations : Topology Generation, Resource Adequacy, and Dependability

Saar de Moraes

2024

Linköping Studies in Science and Technology. Dissertations

View full text Add to dashboard Cite

show abstract

“…In recent years, IMA system is the main development direction of avionics system [13], scholars have mainly analyzed and improved the reliability of IMA system from the following three angles. The first category is from the perspective of the IMA system as a whole, the second category is from the perspective of the dynamic reconfiguration of the IMA system, and the last category is from the perspective of the IMA partition software to study the methods to improve the reliability of the IMA system.…”

Section: Related Workmentioning

confidence: 99%

Reliability Assessment Model of IMA Partition Software Using Stochastic Petri Nets

2021

IEEE Access

View full text Add to dashboard Cite

show abstract

“…Integrated modular avionics (IMA) is a high-integrity, partitioned and shared computing platform, which can effectively improve the efficiency of system and reduce source consumption [1]. As a generalized and flexible hardware platform, IMA hosts almost all the avionics functions with different criticalities [2]. An Arinc653 based IMA is controlled by a real-time computer network in which time partitioning and space partitioning are implemented strictly.…”

Section: Introductionmentioning

confidence: 99%

Enhanced Online Sequential Parallel Extreme Learning Machine and its Application in Remaining Useful Life Prediction of Integrated Modular Avionics

Gao

Zhang

et al. 2019

IEEE Access

View full text Add to dashboard Cite

Integrated modular avionics is one of the most advanced systems which has been widely applied in modern aircraft. The performance of integrated modular avionics deeply impacts flight mission. Remaining useful life prediction is the critical manner which can efficiently improve the safety and reliability of aircraft. Since integrated modular avionics is a real-time system, the prediction algorithm should have fast learning speed to satisfy the real-time requirement. In this paper, an enhanced online sequential method is proposed to predict the remaining useful life of integrated modular avionics. Firstly, this paper proposes an online sequential network which is based on the architecture of parallel layer network. Secondly, to enhance the learning capability, this paper adopts the extreme learning machine denosing autoencoder to determine the input weights of the network. Thirdly, an adaptive forgetting factor is added to further improve the performance of the proposed method. The effectiveness and the superiority of the proposed method are verified in comparison with three online sequential algorithms on the standard datasets. Finally, a degradation model is built to depict the deteriorated process of integrated modular avionics. The prediction results confirms that the proposed method can effectively address remaining useful life of integrated modular avionics.INDEX TERMS Integrated modular avionics, parallel layer network, remaining useful life, degradation model.

show abstract

A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet

Cited by 11 publications

References 6 publications

Exploring Trade-offs in Concept Design of Integrated Modular Avionic Platform Configurations : Topology Generation, Resource Adequacy, and Dependability

Exploring Trade-offs in Concept Design of Integrated Modular Avionic Platform Configurations : Topology Generation, Resource Adequacy, and Dependability

Reliability Assessment Model of IMA Partition Software Using Stochastic Petri Nets

Enhanced Online Sequential Parallel Extreme Learning Machine and its Application in Remaining Useful Life Prediction of Integrated Modular Avionics

Contact Info

Product

Resources

About