2006 Proceeding- General Chairs:
- Greg Gicca,
- Ricky E. Sward,
- Program Chair:
- Leemon C. Baird
Welcome to the 2006 Annual International Conference of ACM's Special Interest Group on Ada (SIGAda), being held in Albuquerque, New Mexico, USA. Albuquerque is a marvelous place to hold a conference as it has pleasant weather in November facilitating technical discussions in a congenial environment.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 and Ada 2005 implementations, and continue to be objects of envy by those in the programming language community who understand what the strengths of a language bring 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 functions 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.Beyond the formal conference of selected papers and presentations, SIGAda 2006 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 2005 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.
Proceeding Downloads
Automatic OO parser generation using visitors for Ada 2005
We describe AdaGOOP 2005 (the Ada Generator of Object-Oriented Parsers). AdaGOOP 2005 takes a specification of tokens and an LALR(1) grammar and creates a lexer, a parser that automatically creates a parse tree, and a traversal of the parse tree using ...
Evaluate the performance changes of processor simulator benchmarks When context switches are incorporated
Building state-of-the-art processors is expensive and time consuming. Once the design is finalized and implemented, simulations are used to evaluate functionality and performance of the system. The Sim-alpha processor simulator is one of the most ...
Integrating Ada 2005 into visual studio 2005
In this paper, we describe the integration of an Ada 2005 compiler into Microsoft's 2005 Visual Studio and its implications for the Ada community and beyond.
An improved IDL compiler for optimizing CORBA applications
Building CORBA distributed applications for embedded and real-time systems has brought a number of requirements to be satisfied (small footprint, determinism...). A large part of the distributed application code is generated automatically from its IDL (...
Catch that speeding turtle: latching onto fun graphics in CS1
Graphics are a great way to keep students motivated early in a computer science program. This paper introduces a simple Ada graphics package that simultaneously meets two goals: it provides a easy to understand graphics package that leads to enjoyable ...
DEGAS: discrete event Gnu advanced scheduler
DEGAS provides discrete-event scheduling capability to a GNAT Ada program without requiring extra calls to a simulation library. We accomplish this by intercepting all calls destined for the pthread library and then rerouting them to the dynamically ...
Developing safety critical software for an unmanned aerial vehicle situational awareness tool
In this paper, we describe our application of the SPARK programming language to the development of flight control software for an Unmanned Aerial Vehicle (UAV). The SPARK language was used during a senior-level software engineering course at the US Air ...
Schizophrenic middleware support for fault tolerance
In this paper, we identify the middleware functionnalities andproperties that are required to efficiently implement the FaultTolerant CORBA specification. Our approach relies on certainproperties of PolyORB, our schizophrenic middleware to provide CORBA-...
Refactoring of an Ada 95 library with a Meta CASE tool
This paper presents the refactoring work of Cheddar, a set of Ada packages which aims at providing performance analysis tools for concurrent real time applications. CASE tools can be used for such a purpose. However, we chose to use a meta CASE tool ...
Time horizon in distributed object societies
In a distributed system, it takes time for a software event to reach remote clients. In the same sense as used in physics, only when the event had reached the time horizon of a client, client becomes aware of it. Using this metaphor , we have developed ...
When to migrate legacy embedded applications
This experience report will focus on the issues which drive developers to migrate their application development to a new host or new target or new tool set. If there is no reason to change the embedded application, then there will obviously be no ...
