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!
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 ...
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.
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...