Titlebook: Reliable Software Technologies - Ada-Europe 2010; 15th Ada-Europe Inte Jorge Real,Tullio Vardanega Conference proceedings 2010 The Editor(s

Neolithic

Preservation of Timing Properties with the Ada Ravenscar Profilerectly from the architectural description of the system. In those approaches it is paramount that consistency is kept between the system model as analyzed and the system as executing at run time. One of the aspects of interest is the timing behavior. In this paper we discuss how the timing propertie

libertine

Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineeting the desired timing behaviour with the rest of the elements of the application architecture. This paper reports a . that shows how a component-based design has been implemented using periodic concurrent tasks with RT requirements. The Model-Driven Software Development (MDSD) approach provides th

冒煙

Scheduling Configuration of Real-Time Component-Based Applicationsnt viewed as a reusable and opaque software module. The strategy is used on top of the RT-CCM technology, which extends the OMG’s LwCCM technology with the purpose of building real-time distributed component-based applications that can be executed on embedded platforms and with heterogeneous communi

byline

The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005identified: the Physical-Execution Time (PET) model, the Bounded-Execution-Time (BET) model, the Zero-Execution Time (ZET) model and the Logical-Execution-Time (LET) model. They classify Ada as belonging to the BET model and claim that a LET model, as supported by the Giotto language, is superior. W

Mingle

AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada?2005provide programming abstractions that can be mapped effectively onto parallel architectures..Stream processing is a programming paradigm where computations are expressed as independent actors that communicate via data streams. The coarse-grained parallelism exposed in stream programs facilitates suc

folliculitis

A Comparison of Generic Template Support: Ada, C++, C#, and JavaTMs. Generics support efficient type-safe container data structures, general-purpose algorithms, and other reusable components. However, the approaches in different languages vary widely in syntax, semantics, and usage. This paper summarizes the design of generics in Ada, C++, C#, and Java and compare

滑動(dòng)

Towards Ada 2012: An Interim Reportts a snapshot of the more important language enhancements under discussion. Even though these enhancements are not yet in their final form, and will not become part of the proposed new standard until approved by ISO, the description that follows is an accurate reflection of the main directions in wh

Lacerate

cumber

An Efficient Implementation of Persistent Objects an excellent language for implementing persistent objects. This paper introduces a low-impact, efficient implementation of persistent objects based on storage pools and the “POSIX.Memory_ Mapping” API?. The performance and reliability of the implementation is compared with serialisation.

箴言

What to Make of Multicore Processors for Reliable Real-Time Systems?riority and earliest-deadline first scheduling polices. It also examines critically the foundations of these theoretical results, including assumptions about task independence and worst-case execution time estimates, with a view toward their practical applicability.