Titlebook: Reliable Software Technologies -- Ada-Europe 2006; 11th Ada-Europe Inte Luís Miguel Pinho,Michael González Harbour Conference proceedings 2

脊椎動(dòng)物

Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systntation of Task-Wait-For Graph to deal with synchronization waiting relations defined in the annex of real-time systems, shows the necessary and sufficient conditions for tasking deadlock occurrences, and present a run-time tasking deadlock detector we implemented for real-time systems with the Ada 95’s annex of real-time systems.

競(jìng)選運(yùn)動(dòng)

吸氣

Hierarchical Scheduling with Ada 2005y of hierarchical scheduling, thus enabling new ways to developing critical applications in Ada. The paper explores the new opportunities opened by Ada?2005 and proposes some concrete techniques for implementing hierarchical scheduling in the new version of the language.

verdict

Secure Execution of Computations in Untrusted Hostsis possible to use an optimizing compiler to automatically transform code structure and data layout so that an application can safely be executed on an untrusted remote host without being reverse engineered.

spondylosis

Using Mathematics to Improve Ada Compiled Codef recursion. One of our techniques is based on an analogy with a variant of the well-known critical path method. The other is based on a new result in directed graph theory, which has many potential applications in addition to the one presented here.

LITHE

POSIX Trace Based Behavioural Reflectiontending the traditional POSIX trace model with a partial reflective model. Such combi-nation still preserves the trace mechanism semantics while creating a powerful platform to develop new dynamic systems, with little impact in the system and avoiding complex changes in the kernel source code.

gangrene

Interchangeable Scheduling Policies in Real-Time Middleware for Distributioning real-time middleware implementations to change their scheduling policies for both the processing nodes and the networks. The technique has been tested in an implementation of Ada’s DSA, providing two interchangeable policies: a fixed-priority scheduler, and a complex contract-based flexible scheduler.

flutter

展覽

Hierarchical Scheduling with Ada 2005is opted for over traditional federation. While comparatively heavyweight approaches to hierarchical scheduling have been prevailing until now, the new scheduling features of Ada 2005 enable lighter-weight techniques to be used. This will expectedly result in increasing the efficiency and flexibilit

笨拙的你

A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applicationsava has not been a serious choice in this domain. However, recent work based on the Real-Time Specification for Java promises to make Java technology a credible alternative. This paper discusses and compares Ada and the RTSJ with respect to the requirements for safety-critical systems, in particular