Sciweavers

ADAEUROPE
2010
Springer
13 years 10 months ago
Scheduling Configuration of Real-Time Component-Based Applications
Abstract: This paper proposes a strategy to manage the schedulability of realtime component-based applications that is fully compatible with the concept of component viewed as a re...
Patricia López Martínez, Laura Barro...
ADAEUROPE
2010
Springer
13 years 10 months ago
Program Verification in SPARK and ACSL: A Comparative Case Study
Eduardo Brito, Jorge Sousa Pinto
ADAEUROPE
2010
Springer
13 years 10 months ago
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
Juan A. Pastor, Diego Alonso, Pedro Sánchez...
ADAEUROPE
2010
Springer
14 years 1 months ago
Managing Transactions in Flexible Distributed Real-Time Systems
Daniel Sangorrín, Michael González H...
ADAEUROPE
2010
Springer
14 years 1 months ago
Cache-Aware Development of High-Integrity Systems
Enrico Mezzetti, Adam Betts, José Ruiz, Tul...
ADAEUROPE
2010
Springer
14 years 5 months ago
Practical Limits on Software Dependability: A Case Study
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in w...
Patrick J. Graydon, John C. Knight, Xiang Yin
ADAEUROPE
2010
Springer
14 years 5 months ago
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann...