Interacting Components

SystemCSP is a graphical modeling language based on both CSP and concepts of component-based software development. The component framework of SystemCSP enables specification of both interaction scenarios and relative execution ordering among components. Specification and implementation of interaction among participating components is formalized via the notion of interaction contract. The used approach enables incremental design of execution diagrams by adding restrictions in different interaction diagrams throughout the process of system design. In this way all different diagrams are related into a single formally verifiable system. The concept of reusable formally verifiable interaction contracts is illustrated by designing set of design patterns for typical fault tolerance interaction scenarios

A Comparison of Video and Accelerometer Based Approaches Applied to Performance Monitoring in Swimming.

The aim of this paper is to present a comparison of video- and sensor based studies of swimming performance. The video-based approach is reviewed and contrasted to the newer sensor-based technology, specifically accelerometers based upon Micro-Electro-Mechanical Systems (MEMS) technology. Results from previously published swim performance studies using both the video and sensor technologies are summarised and evaluated against the conventional theory that upper arm movements are of primary interest when quantifying free-style technique. The authors conclude that multiple sensor-based measurements of swimmers’ acceleration profiles have the potential to offer significant advances in coaching technique over the traditional video based approach

Novel Lockstep Technique with Roll-back and Roll-forward Recovery to Mitigate Radiation-Induced Soft Errors

An attractive choice for implementing radiation applications is to deploy All-Programmable System-on-Chips (APSoCs) due to their high-performance computing and power efficiency merits. Despite APSoC's advantages, like any other electronic computer, they are prone to radiation effects. Processors found in APSoCs must, therefore, be adequately hardened against ionizing-radiation to become a viable alternative for harsh environments. This paper proposes a triple-core lockstep (TCLS) approach to secure the Xilinx Zynq-7000 APSoC dual-core ARM Cortex-A9 processor against radiation-induced soft errors by coupling it with a MicroBlaze TMR subsystem in Zynq's programmable logic (PL) layer. The proposed strategy uses software-level checkpointing principles along with roll-back and roll-forward mechanisms (i.e. software redundancy), and hardware-level processor replication as well as checker circuits (i.e. hardware redundancy). Results of fault injection experiments show that the proposed solution achieved high soft error security by mitigating about 99\% of bit-flips injected into both ARM cores' register data

Uncertainty Modeling for AUV Acquired Bathymetry

Abstract Autonomous Underwater Vehicles (AUVs) are used across a wide range of mission scenarios and from an increasingly diverse set of operators. Use of AUVs for shallow water (less than 200 meters) mapping applications is of increasing interest. However, an update of the total propagated uncertainty TPU model is required to properly attribute bathymetry data acquired from an AUV platform compared with surface platform acquired data. An overview of the parameters that should be considered for data acquired from an AUV platform is discussed. Data acquired in August 2014 using NOAA’s Remote Environmental Measuring UnitS (REMUS) 600 AUV in the vicinity of Portsmouth, NH were processed and analyzed through Leidos’ Survey Analysis and Area Based EditoR (SABER) software. Variability in depth and position of seafloor features observed multiple times from repeat passes of the AUV, and junctioning of the AUV acquired bathymetry with bathymetry acquired from a surface platform are used to evaluate the TPU model and to characterize the AUV acquired data

Comb-based WDM transmission at 10 Tbit/s using a DC-driven quantum-dash mode-locked laser diode

Chip-scale frequency comb generators have the potential to become key building blocks of compact wavelength-division multiplexing (WDM) transceivers in future metropolitan or campus-area networks. Among the various comb generator concepts, quantum-dash (QD) mode-locked laser diodes (MLLD) stand out as a particularly promising option, combining small footprint with simple operation by a DC current and offering flat broadband comb spectra. However, the data transmission performance achieved with QD-MLLD was so far limited by strong phase noise of the individual comb tones, restricting experiments to rather simple modulation formats such as quadrature phase shift keying (QPSK) or requiring hard-ware-based compensation schemes. Here we demonstrate that these limitations can be over-come by digital symbol-wise phase tracking algorithms, avoiding any hardware-based phase-noise compensation. We demonstrate 16QAM dual-polarization WDM transmission on 38 channels at an aggregate net data rate of 10.68 Tbit/s over 75 km of standard single-mode fiber. To the best of our knowledge, this corresponds to the highest data rate achieved through a DC-driven chip-scale comb generator without any hardware-based phase-noise reduction schemes