Scheduling Independent Partitions in Integrated Modular Avionics Systems

PLoS ONE ◽

10.1371/journal.pone.0168064 ◽

2016 ◽

Vol 11 (12) ◽

pp. e0168064 ◽

Author(s):

Jinchao Chen ◽

Chenglie Du ◽

Pengcheng Han

Keyword(s):

Integrated Modular Avionics ◽

Independent Partitions

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 ◽

Author(s):

Jinchao Chen ◽

Chenglie Du

Keyword(s):

Schedulability Analysis ◽

Integrated Modular Avionics ◽

Independent Partitions

Download Full-text

Integrating System and Software Engineering Activities for Integrated Modular Avionics Applications

SAE International Journal of Aerospace ◽

10.4271/2012-01-2139 ◽

2012 ◽

Vol 5 (1) ◽

pp. 245-255 ◽

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 ◽

Author(s):

David Pierce ◽

Justin Littlefield-Lawwill

Keyword(s):

Information Assurance ◽

Integrated Modular Avionics

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

Incremental Assurance of Multicore Integrated Modular Avionics (IMA)

10.1109/dasc52595.2021.9594404 ◽

2021 ◽

Author(s):

Steven H. VanderLeest ◽

David C. Matthews

Keyword(s):

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 ◽

Author(s):

Yunsheng Wang ◽

Hang Lei ◽

Richard Hackett ◽

Martin Beeby

Keyword(s):

Process Optimization ◽

Safety Assessment ◽

Assessment Process ◽

Integrated Modular Avionics

Download Full-text