Sciweavers

355 search results - page 21 / 71
» Schedule Validation for Embedded Reactive Real-Time Systems
Sort
View
DATE
2008
IEEE
130views Hardware» more  DATE 2008»
13 years 9 months ago
A Dual-Priority Real-Time Multiprocessor System on FPGA for Automotive Applications
This paper presents the implementation of a dualpriority scheduling algorithm for real-time embedded systems on a shared memory multiprocessor on FPGA. The dual-priority microkern...
Antonino Tumeo, Marco Branca, Lorenzo Camerini, Ma...
ECRTS
2009
IEEE
13 years 5 months ago
Reader-Writer Synchronization for Shared-Memory Multiprocessor Real-Time Systems
Reader preference, writer preference, and task-fair readerwriter locks are shown to cause undue blocking in multiprocessor real-time systems. A new phase-fair reader-writer lock i...
Björn B. Brandenburg, James H. Anderson
ECRTS
2008
IEEE
14 years 1 months ago
Work-Conserving Optimal Real-Time Scheduling on Multiprocessors
T-N Plane Abstraction (E-TNPA) proposed in this paper realizes work-conserving and efficient optimal real-time scheduling on multiprocessors relative to the original T-N Plane Ab...
Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki
RTAS
2005
IEEE
14 years 29 days ago
A Platform-Independent Component Modeling Language for Distributed Real-Time and Embedded Systems
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
Krishnakumar Balasubramanian, Jaiganesh Balasubram...
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 1 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....