Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ADAEUROPE
2008
Springer
11 years 10 months ago
Real-Time Distribution Middleware from the Ada Perspective
Standards for distribution middleware sometimes impose restrictions and often allow the implementations to decide on aspects that are fundamental to the correct and efficient behav...
Héctor Pérez, J. Javier Gutié...
ADAEUROPE
2008
Springer
11 years 10 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
ADAEUROPE
2008
Springer
12 years 2 months ago
Operational Semantics of Ada Ravenscar
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
Irfan Hamid, Elie Najm
ADAEUROPE
2008
Springer
12 years 2 months ago
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je...
ADAEUROPE
2008
Springer
12 years 2 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é...
ADAEUROPE
2008
Springer
12 years 2 months ago
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project
The Cheddar project deals with real time scheduling theory. Many industrial projects do not perform performance analysis with real time scheduling theory even if the demand for the...
Frank Singhoff, Alain Plantec, Pierre Dissaux
ADAEUROPE
2008
Springer
12 years 2 months ago
A Framework for CFG-Based Static Program Analysis of Ada Programs
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
Raul Fechete, Georg Kienesberger, Johann Blieberge...
books