1/9 ABSTRACTThe necessity for precise time synchronisation of measurement data from multiple sensors is widely recognised in the field of GPS/INS integration. Having precise time synchronisation is critical for achieving high data fusion performance. The limitations and advantages of various time synchronisation scenarios and existing solutions are investigated in this paper. A criterion for ev...

For the verification of concurrent programs, it is essential to be able to show that synchronisation mechanisms are implemented correctly. A common way to implement such sychronisers is by using atomic operations. This paper identifies what different synchronisation patterns can be implemented by using atomic read, write and compare-and-set operation. Additionally, this paper proposes also a sp...

High precision time synchronisation protocols are used in distributed real-time systems such as trains, planes, cars or industrial installations. In time-triggered systems, with a coordinated time division multiple access media allocation strategy, the achievable precision of time synchronisation among sending participants determines the quality of communication and the available bandwidth. The...

Time synchronisation is one of the most important and fundamental middleware services for wireless sensor networks. However, there is an apparent disconnect between existing time synchronisation implementations and the actual needs of current typical sensor network applications. To address this problem, we formulate a set of canonical time synchronisation services distilled from actual applicat...

Discrete-event systems with only synchronisation and no concurrency, also known as timed event graphs or (max,+)-linear systems, have been studied by several authors. The synchronisation constraints that arise in these discrete-event systems are hard, i.e., they cannot be broken under any circumstance. In this paper we consider a more extended class of discrete-event systems with both hard and ...

Wireless Sensor Networks (WSN) consist of multiple end nodes containing sensors and one or more coordinator nodes which poll and command the end nodes. WSN can prove very efficient in wireless distributed energy data acquisition, e.g. for phasor or power measurements. However, these types of measurements require relatively tight synchronisation, which is sometimes difficult to achieve for lowco...

In Electronic Support, periodic search strategies for swept-frequency superheterodyne receivers (SHRs) can cause synchronisation with the radar it seeks to detect. Synchronisation occurs when the periods governing the search strategies of the SHR and radar are commensurate. As a result, the radar may never be detected. In this paper, we find that, under certain conditions, the number of ratios ...

Synchronisation is fundamental to concurrent programs. This paper investigates the security of information ow in multi-threaded programs in the presence of synchronisation. We give a small-step operational semantics for a simple shared-memory multi-threaded language with synchronisation, and present a compositional timing-sensitive bi-simulation-based conndentiality speciication. We propose a t...

This paper presents a new family of synchronisation sequences, Concatenated Extended Complementary (CEC) sequences. CEC-sequences have recently been adopted for Release 4 of UMTS TDD mode as inter-base station synchronisation codes. They provide perfect auto-correlation properties within a windo of adjustable size, excellent overall auto-correlation properties and allow the use of low-complexit...