355 search results - page 52 / 71 » Schedule Validation for Embedded Reactive Real-Time Systems |
RTAS
2003
IEEE
14 years 21 days ago
2003
IEEE
The use of feedback control theory for performance guarantees in QoS-aware systems has gained much attention in recent years. In this paper, we investigate merging, within a singl...
ACSD
2005
IEEE
14 years 1 months ago
2005
IEEE
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
VEE
2005
ACM
14 years 29 days ago
2005
ACM
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose a real-time message scheduling algorithm which is applied to schedule periodic realtime messages in IEEE 802.15.4 for LR-WPAN(Low Rate Wireless Personal Area Network). ...