𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The meaning and role of value in scheduling flexible real-time systems

✍ Scribed by A. Burns; D. Prasad; A. Bondavalli; F. Di Giandomenico; K. Ramamritham; J. Stankovic; L. Strigini

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
235 KB
Volume
46
Category
Article
ISSN
1383-7621

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

DIGITAL SIGNAL PROCESSING AND PARALLEL P
DIGITAL SIGNAL PROCESSING AND PARALLEL PROCESSING IN THE REAL-TIME SIMULATION OF A FLEXIBLE MANIPULATOR SYSTEM
✍ M.O. Tokhi; M.A. Hossain; A.K.M. Azad πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 235 KB

This paper presents an investigation into the utilisation of digital signal processing and parallel processing techniques for the real-time simulation of a flexible manipulator system. A finite dimensional simulation of the system is developed using a finite difference approximation to the governing

Translation and Optimization in the Veri
Translation and Optimization in the Verification of Real-Time Systems
✍ Ernst-RΓΌdiger Olderog πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 48 KB

Compilation or translation is not only an issue at the level of program but also at the level of specification. This talk considers the design of real-time software for Programmable Logic Controllers (PLCs) and discusses questions of correctness and optimization for translations between different se

Test case selection for simulations in t
Test case selection for simulations in the maintenance of real-time systems
✍ Henry, Joel E. πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 331 KB πŸ‘ 2 views

Many real-time systems are developed and maintained through the use of commercial software products, such as Matlab and MatrixX, that automatically generate source code based on graphical control systems models. Testing these real-time models and the real-time software generated from them presents s