Allowing applications to survive hardware failure is an expensive undertaking, which generally involves reengineering software to include complicated recovery logic as well as deploying special-purpose hardware; this represents a severe barrier to improving the dependability of large or legacy applications. We describe the construction of a general and transparent high availability service that...

The use of broadband sonars in acoustical oceanographic studies a broad range environments, particularly for ecological studies, has rapidly overtaken the traditional narrowband sonar systems. Almost as importantly, and often under-recognized, is diversity platforms that have been used to support these measurements. Here we focus on integration an echosounder system into REMUS underwater vehicl...

trypesis caricae, a species in the same genus as the wasp studied by Murray; the numerals 8 and 9 show the elongated eighth and ninth abdominal segments, followed posteriorly by the long sheaths that hold the ovipositor, which is used to drill through the outside wall of the fig into the ovaries of the pistillate florets inside. Right: According to Joseph 9, these are three forms taken by males...

Historically, visual observation is an emergency responder's first ‘tool’ in identifying spilled oil. Optical detection has since expanded to include a myriad of signals from space, aircraft, drone, vessel and submersible platforms that can provide critical information for decision-making during spill response efforts. Spill monitoring efforts below the air-water interface have been vastly impr...

This work follow the verification as planning paradigm and propose to use model-checking techniques solve goal reasoning problems for autonomous systems with high-degree of assurance. It presents a novel modelling framework — Goal Task Network (GTN) that encompass both under unified formal description enables assurance tools. The paper provides systematic method highlights how an industrial mod...