In this paper, we describe the solutions developed to address key technical challenges encountered while building a distributed database system that can smoothly handle demanding real-time workloads and provide a high level of fault tolerance. Specifically, we describe schemes for the efficient clustering and data partitioning for the automatic scale out of processing across multiple nodes and ...

The contribution of tide-gauge data, which provide a unique monitoring of sea-level variability along the coasts of the world ocean, to operational oceanography is discussed in this paper. Two distinct applications that both demonstrate tide-gauge data utility when delivered in real-time are illustrated. The first case details basin-scale operational model validation of the French Mercator oper...

Moment magnitudes for large earthquakes (Mw ≥7.0) derived in real time from near-field seismic data can be underestimated due to instrument limitations, ground tilting, and saturation of frequency/amplitude-magnitude relationships. Real-time high-rate GPS resolves the buildup of static surface displacements with the S wave arrival (assuming nonsupershear rupture), thus enabling the estimation o...

The field of Operational Modal Analysis (OMA) has recently become an emerging research interest. OMA, also known as Response-Only Modal Analysis, extracts the modal parameters by processing only the system response data. In many experimental measurement situations, the system’s output data series is short in length and buried under potentially correlated noise. In such cases, the separation of ...

The need for new forms of mathematics to express software engineering concepts and entities has been widely recognized. Real-time process algebra (RTPA) is a denotational mathematical structure and a system modeling methodology for describing the architectures and behaviors of real-time and nonrealtime software systems. This article presents an operational semantics of RTPA, which explains how ...

Typical processes controlled by hard real-time computer systems undergo several, mutually exclusive modes of operation. By deterministically switching among a number of static schedules, a pre run-time scheduled system is able to adapt to changing environmental situations. This paper presents concepts for speci cation of mode changes, construction of static schedules for modes and transitions, ...

Operational time variability is one of the key parameters determining the average cycle time of lots. Many different sources of variability can be identified such as machine breakdowns, setup, and operator availability. However, an appropriate measure to quantify variability is missing. Measures such as overall equipment effectiveness (OEE) used in the semiconductor industry are entirely based ...