Kompics: a message-passing component model for building distributed systems

The Kompics component model and programming framework was designedto simplify the development of increasingly complex distributed systems. Systems built with Kompics leverage multi-core machines out of the box and they can be dynamically reconfigured to support hot software upgrades. A simulation framework enables deterministic debugging and reproducible performance evaluation of unmodified Kompics distributed systems. We describe the component model and show how to program and compose event-based distributed systems. We present the architectural patterns and abstractions that Kompics facilitates and we highlight a case study of a complex distributed middleware that we have built with Kompics. We show how our approach enables systematic development and evaluation of large-scale and dynamic distributed systems

Advanced flight control system study

A fly by wire flight control system architecture designed for high reliability includes spare sensor and computer elements to permit safe dispatch with failed elements, thereby reducing unscheduled maintenance. A methodology capable of demonstrating that the architecture does achieve the predicted performance characteristics consists of a hierarchy of activities ranging from analytical calculations of system reliability and formal methods of software verification to iron bird testing followed by flight evaluation. Interfacing this architecture to the Lockheed S-3A aircraft for flight test is discussed. This testbed vehicle can be expanded to support flight experiments in advanced aerodynamics, electromechanical actuators, secondary power systems, flight management, new displays, and air traffic control concepts

Development of a Dynamic Performance Management Framework for Naval Ship Power System using Model-Based Predictive Control

Medium-Voltage Direct-Current (MVDC) power system has been considered as the trending technology for future All-Electric Ships (AES) to produce, convert and distribute electrical power. With the wide employment of highrequency power electronics converters and motor drives in DC system, accurate and fast assessment of system dynamic behaviors , as well as the optimization of system transient performance have become serious concerns for system-level studies, high-level control designs and power management algorithm development. The proposed technique presents a coordinated and automated approach to determine the system adjustment strategy for naval power systems to improve the transient performance and prevent potential instability following a system contingency. In contrast with the conventional design schemes that heavily rely on the human operators and pre-specified rules/set points, we focus on the development of the capability to automatically and efficiently detect and react to system state changes following disturbances and or damages by incooperating different system components to formulate an overall system-level solution. To achieve this objective, we propose a generic model-based predictive management framework that can be applied to a variety of Shipboard Power System (SPS) applications to meet the stringent performance requirements under different operating conditions. The proposed technique is proven to effectively prevent the system from instability caused by known and unknown disturbances with little or none human intervention under a variety of operation conditions. The management framework proposed in this dissertation is designed based on the concept of Model Predictive Control (MPC) techniques. A numerical approximation of the actual system is used to predict future system behaviors based on the current states and the candidate control input sequences. Based on the predictions the optimal control solution is chosen and applied as the current control input. The effectiveness and efficiency of the proposed framework can be evaluated conveniently based on a series of performance criteria such as fitness, robustness and computational overhead. An automatic system modeling, analysis and synthesis software environment is also introduced in this dissertation to facilitate the rapid implementation of the proposed performance management framework according to various testing scenarios

Delay Measurements and Self Characterisation on FPGAs

This thesis examines new timing measurement methods for self delay characterisation of Field-Programmable Gate Arrays (FPGAs) components and delay measurement of complex circuits on FPGAs. Two novel measurement techniques based on analysis of a circuit's output failure rate and transition probability is proposed for accurate, precise and efficient measurement of propagation delays. The transition probability based method is especially attractive, since it requires no modifications in the circuit-under-test and requires little hardware resources, making it an ideal method for physical delay analysis of FPGA circuits. The relentless advancements in process technology has led to smaller and denser transistors in integrated circuits. While FPGA users benefit from this in terms of increased hardware resources for more complex designs, the actual productivity with FPGA in terms of timing performance (operating frequency, latency and throughput) has lagged behind the potential improvements from the improved technology due to delay variability in FPGA components and the inaccuracy of timing models used in FPGA timing analysis. The ability to measure delay of any arbitrary circuit on FPGA offers many opportunities for on-chip characterisation and physical timing analysis, allowing delay variability to be accurately tracked and variation-aware optimisations to be developed, reducing the productivity gap observed in today's FPGA designs. The measurement techniques are developed into complete self measurement and characterisation platforms in this thesis, demonstrating their practical uses in actual FPGA hardware for cross-chip delay characterisation and accurate delay measurement of both complex combinatorial and sequential circuits, further reinforcing their positions in solving the delay variability problem in FPGAs

Uncertainty In Measurements And Cognitive Engineering Analysis Of A Decision Support System For Power System Reconfiguration

Accuracy of the measurement data used for the decision making process or for shipboard operations and control is very important to ensure the reliability and survivability. The uncertainties present in measurement data need to be minimized for reliable system operation. In this work, a fuzzy logic based model is developed to deal with uncertainty in the meter data. Operational and historical parameters of the meters were used to determine a ‘trust’ value of individual meter. A fuzzy correction system for measurement data was used to generate an input dataset for a genetic algorithm based reconfiguration system. Additionally, with the goal of optimizing the performance of power system operator, the effects of Decision Support System (DSS) on the quality of decisions taken by the operator were examined. Unaided and aided interface prototypes were developed and usability tests were carried out on interface prototypes with users having knowledge of power systems

Advanced flight control system study

The architecture, requirements, and system elements of an ultrareliable, advanced flight control system are described. The basic criteria are functional reliability of 10 to the minus 10 power/hour of flight and only 6 month scheduled maintenance. A distributed system architecture is described, including a multiplexed communication system, reliable bus controller, the use of skewed sensor arrays, and actuator interfaces. Test bed and flight evaluation program are proposed

ANOMALY INFERENCE BASED ON HETEROGENEOUS DATA SOURCES IN AN ELECTRICAL DISTRIBUTION SYSTEM

Harnessing the heterogeneous data sets would improve system observability. While the current metering infrastructure in distribution network has been utilized for the operational purpose to tackle abnormal events, such as weather-related disturbance, the new normal we face today can be at a greater magnitude. Strengthening the inter-dependencies as well as incorporating new crowd-sourced information can enhance operational aspects such as system reconfigurability under extreme conditions. Such resilience is crucial to the recovery of any catastrophic events. In this dissertation, it is focused on the anomaly of potential foul play within an electrical distribution system, both primary and secondary networks as well as its potential to relate to other feeders from other utilities. The distributed generation has been part of the smart grid mission, the addition can be prone to electronic manipulation. This dissertation provides a comprehensive establishment in the emerging platform where the computing resources have been ubiquitous in the electrical distribution network. The topics covered in this thesis is wide-ranging where the anomaly inference includes load modeling and profile enhancement from other sources to infer of topological changes in the primary distribution network. While metering infrastructure has been the technological deployment to enable remote-controlled capability on the dis-connectors, this scholarly contribution represents the critical knowledge of new paradigm to address security-related issues, such as, irregularity (tampering by individuals) as well as potential malware (a large-scale form) that can massively manipulate the existing network control variables, resulting into large impact to the power grid