Response time analysis of multiframe mixed-criticality systems

The well-known model of Vestal aims to avoid excessive pessimism in the quantification of the processing requirements of mixed-criticality systems, while still guaranteeing the timeliness of higher-criticality functions. This can bring important savings in system costs, and indirectly help meet size, weight and power constraints. This efficiency...

Transitions to manual control from highly automated driving in non-critical truck platooning scenarios

Automated truck platooning is getting an increasing interest for its potentially beneficial effects on fuel consumption, driver workload, traffic flow efficiency, and safety. Nevertheless, one major challenge lies in the safe and comfortable transitions of control from the automated system back to the human drivers, especially when they have...

The effect of see-through truck on driver monitoring patterns and responses to critical events in truck platooning

Automated platooning of trucks has its beneficial effects on energy saving and traffic flow efficiency. The vehicles in a platoon, however, need to maintain an extremely short headway to achieve these goals, which will result in a heavily blocked front view for the driver in a following truck. Monitoring surrounding traffic environment and...

Throughput-bufering trade-of analysis for scenario-aware dataflow models

In multi-media applications, bufers represent storage spaces that are used to store the data communicated between diferent tasks in the application, and throughput refers to the rate at which output data is produced by the application. The capacities of the bufers inluence the throughput, by altering the waiting times for tasks that need to read...

Computing response time distributions using iterative probabilistic model checking

System designers need to have insight in the response times of service systems to see if they meet performance requirements. We present a high-level evaluation technique to obtain the distribution of services completion times. It is based on a high-level domain-specific language that hides the underlying technicalities from the system designer....

Vibrotactile target saliency

We tested the saliency of a single vibrotractile target (T) among 2 to 7 nontargets (N), presented by 8 tactors that were equally distributed over a horizontal band around the torso. Targets and nontargets had different pulse duration, but the same activation period and no onset asynchrony. T-N similarity was varied by changing the difference...

Developing adaptive mobile support for crisis response in synthetic task environments

This paper presents an experimental platform for the development and evaluation of mobile decision support for crisis response operations. Using a game-engine, synthetic task environments can be created in which coordination support and the usability of adaptive user interfaces for first responders can be examined in a highly controlled manner....

Sojourn time approximations in queueing networks with feedback

This paper is motivated by the response-time analysis of distributed information systems, where transactions are handled by a sequence of front-end server and back-end server actions. We study sojourn times in an open queueing network with a single Processor Sharing (PS) node and an arbitrary number of M multi-server First-Come-First-Served ...

Performance analysis of access selection and transmit diversity in multi-access networks

Motivated by the 'beyond 3G' vision of radio access network integration and coordinated radio resource management, a purely analytical performance assessment is presented for a single access point integrating multiple radio accesses. Principal focus is placed on the evaluation of multi-user diversity, multi-access diversity and trunking gains....

Runtime support for reconfigurable real-time embedded systems

As the embedding environment becomes more and more complex so does the embedded system itself. An aspect of the complexity, the demand for robust and fault tolerant embedded solutions is ever increasing. Consequently the embedded system design and development face new challenges including modeling, representation, execution and implementation...