Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE

Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE

The configuration information of Integrated Modular Avionics (IMA) system includes almost all details of whole system architecture, which is used to configure the hardware interfaces, operating system, and interactions among applications to make an IMA system work correctly and reliably. It is very...

Full description

Saved in:

Bibliographic Details
Main Authors:	Lisong Wang, Miaofang Chen, Jun Hu
Format:	Article
Language:	English
Published:	Wiley 2018-01-01
Series:	International Journal of Aerospace Engineering
Online Access:	http://dx.doi.org/10.1155/2018/7019838
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method
by: Haiyun Yang, et al.
Published: (2020-01-01)

Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA
by: Changxiao Zhao, et al.
Published: (2021-01-01)

Ontology-Based Resource Modeling and Matching Framework in Avionics Systems
by: Xiaoyan Du, et al.
Published: (2022-01-01)

Modularity and customisation for home care – Configuration and multicriteria analysis of furnishings
by: Teresa Villani, et al.
Published: (2023-12-01)

Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review
by: Rim Ben Fekih, et al.
Published: (2025-01-01)

On the Formal Integrability Problem for Planar Differential Systems
by: Antonio Algaba, et al.
Published: (2013-01-01)

L’avion, le cerf-volant et le deuil
by: Jean Marie Théodat
Published: (2009-07-01)

Evaluating possibility of creating modular DC/DC power supplies with configurable structure
by: V. A. Shpenst, et al.
Published: (2022-04-01)

Complete verification of strong BSD for many modular abelian surfaces over ${\mathbf {Q}}$
by: Timo Keller, et al.
Published: (2025-01-01)

Prediction of Quality Food Sale in Mart Using the AI-Based TOR Method
by: Daniyal Irfan, et al.
Published: (2022-01-01)

Perturbation Methods and Formal Modeling for Dynamic Systems
by: Saeed Islam, et al.
Published: (2015-01-01)

Video Data Integrity Verification Method Based on Full Homomorphic Encryption in Cloud System
by: Ruoshui Liu, et al.
Published: (2018-01-01)

Formalization of Methods in Criminalistics
by: L. P. Grynko
Published: (2019-12-01)

Integrable and Superintegrable Systems with Higher Order Integrals of Motion: Master Function Formalism
by: Z. Alizadeh, et al.
Published: (2018-01-01)

Dynamic characteristics of a two-phase mechanically pumped cooling loop for avionics
by: Shaohuan Qi, et al.
Published: (2025-03-01)

Chemical characterization of fruits of Garcinia brasiliensis Mart.
by: Caroline Woelffel Silva, et al.
Published: (2025-02-01)

Towards Sophisticated Air Traffic Control System Using Formal Methods
by: Abdessamad Jarrar, et al.
Published: (2018-01-01)

El impacto social del avión (Manutara) en la isla Rapa Nui
by: Roberto Rojas Pantoja
Published: (2023-10-01)

Phytochemical and Antimicrobial Activity of Digera Muricata (L.) Mart.
by: Pratima Mathad, et al.
Published: (2010-01-01)

Formalization of wastepickers in Bogota and Lima: Recognize, regulate, and then integrate?
by: Mélanie Rateau, et al.
Published: (2019-04-01)

Wu’s Characteristic Set Method for SystemVerilog Assertions Verification
by: Xinyan Gao, et al.
Published: (2013-01-01)

Defensive response to humans in farm-bred sables (Martes zibellina)
by: E. G. Sergeev
Published: (2015-07-01)

HEAVINESS OF HAIR PIGMENTATION AND REPRODUCTIVITY IN SABLES (MARTES ZIBELLINA L.)
by: S. N. Kashtanov, et al.
Published: (2015-01-01)

Assessing the Static and Dynamic Sensitivity of a Commercial Off-the-Shelf Multicore Processor for Noncritical Avionic Applications
by: Pablo F. Ramos, et al.
Published: (2018-01-01)

L'impact social de l'avion (Manutara) sur l'île de Rapa Nui
by: Roberto Rojas Pantoja
Published: (2023-10-01)

FORMALIZATION OF THE PROBLEM OF SELECTION OF AUTOMATED SYSTEM
by: A. V. Petukhov
Published: (2018-06-01)

Formalized Methods of Managing Enterprise Political Risk
by: G. O. Reshetnikov
Published: (2011-08-01)

Integrated Management Software for Factory Production of Modular Buildings
by: SungHoon Nam, et al.
Published: (2019-01-01)

Importancia agroecológica del coyul (Acrocomia mexicana Karw. ex Mart.)
by: Blanca C. Ramírez Hernández, et al.
Published: (2013-01-01)

Drying and storage of Piptadenia gonoacantha (Mart.) J.F.Macbr. seeds
by: J. M. Freire, et al.
Published: (2025-01-01)

Uluslararası Sünnetin Otoritesi Sempozyumu (16-17 Mart 2019, Sakarya)
by: Mahmut Demir
Published: (2019-11-01)

Component-Based Formal Modeling of PLC Systems
by: Rui Wang, et al.
Published: (2013-01-01)

The use of formal languages for business rules realisation in information systems
by: Olegas Vasilecas, et al.
Published: (2005-12-01)

Experiential design schemas – Combining modular thinking with integral theory
by: Mark DeKay, et al.
Published: (2023-12-01)

Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems
by: T. Bench-Capon, et al.
Published: (1999-01-01)

Effect of Marolo (Annona crassiflora Mart.) Pulp Flour Addition in Food Bars
by: Jéssyca Santos Silva, et al.
Published: (2018-01-01)

Massive subcutaneous filariosis by Filaria martis in beech marten (Martes foina) in Italy
by: Giovanni Sgroi, et al.
Published: (2025-02-01)

Interaction between Bees and the Tristylous Flowers of Oxalis cytisoides Mart. & Zucc. (Oxalidaceae)
by: Cristiane Krug, et al.
Published: (2012-01-01)

Measurement configuration for integrated electric–gas systems via observability analysis considering gas flow dynamics
by: Zeming Chen, et al.
Published: (2024-12-01)

Design and Climate-Responsiveness Performance Evaluation of an Integrated Envelope for Modular Prefabricated Buildings
by: Junjie Li, et al.
Published: (2018-01-01)