Integration of tools for the Design and Assessment of High-Performance, Highly Reliable Computing Systems (DAHPHRS), phase 1

Systems for Space Defense Initiative (SDI) space applications typically require both high performance and very high reliability. These requirements present the systems engineer evaluating such systems with the extremely difficult problem of conducting performance and reliability trade-offs over large design spaces. A controlled development process supported by appropriate automated tools must be used to assure that the system will meet design objectives. This report describes an investigation of methods, tools, and techniques necessary to support performance and reliability modeling for SDI systems development. Models of the JPL Hypercubes, the Encore Multimax, and the C.S. Draper Lab Fault-Tolerant Parallel Processor (FTPP) parallel-computing architectures using candidate SDI weapons-to-target assignment algorithms as workloads were built and analyzed as a means of identifying the necessary system models, how the models interact, and what experiments and analyses should be performed. As a result of this effort, weaknesses in the existing methods and tools were revealed and capabilities that will be required for both individual tools and an integrated toolset were identified

Event-triggered joint connectivity topology containment control for unmanned surface ship systems under time delay

For the containment control problem of unmanned surface ship systems (USSs) with time delay and limited communication bandwidth, this paper proposes a distributed event-triggered control strategy using a joint connection switching topology. The communication of unmanned surface ship systems inevitably has delay and the topology is time-varying. Firstly, a joint connectivity switching topology model and the state control method of USSs with delay are designed. Secondly, an event-triggered control mechanism is established, and a new trigger condition of USSs communication is designed. In case of time delay, the USS updates its information and sends it to its neighboring USSs under time delay, minimizes communication consumption and saves energy, and rapidly converges to the steady state. Based on the Lyapunov method, the stability of the system is analyzed, and the Zeno behavior when event-triggered is excluded. It is proved that under the designed control strategy, if the communication topology is jointly connected in a certain time, the follower USS can converge to the convex hull formed by multiple leader USS within a certain delay range. Finally, the correctness and validity of the conclusions are verified by simulation