An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks

W Steiner - 2010 31st IEEE Real-Time Systems Symposium, 2010 - ieeexplore.ieee.org
Networks for real-time systems have stringent end-to-end latency and jitter requirements.
One cost-efficient way to meet these requirements is the time-triggered communication …

[หนังสือ][B] Time-triggered communication

R Obermaisser - 2012 - api.taylorfrancis.com
Roman Obermaisser is a full professor for embedded systems at the Department of Electrical
Engineering and Computer Science of the University of Siegen in Germany. He studied …

[HTML][HTML] Reformulating temporal plans for efficient execution

N Muscettola, P Morris, I Tsamardinos - KR, 1998 - books.google.com
Abstract Paul Morris Caelum Research. NASA Ames Research Center Moffett Field, CA
94035 pmorris@ ptolemy. arc. nasa. gov The Simple Temporal Network formalism. permits …

Fault-tolerant rate-monotonic scheduling

S Ghosh, R Melhem, D Mossé, JS Sarma - Real-Time Systems, 1998 - Springer
Due to the critical nature of the tasks in hard real-time systems, it is essential that faults be
tolerated. In this paper, we present a scheme which can be used to tolerate faults during the …

Method and system for performing real-time operation

T Kanai, S Maeda, H Yano, K Yoshii - US Patent 7,685,599, 2010 - Google Patents
An information processing system performs a plurality of tasks within a specific time interval.
The system includes a bus, a plurality of processors which transfer data via the bus, and a …

Comparison of global and partitioning schemes for scheduling rate monotonic tasks on a multiprocessor

S Lauzac, R Melhem, D Mosse - … 10th EUROMICRO Workshop …, 1998 - ieeexplore.ieee.org
The authors study GRMS, a global scheduling scheme for rate monotonic tasks on a
multiprocessor. Several admission control algorithms for GRMS are presented, both for hard …

Mixed-criticality embedded systems--a balance ensuring partitioning and performance

M Paulitsch, OM Duarte, H Karray… - … on Digital System …, 2015 - ieeexplore.ieee.org
Mixed-criticality systems have become a mainstream in industry and research due to their
potential to decrease, size, weight, and power. Often research institutions and industry …

An efficient RMS admission control and its application to multiprocessor scheduling

S Lauzac, R Melhem, D Mossé - Proceedings of the First …, 1998 - ieeexplore.ieee.org
A real-time system must execute functionally correct computations in a timely manner. In
order to guarantee that all tasks accepted in the system will meet their timing requirements …

A real-time medium access control protocol for ad hoc wireless local area networks

RO Baldwin, NJ Davis IV, SF Midkiff - ACM SIGMOBILE Mobile …, 1999 - dl.acm.org
We develop and analyze a simple, elegant medium access control (MAC) protocol for use in
transmitting real-time data in point to point ad hoc wireless local area networks (WLANs) …

[PDF][PDF] Fast transformation of temporal plans for efficient execution

I Tsamardinos, N Muscettola, P Morris - AAAI/IAAI, 1998 - cdn.aaai.org
Temporal plans permit significant flexibility in specifying the occurrence time of events. Plan
execution can make good use of that flexibility. However, the advantage of execution …