Sciweavers

367 search results - page 20 / 74
» Comparison of Component Frameworks for Real-Time Embedded Sy...
Sort
View
ECRTS
2008
IEEE
15 years 6 months ago
Period and Deadline Selection for Schedulability in Real-Time Systems
Task period adaptations are often used to alleviate temporal overload conditions in real-time systems. Existing frameworks assume that only task periods are adjustable and that ta...
Thidapat Chantem, Xiaofeng Wang, Michael D. Lemmon...
ECRTS
2010
IEEE
15 years 26 days ago
Reducing Delay Jitter of Real-Time Control Tasks through Adaptive Deadline Adjustments
For many control systems, control performance is strongly dependent on delay variations of the control tasks. Such variations can come from a number of sources including task preem...
Shengyan Hong, Xiaobo Sharon Hu, Michael D. Lemmon
ECRTS
2003
IEEE
15 years 5 months ago
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
Iain Bate, Peter Nightingale, Anton Cervin
ECRTS
2007
IEEE
15 years 6 months ago
Memory Resource Management for Real-Time Systems
Dynamic memory storage has been widely used for years in computer science. However, its use in real-time systems has not been considered as an important issue, and memory manageme...
Audrey Marchand, Patricia Balbastre, Ismael Ripoll...
CAV
2007
Springer
227views Hardware» more  CAV 2007»
15 years 3 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist