17,366 research outputs found
Symbol Synchronization for Diffusive Molecular Communication Systems
Symbol synchronization refers to the estimation of the start of a symbol
interval and is needed for reliable detection. In this paper, we develop a
symbol synchronization framework for molecular communication (MC) systems where
we consider some practical challenges which have not been addressed in the
literature yet. In particular, we take into account that in MC systems, the
transmitter may not be equipped with an internal clock and may not be able to
emit molecules with a fixed release frequency. Such restrictions hold for
practical nanotransmitters, e.g. modified cells, where the lengths of the
symbol intervals may vary due to the inherent randomness in the availability of
food and energy for molecule generation, the process for molecule production,
and the release process. To address this issue, we propose to employ two types
of molecules, one for synchronization and one for data transmission. We derive
the optimal maximum likelihood (ML) symbol synchronization scheme as a
performance upper bound. Since ML synchronization entails high complexity, we
also propose two low-complexity synchronization schemes, namely a peak
observation-based scheme and a threshold-trigger scheme, which are suitable for
MC systems with limited computational capabilities. Our simulation results
reveal the effectiveness of the proposed synchronization~schemes and suggest
that the end-to-end performance of MC systems significantly depends on the
accuracy of symbol synchronization.Comment: This paper has been accepted for presentation at IEEE International
Conference on Communications (ICC) 201
On Time Synchronization Issues in Time-Sensitive Networks with Regulators and Nonideal Clocks
Flow reshaping is used in time-sensitive networks (as in the context of IEEE
TSN and IETF Detnet) in order to reduce burstiness inside the network and to
support the computation of guaranteed latency bounds. This is performed using
per-flow regulators (such as the Token Bucket Filter) or interleaved regulators
(as with IEEE TSN Asynchronous Traffic Shaping). Both types of regulators are
beneficial as they cancel the increase of burstiness due to multiplexing inside
the network. It was demonstrated, by using network calculus, that they do not
increase the worst-case latency. However, the properties of regulators were
established assuming that time is perfect in all network nodes. In reality,
nodes use local, imperfect clocks. Time-sensitive networks exist in two
flavours: (1) in non-synchronized networks, local clocks run independently at
every node and their deviations are not controlled and (2) in synchronized
networks, the deviations of local clocks are kept within very small bounds
using for example a synchronization protocol (such as PTP) or a satellite based
geo-positioning system (such as GPS). We revisit the properties of regulators
in both cases. In non-synchronized networks, we show that ignoring the timing
inaccuracies can lead to network instability due to unbounded delay in per-flow
or interleaved regulators. We propose and analyze two methods (rate and burst
cascade, and asynchronous dual arrival-curve method) for avoiding this problem.
In synchronized networks, we show that there is no instability with per-flow
regulators but, surprisingly, interleaved regulators can lead to instability.
To establish these results, we develop a new framework that captures industrial
requirements on clocks in both non-synchronized and synchronized networks, and
we develop a toolbox that extends network calculus to account for clock
imperfections.Comment: ACM SIGMETRICS 2020 Boston, Massachusetts, USA June 8-12, 202
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems
This paper presents a modeling framework for schedulability analysis of
distributed integrated modular avionics (DIMA) systems that consist of
spatially distributed ARINC-653 modules connected by a unified AFDX network. We
model a DIMA system as a set of stopwatch automata (SWA) in UPPAAL to analyze
its schedulability by classical model checking (MC) and statistical model
checking (SMC). The framework has been designed to enable three types of
analysis: global SMC, global MC, and compositional MC. This allows an effective
methodology including (1) quick schedulability falsification using global SMC
analysis, (2) direct schedulability proofs using global MC analysis in simple
cases, and (3) strict schedulability proofs using compositional MC analysis for
larger state space. The framework is applied to the analysis of a concrete DIMA
system.Comment: In Proceedings MARS/VPT 2018, arXiv:1803.0866
- …