5,803 research outputs found
Schedulability-Driven Frame Packing for Multi-Cluster Distributed Embedded Systems
We present an approach to frame packing for multi-cluster distributed embedded systems consisting of time-triggered and event-triggered clusters, interconnected via gateways. In our approach, the application messages are packed into frames such that the application is schedulable. Thus, we have also proposed a schedulability analysis for applications consisting of mixed event-triggered and time-triggered processes and messages, and a worst case queuing delay analysis for the gateways, responsible for routing inter-cluster traffic. Optimization heuristics for frame packing aiming at producing a schedulable system have been proposed. Extensive experiments and a real-life example show the efficiency of our frame-packing approach
Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack
We present a formal model for a fragmentation and a reassembly protocol
running on top of the standardised CAN bus, which is widely used in automotive
and aerospace applications. Although the CAN bus comes with an in-built
mechanism for prioritisation, we argue that this is not sufficient and provide
another protocol to overcome this shortcoming.Comment: In Proceedings MARS 2017, arXiv:1703.0581
Long-Range Communications in Unlicensed Bands: the Rising Stars in the IoT and Smart City Scenarios
Connectivity is probably the most basic building block of the Internet of
Things (IoT) paradigm. Up to know, the two main approaches to provide data
access to the \emph{things} have been based either on multi-hop mesh networks
using short-range communication technologies in the unlicensed spectrum, or on
long-range, legacy cellular technologies, mainly 2G/GSM, operating in the
corresponding licensed frequency bands. Recently, these reference models have
been challenged by a new type of wireless connectivity, characterized by
low-rate, long-range transmission technologies in the unlicensed sub-GHz
frequency bands, used to realize access networks with star topology which are
referred to a \emph{Low-Power Wide Area Networks} (LPWANs). In this paper, we
introduce this new approach to provide connectivity in the IoT scenario,
discussing its advantages over the established paradigms in terms of
efficiency, effectiveness, and architectural design, in particular for the
typical Smart Cities applications
Autonomous monitoring framework for resource-constrained environments
Acknowledgments The research described here is supported by the award made by the RCUK Digital Economy programme to the dot.rural Digital Economy Hub, reference: EP/G066051/1. URL: http://www.dotrural.ac.uk/RemoteStream/Peer reviewedPublisher PD
- âŠ