Project

Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models

Real-time operation in Wireless Sensor Networks (WSNs) is conditioned not only by the current technological level (e.g., limited computing power) but also inherently by the target problem itself: WSNs are required to operate in very open and uncertain

Geometric Environment Modelling System

Flexible system configurations and adaptability to changing environments and environmental conditions are key concerns for autonomous systems in future applications, either in industrial production processes, building automation, or health-care scenarios

An Approach to Enhance the Timeliness of Wireless Communications

Wireless technologies are the present and the future of network communications. However, the support of realtime data transmission in wireless communications - providing support for execution of well-timed networked operations - is still an open issue, not

Global Laxity-Based Scheduling on Multiprocessor Resource Reservations

In this paper, we focus on the problem of scheduling a task set on a multiprocessor resource reservation, i.e., in a scenario in which some (or all) processors may be at some times unavailable. We focus on the approach of adding laxity-based priority

Gulliver: A Testbed for Developing, Demonstrating and Prototyping Vehicular Systems

Vehicular system designers often use simulation tools in order to prove vehicular systems. The computational complexity of detailed simulations limits the scale of such testings. Therefore, it is often the case that the first full-scale demonstrations of

Improving NS-2 Network Simulator for IEEE 802.15.4 standard operation

The IEEE 802.15.4 standard was designed to support the specification of wireless sensor networks (WSNs) and wireless sensor and actuator networks (WSANs), which the utilization is emerging within environments with real-time requirements such as industrial

Towards Self-Adaptive Scheduling in Time- and Space-Partitioned Systems

Time- and space-partitioned systems (TSP) are a current trend in safety-critical systems, most notably in the aerospace domain; applications of different criticalities and origins coexist in an integrated platform,  while being logically separated in

The KARYON Project: Predictable and Safe Coordination in Cooperative Vehicular Systems

KARYON, a kernel-based architecture for safety-critical control, is a European project that proposes a new perspective to improve performance of smart vehicle coordination. The key objective of KARYON is to provide system solutions for predictable and safe

An approach supporting fault-propagation analysis for smart sensor systems

Distributed sensor-actuator-systems in automotive or avionic applications have to fulfill safety requirements strictly. Those implementation has to be monitored during the development process and on run-time. For this purpose we presented a data centric

Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks

This position paper describes initial efforts and ideas for the development of a middleware framework to  support the operation of adaptive Wireless Sensor Networks applications with real-time and dependability  requirements. We identify a set of

A fault-aware sensor architecture for cooperative mobile applications

One of the striking characteristics of mobile embedded systems is the interaction with the physical world. Prerequisite for this interaction is the reliable perception of the environment by sensors. Exploiting remote sensors of an instrumented environment

Model-driven development of critical perception components using Simulink

Modern sensor-actuator applications combine a large number of components (sensing devices, processing nodes, networks) and implementing complex interactions between them. Due to failures and other sensor inherent insufficiencies the intended control

A novel modelling pattern for establishing failure models and assisting architectural exploration in an automotive context

With the introduction of the automotive functional safety standard ISO 26262, several challenges related to the representation of dependability information has emerged. This paper addresses how safety requirements can be formalized; which is mandatory for

On Reliability Analysis of Leader Election Protocols for Virtual Traffic Lights

This paper addresses the problem of leader election in virtual traffic lights. A virtual traffic light (VTL) is a self-organizing traffic control system that allows road vehicles equipped with vehicle-to-vehicle communication facilities to implement the

Self-Stabilizing End-to-End Communication in Bounded Capacity, Omitting, Duplicating and Non-FIFO Dynamic Networks

End-to-end communication over the network layer (or data link in overlay networks) is one of the most important communication tasks in every communication network, including legacy communication networks as well as mobile ad hoc networks, peer-to-peer

Reliability Analysis of Consensus in Cooperative Transport Systems

Our work is concerned with the reliability analysis of a 1-of-n selection algorithm with the aim of solving the problem of reaching to an agreement among n processes in presence of unrestricted communication failures. We show the use of probabilistic model

Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults

Future physical environments are expected to be pervasively enriched with sensors, which mobile embedded applications can use to safely interact in and with that environment. Unfortunately, due to the open and uncertain nature of the environment and the

Run time safety analysis for automotive systems in an open and adaptive environment

Cooperative vehicles are no longer fiction. A key factor is the ability for vehicles to exchange information with their environment. The shared information can be used to realize new functionalities, from virtual traffic lights to emergency braking, thus

Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles

Looking at functional safety of vehicles, we have seen an evolution from federated to integrated E/E architectures. When extending the way of specifying and analysing functional safety to also address cooperative functionality, it is not possible to keep a

Safety Kernel for Cooperative Sensor-Based Systems

Developing smart vehicles, either automobile or aerial, to realise cooperative functionality in open and inherently uncertain environments is a difficult task. One fundamental challenge is to make cooperation predictable and safe, despite the uncertainties

Achieving Cooperative Sensing in Automotive Scenarios Through Complex Event Processing

Self-Stabilizing TDMA Algorithms for Dynamic Wireless Ad Hoc Networks

In dynamic wireless ad hoc networks (DynWANs), autonomous computing devices set up a network for the communication needs of the moment. These networks require the implementation of a medium access control (MAC) layer. We consider MAC protocols for DynWANs

Analysing and Reducing Network Inaccessibility in IEEE 802.15.4 Wireless Communications

Network inaccessibility is a temporal issue derived from the presence of faults affecting the communication services provided by the medium access control (MAC) sublayer. The occurrence of network inaccessibility represents temporary 'communication

Towards lightweight logging and replay of embedded, distributed systems

Due to their safety critical nature, Cyber-Physical Systems such as collaborative cars or smart grids demand for thorough testing and evaluation. However, debugging such systems during deployment is challenging, due to the concurrent nature of distributed

Application Driven Environment Representation

Towards Resilient Real-Time Wireless Communications

The use of wireless networks on environments with real-time constrains requires timeliness and dependability guarantees to allow the execution of time-restricted networked operations. The current wireless standards and state-of-the-art solutions pay no or

Chaos: Versatile and Efficient All-to-All Data Sharing and In-Network Processing at Scale

An important building block for low-power wireless systems is to efficiently share and process data among all devices in a network. However, current approaches typically split such all-to-all interactions into sequential collection, processing, and

Uniform Multiprocessor Periodic Resource model

At RTSOPS 2012, we presented the problem of compositional analysis of HSFs on uniform multiprocessors. In this fast abstract, we overview the progress made on the problem since then, and some ongoing work. For a detailed description with proofs, the reader

Expressing validity estimates in smart sensor applications

Validity-based failure algebra for distributed sensor systems

Distributed applications dealing with data from networked sensors need some indication about the quality of remote information. This paper describes how to derive a dynamic validity value that represents a measure for the confidence in remote sensor data