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

摘要

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 selfreconfigurable 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.