System requirements analysis and technological support for the Ballistic Missile Defense System (BMDS): FY07 progress report

Abstract : Engineering of the Ballistic Missile Defense System (BMDS) requires one to take a holistic approach that includes the physical modeling and analysis of the missile defense operating environment, development of metrics and techniques to analyze the communication requirements of the net-centric Ballistic Missile Defense warfare, and the use of architectural patterns and other software technologies to shape the emergent behavior of the BMDS taking into account of the system's interoperability, composability, extensibility, and dynamic reconfigurability. This report summarizes the work in FY07 to investigate new technologies to support the development of the BMDS. We developed new scoring functions for the fusion of sensor data, an algorithm for multiple hypothesis tracking, a distributed medium access control protocol and data dissemination algorithm for wireless networks of cooperative radar systems, simulation models for network-centric electronic warfare metrics study and for the prediction of the over the horizon radar system footprints, technologies for the correct specification and validation of temporal behaviors in a Service-Oriented Architecture (SOA) based system-of-systems, runtime verification of system-level requirements of distributed reactive systems using MSC-Assertions, and safety assurance of reconfigurable and self-reconfigurable systems. We also evaluated the effectiveness of the real-time Java technology for BMDS software and the potential impact of integrating the Air Force YAL-1A Attack Laser into the BMDS.

[1]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[2]  H. P. Blom.  An efficient filter for abruptly changing systems , 1984, The 23rd IEEE Conference on Decision and Control.

[3]  M. R. Chidambara,et al.  New approach to improved detection and tracking performance in track-while-scan radars. Part 1: Introduction and review , 1987 .

[4]  Y. Bar-Shalom,et al.  The interacting multiple model algorithm for systems with Markovian switching coefficients , 1988 .

[5]  Paul Zarchan,et al.  Tactical and strategic missile guidance , 1990 .

[6]  R. Danchick,et al.  A fast method for finding the exact N-best hypotheses for multitarget tracking , 1993 .

[7]  Li Neng-Jing.  A review of Chinese designed surveillance radars-past, present and future , 1995, Proceedings International Radar Conference.

[8]  Robert G. Hutchins,et al.  IMM tracking of a theater ballistic missile during boost phase , 1998, Defense, Security, and Sensing.

[9]  Robert G. Hutchins,et al.  Trajectory tracking and backfitting techniques against theater ballistic missiles , 1999, Optics & Photonics.

[10]  Bassem Mahafza,et al.  Radar Systems Analysis and Design Using MATLAB , 2000 .

[11]  James Bret Michael,et al.  Design of preliminary experiments with the Sun Java Real-Time system , 2006 .

[12]  Robert G. Hutchins,et al.  Studies in trajectory tracking and launch point determination for ballistic missile defense , 2006, SPIE Defense + Commercial Sensing.

[13]  Grigorios Katsis.  Multistage Security Mechanism For Hybrid, Large-Scale Wireless Sensor Networks , 2007 .

[14]  Doron Drusinsky,et al.  Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors , 2007, 2007 IEEE International Conference on System of Systems Engineering.

[15]  James Bret Michael,et al.  Boost Phase Ballistic Missile Defense Using Multiple Hypothesis Tracking , 2007, 2007 IEEE International Conference on System of Systems Engineering.

[16]  James Bret Michael,et al.  Experiments with Sun Java Real-Time system , 2007 .

[17]  Doron Drusinsky,et al.  Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation , 2007, 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07).

[18]  You-Quan Chen.  Simulation of network-enabled electronic warfare metrics to assess the value of networking in a general information and radar topology , 2007 .

[19]  James Bret Michael,et al.  A Hybrid, Large-scale Wireless Sensor Network for Missile Defense , 2007, 2007 IEEE International Conference on System of Systems Engineering.

[20]  James Bret Michael,et al.  A Distributed Medium Access Control Protocol for Wireless Networks of Cooperative Radar Systems , 2007, 2007 IEEE International Conference on System of Systems Engineering.

[21]  Gerald Lüttgen,et al.  Modeling and verification using UML Statecharts. By Doron Drusinsky. Published by Newnes Publishers, 2006, ISBN 0-7506-7617-5, 306 pages , 2008, Softw. Test. Verification Reliab..