skip to main content
10.1145/584418acmconferencesBook PagePublication PagesirtawConference Proceedingsconference-collections
IRTAW '02: Proceedings of the 11th international workshop on Real-time Ada workshop
ACM2002 Proceeding
  • Conference Chair:
  • Currie Colket
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
Mont-Tremblant Quebec Canada April 8 - 12, 2002
ISBN:
978-1-4503-7361-6
Published:
08 April 2002
Sponsors:

Bibliometrics
Skip Abstract Section
Abstract

Before this liaison agreement can be final, it must be approved by JTC1. However, the Chair of WG9 intends to proceed with implementation of the liaison arrangements in anticipation of approval by JTC1. We strongly believe that such a liaison will be important to the SIGAda community, as it will provide us with the opportunity of having input to the evolving Ada language specification. The benefits to SIGAda are identified in the draft. In addition, this will also provide extra value to a SIGAda membership, in that:• SIGAda members will be allowed to see the draft WG9 documentation for the next Ada Standard in its early stages. [This documentation has not been made available to us before.]• SIGAda members will be allowed (collectively) to comment on the draft WG9 documentation, thus potentially impacting the standard;• SIGAda members will have an important role in the management of Ada Application Program Interfaces (APIs); and• SIGAda members (collectively) can play a more active role in the evolution of the Ada standard should they choose to do so.We are already addressing ways in which SIGAda and Ada-Europe can work more closely with WG9. One of the first initiatives is to address a method to manage Ada APIs. Currently the vast majority of Ada bindings to APIs fall into the category of unmanaged. These Ada bindings are frequently hard to find. Once found there is frequently little information concerning how to best use the API nor information on lessons learned from its use. Frequently these bindings do not evolve with updates to the base API, needed maintenance, or Ada language changes. ISO/IEC JTC1/SC22 WG9 has requested that SIGAda and Ada-Europe propose a mechanism for managing Ada Bindings that are not covered already via formal standards. These Ada Bindings can then be recommended by ISO/IEC JTC1/SC22 WG9 as defacto standards for use in Ada application development. A very draft plan, the Plan for Ada Application Program Interfaces (API) Management, has been proposed that would provide a lightweight process to manage Ada Bindings available to the Ada community without the formalism required by an ISO standard. The intent is that Ada-Europe, SIGAda, and WG9 can work together to provide a valuable service to the Ada community for managing Ada bindings to APIs. The draft plan is presented in pages 134-138 of this Ada Letters. There is no consensus on this plan and any final plan may look totally different. Please look it over and provide comments to Mr. Clyde Roby at <[email protected]> and <[email protected]>. If you are interested is serving as the APIWG Chair or Co-chair for an API, please contact Mr. Clyde Roby. He has volunteered to serve as Acting Chair of the APIWG and is planning a workshop at SIGAda 2002 in Houston, Texas.We are planning for our next conference to be at Houston/Clear Lake, Texas from 8-12 December 2002. The venue will be at the Holiday Inn/NASA, right across the way from the NASA Space Center. We are planning a NASA SIGAda 2002 activity, which should be interesting. For more information, please see: http://www.acm.org/sigada/conf/sigada2002. I am looking forward to seeing you there!

Skip Table Of Content Section
WORKSHOP SESSION: Proceedings of the 11th international real time ada workshop
Article
User experiences with the Aonix ObjectAda RAVEN: Ravenscar Profile implementation

CMC Electronics Inc. has gained experience using the Ravenscar Profile by developing avionics software using the Aonix ObjectAda RAVEN toolset. The Aonix toolset was selected by CMC Electronics for several reasons including familiarity with the product ...

Article
Experiences report on the implementation of EPTs for GNAT

Extensible Protected Types were devised to integrate concurrent and object-oriented features of Ada 95. This paper reports on a feasibility study based on implementing Extensible Protected Types for the GNAT compiler.

Article
Practical implementations of embedded software using the Ravenscar Profile

There is significant industry interest in the use of the Ravenscar Tasking profile for high performance and high integrity systems. This paper takes one such design paradigm, the single writer and multiple readers problem, shows why it is difficult to ...

Article
Software portability gains realized with METAH and Ada95

MetaH is an Architecture Description Language (ADL) developed to express and evaluate the software architecture of avionics and flight control systems. It is intended for not only description and analysis, but also for integration of the software ...

Article
Using Ravenscar to support fault-tolerant real-time applications

Recently, a framework was proposed intended to support the development of replicated and distributed Ravenscar applications. This framework provides a transparent abstraction for application replication, allowing applications to be developed without ...

Article
Precise response time analysis for Ravenscar kernels

The Ravenscar Profile defines a subset of the Ada95 tasking constructs which can be implemented using a small, reliable kernel. One of the benefits of this approach is to improve the timing analysis because non-deterministic and non-analyzable features ...

Article
Modeling and schedulability analysis in the development of real-time distributed Ada systems

The paper proposes a model for specific Ada structures that can be integrated into our methodology for modeling and performing schedulability analysis in the development phases of distributed real-time applications written in Ada 95 and using its ...

Article
Protected ceiling changes

The inclusion of dynamic ceiling priorities in Ada is a topic of discussion in the Real-Time Ada community. Several approaches have been discussed in previous editions of the International Real-Time Ada Workshop, which have allowed to identify the ...

Article
Accessing delay queues

A number of flexible scheduling schemes can be programmed in Ada 95 by combining the more advanced features the language provides. For example, imprecise computations would appear to be accommodated by the use of ATCs (with timing triggers) and dynamic ...

Article
Application-defined scheduling in Ada

This paper presents an application program interface (API) that enables Ada applications to use application-defined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. Several application-defined ...

Article
Language issues of compiling Ada to hardware

Implementing real-time systems on FPGAs allows for much easier timing analysis. However, not using a von-Neumann architecture for implementation raises issues with the specification of the Ada language.An alternative queuing and blocking policy is ...

Article
Asynchronous transfer of control in the real-time specification for java™

The Real-Time Specification for Java provides a facility for Asynchronous Transfer of Control based on exception handling and a generalization of the interrupt() method from the Thread class. This mechanism allows the programming of useful idioms such ...

Article
Session summary: summary and plans for next IRTAW
Contributors
  • Space and Naval Warfare Systems Center San Diego

Recommendations