Welcome to the 2005 Annual International Conference of ACM's Special Interest Group on Ada (SIGAda), being held in Atlanta, Georgia, USA.We offer you a conference featuring a top-quality technical program focused on important strengths of Ada: distributed, real-time, and embedded systems. The visions of these systems reflected in Ada's original requirements in the 1970s have expanded in almost unimaginable ways with Ada 95 implementations, and continue to be objects of envy by those in the programming language community who understand what the strengths of a language brings to implementers in terms of efficiency, reliability, and effectiveness. Software challenges remain dominant in these domains with rapid hardware advances. Most other languages fail to meet the needs identified as far back as the 1978 Steelman, being able at best to do only 3/4 of the needed function while Ada performs over 95%. Ada's track record of reliability, efficiency, robustness and all-around success is unparalleled at solving real-time and/or distributed system challenges. Ada is used in space/satellite systems, most modern jetliner avionics, high-speed ground transportation systems, and battle automation systems. As such, it is an important part of the world's economies and defenses.Three days of technical papers, keynotes, and invited presentations will report how these successes are achieved and where remaining issues are leading. We are fortunate to have leaders in the software engineering community to provide keynote addresses to set the tone for our conference.We are also fortunate to have special presentations which will give you an opportunity to find out how Ada continues to evolve to meet our future requirements, to result in Ada 2005.Beyond the formal conference of selected papers and presentations, SIGAda 2005 also offers workshops and tutorials with the same duality of on-theme and complementary topics. SIGAda's tutorials provide full-day or half-days on selected topics to enhance one's professional development. SIGAda's workshops allow those working the same issues to share with each other and leverage everyone's accomplishments; workshop products are "delivered" to the community.The broad offerings of career-enhancing tutorials include basic Ada 95 introductions for software engineers new to Ada, intermediate and advanced Ada topics for practitioners striving to expand their Ada expertise, and several language-independent technology topics. These topics are often coupled with Ada technology because only Ada's full and complete definition allows one to indicate what is expected, and to show that it can be achieved. Join us in understanding how these topics mutually support the disciplined development and evolution of serious, high quality software systems.Finally, we hope SIGAda 2005 provides you an outstanding opportunity for rewarding affiliation with colleagues in industry, academia, and government - discussions "in the hall," informal meal-time meetings, and even during the more relaxed moments we make for socializing in this wonderful southern city. If you don't realize it already, you will learn that these associations can be as valuable as the technical program at professional conferences, and often extend the experience after you return home.
Proceeding Downloads
Scheduling and memory requirements analysis with AADL
This article describes an Ada set of packages which allows designers to perform resource requirements analysis of AADL specifications. This set of Ada packages is part of Cheddar, an Ada framework that we are developing at the University of Brest [22]...
Modeling SPARK systems with UML
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML from a theoretical perspective. The second aspect is more from a hands-on ...
Optimizing the SPARK program slicer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program slices from SPARK procedures along with a proof that the functionality of ...
Using ASIS to generate C++ bindings
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discuss language mapping issues and provide examples of usage of ASIS features ...
Experimental performance analysis of ada programs in cluster system
In this paper, we describe the use of the Ada language for programming in modern cluster systems. The results of experimental performance analysis of Ada and Java programs in a real cluster systems based on dual SMP nodes are presented.
Experiences using SPARK in an undergraduate CS course
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes the impact of pre-requisites, course layout and execution, and lessons ...
The implementation of ada 2005 synchronized interfaces in the GNAT compiler
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introduction of Abstract Interfaces to provide a form of multiple inheritance. Ada 2005 Abstract Interface Types are akin to Java interfaces, ...
Temporal skeletons for verifying time
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to have significant knowledge of the verification specific detail that formal ...
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems' Correctness-by-Construction methodology; and (3) an affordable application of a formal methods ...
SafetyChip: a time monitoring and policing device
The SafetyChip proposes a strategy where parts of the effort invested in the formal verification during the development of a system can be reused during the system's operation. The strength in a formal verification of a system is that a system can ...
Orchestrating shots for the national ignition racility
The National Ignition Facility (NIF), currently under construction at the Lawrence Livermore National Laboratory, is a stadium-sized facility containing a 192-beam, 1.8 Megajoule, 500-Terawatt, ultra-violet laser system together with a 10-meter diameter ...
AspectAda: aspect oriented programming for ada95
Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to allow a modular implementation of these concerns. Existing programming ...
Data sharing between ada and C/C++
The En Route Automation Modernization (ERAM) program is a real-time Air Traffic Control (ATC) program being developed by Lockheed Martin Corporation. The ERAM program has high availability requirements, mission critical applications, and stringent ...
A comparison of CORBA and ada's distributed systems annex
With the recent advent of affordable computers, and the increased computing needs in numerous different fields, distributed computing has become quite popular. Along with this popularity has come several different approaches for creating distributed ...
Ada in the avionics industry
All systems installed on aircraft are classified based on the effects they may have on safety. As the systems have become more computerized, Ada has a role to play. Ada has been used successfully in the past, continues to be used at present and is ...