Status and Future of the Ravenscar Profile.PDF

نویسنده

  • Andy Wellings
چکیده

The goal of the first topic was mainly to receive general feedback from the implementation teams and application programmers. These had resulted in several issues being raised. The RP only addresses issues relating to tasking; it is silent on all other aspects of the Ada language. However, some had felt that for a Ravenscar implementation to be effective, there were other restrictions that were necessary. These issues are reported under the second topic. Finally, there are many tasking profiles that could be defined. However, there had been no position papers making proposals for new subsets. Instead, papers had identified extensions to the RP that would give more expressive power but at little extra cost. These were discussed under the third topic. Issues to do with extending the RP for Distributed Systems were not considered in this session.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Vulnerability assessment and zoning of developed and susceptible contaminated karstic (Case study: Ravenscar watershed)

In recent years, population growth and consequently the shortage of drinking water resources have increased the importance of studying the areas of caries Regarding the importance of the subject, in the present study, the evaluation and monitoring of the developed karstic areas and the potential of contamination of Cartesian resources in the Ravensar basin have been addressed In this study, 7fa...

متن کامل

The ESA Ravenscar Benchmark

This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS C implementation featuring the native threading model. ERB is original compared to existing Ada benchmarks, such as the ACES or the PIWG, not only because it is the first Ada Ravenscar benchmark, but also because it p...

متن کامل

A Formal Model of a Run-Time Kernel for Ravenscar

The Ravenscar tasking profile for Ada 95 has been designed to allow implementation of highly safety critical systems in Ada. Ravenscar defines a tasking run-time system with deterministic behaviour and low complexity. We provide a formal model of the primitives provided by Ravenscar including exceptions. This formal model can be used to verify safety properties of applications targeting a Raven...

متن کامل

Transformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach

The Ravenscar Profile is a subset of Ada95 tasking model which removes the Ada’s unsafe real-time characteristics and allows high-integrity of system. By the Ravenscar Profile, Ada95 can meet the determinism on system behavior. It also allows schedulability analysis and formal verification on the concurrent model of system. But the formal verification may be additional hard works to improve val...

متن کامل

Ravenscar Protected Objects: a Circus Semantics

The Ravenscar pro le is a restricted subset of the Ada 95 tasking model | designed to provide a certi able deterministic tasking model that supports schedulability analysis and meets tight memory constraints and performance requirements. Centre to Ravenscar is the use of Ada protected objects as the means for ensuring mutually exclusive access to data shared between di erent tasks. In this repo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000