Aerospace and Electronic Systems Magazine February 2018 - 1

Aerospace and Electronic

Editor-in-Chief-Peter K. Willett
Associate Editor-in-Chief-David Crouse
Administrative Editor-William P. Walsh
Ass't. Admin. Editor-Susanne J. Walsh
Editor Emeritus-David B. Dobson
VP Publications-Maria S. Greco
AESS President-Joe Fabrizio
Executive Assistant, AESS
-Judy Scharmann

Contributing Editors
Awards-Erwin C. Gangl
Book Reviews Editor-Darin Dunham
Conferences-Mark Davis
Distinguished Lecturers &
Tutorials-Kathleen Kramer
Education-Kathleen Kramer
History-Hugh D. Griffiths
Student Research-Wenbo Dou,
Federico Lombardi
Technical Panels-Walter Downing
Tutorials Editor-W. Dale Blair
Website Updates-Judy Scharmann

Associate Editors and Areas of
Specialty
Scott Bawden-Energy Conversion
Systems
Erik Blasch, Roberto Sabatini-Avionics
Systems
Domenico Ciuonzo-Communications,
Signal Processing, and Data Fusion
David Crouse-Target Tracking
Mauro De Sanctis-Signal Processing and
Communication in Aerospace Systems
Michael Braasch-Navigation, Positioning
Giancarmine Fasano-UAS
Daniel O'Hagan-Radar Systems
Open-Astronautic and Aeronautic
Systems
Haiying Liu-Control System Engineering
and Robotic Systems
Michael Cardinale-Electro-Optic and
Infrared Systems, Image Processing
Ruhai Wang-Systems Engineering
Peter Willett-Multi-Sensor Systems

How to Reach Us
We welcome letters to the editor; but,
we reserve the right to edit for space,
style, and clarity. Include address and
daytime phone number with your
correspondence.
Email: sjwalsh4@gmail.com
wpwalsh7@gmail.com
rjanssen@allenpress.com
Publishers: Send books for review to
Darin Dunham, Lockheed Martin, 208
Buddy Tate Ln, Meridianville, AL 35759.
If you have questions, contact Darin by
e-mail at darin.t.dunham@lmco.com.

IEEE

Editors

SYSTEMS
m a g a z i n e

February 2018

ISSN 0885-8985

Volume 33 Number 2

COLUMNS
In This Issue - Technically . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2

From the Editors of the Special Issue on Cyber Security in Aerospace . . . .

3

From the Editor-in-Chief . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

ARTICLES
Special Section: Cyber Security in Aerospace Systems Part II
High-Throughput, Cyber-Secure Multiuser Superposition Covert
Avionics System
Yiran Xu, Gang Wang, Sixiao Wei, Erik Blasch, Khanh Pham, Genshe Chen . . .

4

Is Formal Proof of seL4 Sufficient for Avionics Security?
Steven H. VanderLeest . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

Regular Articles
MH370 Burst Frequency Offset Analysis and Implications on Descent
Rate at End of Flight
Ian D. Holland . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
A Generic Method for Remote Sensing Satellites Conceptual Design
and Rapid Sizing Based on "Design for Performance" Strategy
Alireza Ahmadi, Amirreza Kosari, S. M. B. Malaek . . . . . . . . . . . . . . . . . . . . . 34
Audio Signal Processing to Investigate Alleged Paranormal
Phenomena in Mediumistic Séances
Eckhard Kruse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
Correction: Correction to "Direction of Arrival Estimation for
Monostatic MIMO Radar Using Reduced-Dimension RISR
Algorithm"
Dang Xiao Fang. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

NEWS AND INFORMATION
IEEE AUTOTESTCON 2018 Call for Papers . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Report on the 4th IEEE AESS Workshop on Metrology for AeroSpace
MetroAeroSpace 2017
Pasquale Daponte, Alfonso Farina . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
International Conference on Radar - RADAR2018 Registration Now Open . . . 62
"To Infinity and Beyond" - Buzz Lightyear - Report on Young
Professionals in Space 2017
Tushar Sharma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Call for Papers: IEEE Aerospace and Electronic Systems Magazine Special Issue on: Selected Methods and Techniques for Intelligent
Systems for Space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Meetings and Conferences. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . inside back cover



Table of Contents for the Digital Edition of Aerospace and Electronic Systems Magazine February 2018

No label
Aerospace and Electronic Systems Magazine February 2018 - No label
Aerospace and Electronic Systems Magazine February 2018 - Cover2
Aerospace and Electronic Systems Magazine February 2018 - 1
Aerospace and Electronic Systems Magazine February 2018 - 2
Aerospace and Electronic Systems Magazine February 2018 - 3
Aerospace and Electronic Systems Magazine February 2018 - 4
Aerospace and Electronic Systems Magazine February 2018 - 5
Aerospace and Electronic Systems Magazine February 2018 - 6
Aerospace and Electronic Systems Magazine February 2018 - 7
Aerospace and Electronic Systems Magazine February 2018 - 8
Aerospace and Electronic Systems Magazine February 2018 - 9
Aerospace and Electronic Systems Magazine February 2018 - 10
Aerospace and Electronic Systems Magazine February 2018 - 11
Aerospace and Electronic Systems Magazine February 2018 - 12
Aerospace and Electronic Systems Magazine February 2018 - 13
Aerospace and Electronic Systems Magazine February 2018 - 14
Aerospace and Electronic Systems Magazine February 2018 - 15
Aerospace and Electronic Systems Magazine February 2018 - 16
Aerospace and Electronic Systems Magazine February 2018 - 17
Aerospace and Electronic Systems Magazine February 2018 - 18
Aerospace and Electronic Systems Magazine February 2018 - 19
Aerospace and Electronic Systems Magazine February 2018 - 20
Aerospace and Electronic Systems Magazine February 2018 - 21
Aerospace and Electronic Systems Magazine February 2018 - 22
Aerospace and Electronic Systems Magazine February 2018 - 23
Aerospace and Electronic Systems Magazine February 2018 - 24
Aerospace and Electronic Systems Magazine February 2018 - 25
Aerospace and Electronic Systems Magazine February 2018 - 26
Aerospace and Electronic Systems Magazine February 2018 - 27
Aerospace and Electronic Systems Magazine February 2018 - 28
Aerospace and Electronic Systems Magazine February 2018 - 29
Aerospace and Electronic Systems Magazine February 2018 - 30
Aerospace and Electronic Systems Magazine February 2018 - 31
Aerospace and Electronic Systems Magazine February 2018 - 32
Aerospace and Electronic Systems Magazine February 2018 - 33
Aerospace and Electronic Systems Magazine February 2018 - 34
Aerospace and Electronic Systems Magazine February 2018 - 35
Aerospace and Electronic Systems Magazine February 2018 - 36
Aerospace and Electronic Systems Magazine February 2018 - 37
Aerospace and Electronic Systems Magazine February 2018 - 38
Aerospace and Electronic Systems Magazine February 2018 - 39
Aerospace and Electronic Systems Magazine February 2018 - 40
Aerospace and Electronic Systems Magazine February 2018 - 41
Aerospace and Electronic Systems Magazine February 2018 - 42
Aerospace and Electronic Systems Magazine February 2018 - 43
Aerospace and Electronic Systems Magazine February 2018 - 44
Aerospace and Electronic Systems Magazine February 2018 - 45
Aerospace and Electronic Systems Magazine February 2018 - 46
Aerospace and Electronic Systems Magazine February 2018 - 47
Aerospace and Electronic Systems Magazine February 2018 - 48
Aerospace and Electronic Systems Magazine February 2018 - 49
Aerospace and Electronic Systems Magazine February 2018 - 50
Aerospace and Electronic Systems Magazine February 2018 - 51
Aerospace and Electronic Systems Magazine February 2018 - 52
Aerospace and Electronic Systems Magazine February 2018 - 53
Aerospace and Electronic Systems Magazine February 2018 - 54
Aerospace and Electronic Systems Magazine February 2018 - 55
Aerospace and Electronic Systems Magazine February 2018 - 56
Aerospace and Electronic Systems Magazine February 2018 - 57
Aerospace and Electronic Systems Magazine February 2018 - 58
Aerospace and Electronic Systems Magazine February 2018 - 59
Aerospace and Electronic Systems Magazine February 2018 - 60
Aerospace and Electronic Systems Magazine February 2018 - 61
Aerospace and Electronic Systems Magazine February 2018 - 62
Aerospace and Electronic Systems Magazine February 2018 - 63
Aerospace and Electronic Systems Magazine February 2018 - 64
Aerospace and Electronic Systems Magazine February 2018 - Cover3
Aerospace and Electronic Systems Magazine February 2018 - Cover4
http://www.brightcopy.net/allen/aesm/34-2s
http://www.brightcopy.net/allen/aesm/34-2
http://www.brightcopy.net/allen/aesm/34-1
http://www.brightcopy.net/allen/aesm/33-12
http://www.brightcopy.net/allen/aesm/33-11
http://www.brightcopy.net/allen/aesm/33-10
http://www.brightcopy.net/allen/aesm/33-09
http://www.brightcopy.net/allen/aesm/33-8
http://www.brightcopy.net/allen/aesm/33-7
http://www.brightcopy.net/allen/aesm/33-5
http://www.brightcopy.net/allen/aesm/33-4
http://www.brightcopy.net/allen/aesm/33-3
http://www.brightcopy.net/allen/aesm/33-2
http://www.brightcopy.net/allen/aesm/33-1
http://www.brightcopy.net/allen/aesm/32-10
http://www.brightcopy.net/allen/aesm/32-12
http://www.brightcopy.net/allen/aesm/32-9
http://www.brightcopy.net/allen/aesm/32-11
http://www.brightcopy.net/allen/aesm/32-8
http://www.brightcopy.net/allen/aesm/32-7s
http://www.brightcopy.net/allen/aesm/32-7
http://www.brightcopy.net/allen/aesm/32-6
http://www.brightcopy.net/allen/aesm/32-5
http://www.brightcopy.net/allen/aesm/32-4
http://www.brightcopy.net/allen/aesm/32-3
http://www.brightcopy.net/allen/aesm/32-2
http://www.brightcopy.net/allen/aesm/32-1
http://www.brightcopy.net/allen/aesm/31-12
http://www.brightcopy.net/allen/aesm/31-11s
http://www.brightcopy.net/allen/aesm/31-11
http://www.brightcopy.net/allen/aesm/31-10
http://www.brightcopy.net/allen/aesm/31-9
http://www.brightcopy.net/allen/aesm/31-8
http://www.brightcopy.net/allen/aesm/31-7
https://www.nxtbookmedia.com