Sciweavers

2615 search results - page 16 / 523
» Analysis of Real Time Operating System Based Applications
Sort
View
DSD
2008
IEEE
127views Hardware» more  DSD 2008»
15 years 9 months ago
Measurement, Analysis and Modeling of RTOS System Calls Timing
This paper presents a methodology for accurately characterizing the system calls of an operating system for embedded applications. Characterization consists of two phases: measure...
Carlo Brandolese, William Fornaciari
132
Voted
ECBS
2010
IEEE
224views Hardware» more  ECBS 2010»
15 years 9 months ago
Timed Automata Model for Component-Based Real-Time Systems
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
Georgiana Macariu, Vladimir Cretu
ICIAR
2004
Springer
15 years 7 months ago
A Real-Time Image Stabilization System Based on Fourier-Mellin Transform
J. Ramiro Martinez de Dios, Aníbal Ollero
SCS
2004
15 years 3 months ago
Complex Reactive Real Time Systems and the Safety Case
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...
Gordon R. Stone
RTAS
2005
IEEE
15 years 8 months ago
Hybrid Supervisory Utilization Control of Real-Time Systems
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...
Xenofon D. Koutsoukos, Radhika Tekumalla, Balachan...