Sciweavers

32 search results - page 1 / 7
» RTComposer: a framework for real-time components with schedu...
Sort
View
EMSOFT
2008
Springer
13 years 6 months ago
RTComposer: a framework for real-time components with scheduling interfaces
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
Rajeev Alur, Gera Weiss
ADAEUROPE
2008
Springer
13 years 11 months ago
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
Patricia López Martínez, José...
RTSS
2009
IEEE
13 years 11 months ago
Multiprocessor Extensions to Real-Time Calculus
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
Hennadiy Leontyev, Samarjit Chakraborty, James H. ...
RTSS
1999
IEEE
13 years 9 months ago
Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel
Many scheduling paradigms have been studied for realtime applications and real-time communication network. Among them, the most commonly used paradigms include priority-driven, ti...
Yu-Chung Wang, Kwei-Jay Lin
ECBS
2010
IEEE
224views Hardware» more  ECBS 2010»
13 years 11 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