A system reliability approach to decision making in autonomous multi-platform systems operating phased missions

This paper presents a decision making strategy for autonomous multi-platform systems, wherein a number of platforms perform phased missions in order to achieve an overall mission objective. Phased missions are defined for both single and multi-platform systems and a decision making strategy is outlined for such systems. The requirements for a tool performing such a strategy are discussed and methods and techniques, traditionally used for system reliability assessment, are identified to fulfill these requirements. Two examples are presented in order to demonstrate how a decision making tool would be employed in practice. Finally, a brief discussion of the efficient implementation of such a strategy is presented

A reliability-based approach to mission planning in multi-platform phased missions

Many systems perform phased missions consisting of several distinct, sequential phases. Mission success depends on the successful completion of all mission phases. Increasingly, for example in military theatre, platforms operating phased missions are required to collaborate in order to achieve an overall mission objective, with specific platform phases containing specific tasks that contribute to that objective. Particularly, but not exclusively, in the case of autonomous vehicles, the calculation of phase and mission failure probabilities can be used to assist in making decisions on the future course of a mission. This paper describes how this decision making process can be implemented

Deployable antenna demonstration project

Test program options are described for large lightweight deployable antennas for space communications, radar and radiometry systems

Using reliability analysis to support decision making in phased mission systems

Due to the environments in which they will operate, future autonomous systems must be capable of reconfiguring quickly and safely following faults or environmental changes. Past research has shown how, by considering autonomous systems to perform phased missions, reliability analysis can support decision making by allowing comparison of the probability of success of different missions following reconfiguration. Binary Decision Diagrams (BDDs) offer fast, accurate reliability analysis that could contribute to real-time decision making. However, phased mission analysis using existing BDD models is too slow to contribute to the instant decisions needed in time-critical situations. This paper investigates two aspects of BDD models that affect analysis speed: variable ordering and quantification efficiency. Variable ordering affects BDD size, which directly affects analysis speed. Here, a new ordering scheme is proposed for use in the context of a decision making process. Variables are ordered before a mission and reordering is unnecessary no matter how the mission configuration changes. Three BDD models are proposed to address the efficiency and accuracy of existing models. The advantages of the developed ordering scheme and BDD models are demonstrated in the context of their application within a reliability analysis methodology used to support decision making in an Unmanned Aerial Vehicle

Autonomous spacecraft maintenance study group

A plan to incorporate autonomous spacecraft maintenance (ASM) capabilities into Air Force spacecraft by 1989 is outlined. It includes the successful operation of the spacecraft without ground operator intervention for extended periods of time. Mechanisms, along with a fault tolerant data processing system (including a nonvolatile backup memory) and an autonomous navigation capability, are needed to replace the routine servicing that is presently performed by the ground system. The state of the art fault handling capabilities of various spacecraft and computers are described, and a set conceptual design requirements needed to achieve ASM is established. Implementations for near term technology development needed for an ASM proof of concept demonstration by 1985, and a research agenda addressing long range academic research for an advanced ASM system for 1990s are established

List of requirements on formalisms and selection of appropriate tools

This deliverable reports on the activities for the set-up of the modelling environments for the evaluation activities of WP5. To this objective, it reports on the identified modelling peculiarities of the electric power infrastructure and the information infrastructures and of their interdependencies, recalls the tools that have been considered and concentrates on the tools that are, and will be, used in the project: DrawNET, DEEM and EPSys which have been developed before and during the project by the partners, and M\uf6bius and PRISM, developed respectively at the University of Illinois at Urbana Champaign and at the University of Birmingham (and recently at the University of Oxford)

Space Tug avionics definition study. Volume 4: Supporting trade studies and analyses

Analyses and trade studies were performed for the evaluation of the most desirable solutions to space tug subsystem requirements. These were accomplished at system, subsystem, and at component levels. The criteria, the candidate options evaluated, the selection process, and the recommended solutions that have been integrated together in the configuration descriptions are reported

Anti-Tamper Method for Field Programmable Gate Arrays Through Dynamic Reconfiguration and Decoy Circuits

As Field Programmable Gate Arrays (FPGAs) become more widely used, security concerns have been raised regarding FPGA use for cryptographic, sensitive, or proprietary data. Storing or implementing proprietary code and designs on FPGAs could result in the compromise of sensitive information if the FPGA device was physically relinquished or remotely accessible to adversaries seeking to obtain the information. Although multiple defensive measures have been implemented (and overcome), the possibility exists to create a secure design through the implementation of polymorphic Dynamically Reconfigurable FPGA (DRFPGA) circuits. Using polymorphic DRFPGAs removes the static attributes from their design; thus, substantially increasing the difficulty of successful adversarial reverse-engineering attacks. A variety of dynamically reconfigurable methodologies exist for implementation that challenge designers in the reconfigurable technology field. A Hardware Description Language (HDL) DRFPGA model is presented for use in security applications. The Very High Speed Integrated Circuit HDL (VHSIC) language was chosen to take advantage of its capabilities, which are well suited to the current research. Additionally, algorithms that explicitly support granular autonomous reconfiguration have been developed and implemented on the DRFPGA as a means of protecting its designs. Documented testing validates the reconfiguration results and compares power usage, timing, and area estimates from a conventional and DRFPGA model