Incremental Assurance of Multicore Integrated Modular Avionics (IMA)

2012 ◽

Vol 5 (1) ◽

pp. 245-255 ◽

Cited By ~ 2

Author(s):

Thierry LeSergent ◽

Frederic Romeas ◽

Olivier TOURILLION

Keyword(s):

Software Engineering ◽

Integrated Modular Avionics

Download Full-text

Composition of Information Assurance properties in Integrated Modular Avionics systems

2008 IEEE/AIAA 27th Digital Avionics Systems Conference ◽

10.1109/dasc.2008.4702760 ◽

2008 ◽

Cited By ~ 2

Author(s):

David Pierce ◽

Justin Littlefield-Lawwill

Keyword(s):

Information Assurance ◽

Integrated Modular Avionics

Download Full-text

Schedulability analysis for independent partitions in integrated modular avionics systems

2015 IEEE International Conference on Progress in Informatics and Computing (PIC) ◽

10.1109/pic.2015.7489902 ◽

2015 ◽

Cited By ~ 2

Author(s):

Jinchao Chen ◽

Chenglie Du

Keyword(s):

Schedulability Analysis ◽

Integrated Modular Avionics ◽

Independent Partitions

Download Full-text

Integrated modular avionics: Practical aspects of system integration

2008 IEEE/AIAA 27th Digital Avionics Systems Conference ◽

10.1109/dasc.2008.4702743 ◽

2008 ◽

Author(s):

Mike Madden

Keyword(s):

System Integration ◽

Integrated Modular Avionics

Download Full-text

Mathematical Programming for Optimization of Integrated Modular Avionics

10.4271/2021-01-0009 ◽

2021 ◽

Author(s):

Mohammad Radaei

Keyword(s):

Mathematical Programming ◽

Integrated Modular Avionics

Download Full-text

A Safety Analysis Method With Correlation of States for Integrated Modular Avionics Systems Based on an Extended Generalized Stochastic Petri Net

Risk, Reliability and Safety: Innovating Theory and Practice ◽

10.1201/9781315374987-354 ◽

2016 ◽

pp. 2345-2350

Author(s):

Rongbin Han ◽

Shihai Wang

Keyword(s):

Petri Net ◽

Safety Analysis ◽

Analysis Method ◽

Stochastic Petri Net ◽

Integrated Modular Avionics ◽

Generalized Stochastic Petri Net

Download Full-text

integrated modular avionics

Computer Science and Communications Dictionary ◽

10.1007/1-4020-0613-6_9228 ◽

2000 ◽

pp. 801-801

Author(s):

Martin H. Weik

Keyword(s):

Integrated Modular Avionics

Download Full-text

TS-Preemption Threshold and Priority Optimization for the Process Scheduling in Integrated Modular Avionics

Communications in Computer and Information Science - Bio-inspired Computing: Theories and Applications ◽

10.1007/978-981-10-7179-9_2 ◽

2017 ◽

pp. 9-23

Author(s):

Qianlin Zhou ◽

Hui Lu ◽

Honglei Qin ◽

Jinhua Shi ◽

Rongrong Zhou

Keyword(s):

Process Scheduling ◽

Integrated Modular Avionics

Download Full-text

Safety Assessment Process Optimization for Integrated Modular Avionics

IEEE Aerospace and Electronic Systems Magazine ◽

10.1109/maes.2019.2934543 ◽

2019 ◽

Vol 34 (11) ◽

pp. 58-67 ◽

Cited By ~ 1

Author(s):

Yunsheng Wang ◽

Hang Lei ◽

Richard Hackett ◽

Martin Beeby

Keyword(s):

Process Optimization ◽

Safety Assessment ◽

Assessment Process ◽

Integrated Modular Avionics

Download Full-text

Integrated Modular Avionics Fault Propagation Model Establishment and Reliability Allocation

2018 12th International Conference on Reliability, Maintainability, and Safety (ICRMS) ◽

10.1109/icrms.2018.00077 ◽

2018 ◽

Author(s):

Hao Dong ◽

Xiaohong Bao ◽

Tingdi Zhao ◽

Yu Xin

Keyword(s):

Propagation Model ◽

Fault Propagation ◽

Reliability Allocation ◽

Integrated Modular Avionics ◽

Fault Propagation Model

Download Full-text

Incremental Assurance of Multicore Integrated Modular Avionics (IMA)

Integrating System and Software Engineering Activities for Integrated Modular Avionics Applications

Composition of Information Assurance properties in Integrated Modular Avionics systems

Schedulability analysis for independent partitions in integrated modular avionics systems

Integrated modular avionics: Practical aspects of system integration

Mathematical Programming for Optimization of Integrated Modular Avionics

A Safety Analysis Method With Correlation of States for Integrated Modular Avionics Systems Based on an Extended Generalized Stochastic Petri Net

integrated modular avionics

TS-Preemption Threshold and Priority Optimization for the Process Scheduling in Integrated Modular Avionics

Safety Assessment Process Optimization for Integrated Modular Avionics

Integrated Modular Avionics Fault Propagation Model Establishment and Reliability Allocation

Export Citation Format