Welcome to ACM SIGAda's 2003 Annual International Conference in San Diego, California - home to much early pioneering work in Ada. San Diego is also a marvelous place to hold a conference as it has pleasant weather in December 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 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 1976 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 four leaders in the software engineering community; Ben Brosgol, Joyce Tokar, David A. Wheeler, and Steve Grimaldi (tentative) will provide keynote addresses to set the tone for our conference.
We are also fortunate to have Jim Moore provide a special introduction to the work of ISO/IEC JTC1/SC22 WG9 on Wednesday afternoon. This is followed by a presentation on the Ravenscar Profile by Tullio Vardanega. WG9 will culminate with a third presentation by Pascal Leroy on the ISO/IEC JTC1/SC22 WG9 Forum after the afternoon break on Wednesday. The WG9 Forum will give you an opportunity to find out how Ada will evolve to meet our future requirements and at the same time give you an opportunity to provide input to its future.
Beyond the formal conference of selected papers and presentations, SIGAda 2003 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.
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 2003 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.
Multilanguage programming with ada in the .Net environment
This paper describes our experiences in using Ada with other programming languages in the .NET environment. This paper explains our approach and presents lessons learned during our development of a real-world software project using .NET. We compare and ...
Static verification and extreme programming
At first glance, the worlds of high-integrity software engineering and Extreme Programming (XP) seem to have little in common. Somewhat surprisingly, we have found the reverse to be the case-indeed it seems that many practices advocated by the XP ...
AdaSlicer: an Ada program slicer
The ability to slice a program or parts of a program is useful in a variety of domains, including re-engineering, dependency analysis, test case generation, test coverage evaluation and debugging. Although a variety of static analysis tools are ...
Verifying linear time temporal logic properties of concurrent Ada programs with quasar
In this paper we present an original and useful way for specifying and verifying temporal properties of concurrent programs with our tool named Quasar. Quasar is based on ASIS and uses formal methods (model checking). Properties that can be checked are ...
A DSA model for data access in self-organizing systems
Data availability is an important issue for self-organizing systems, which include both Peer-to-Peer (P2P) systems and mobile ad hoc networks (MANETs). In P2P systems, the problem of data availability is solved by replicating data across the network. ...
European air traffic flow management: porting a large application to GNU/linux
Computer hardware evolves very quickly. To benefit from cheaper and more powerful systems, big applications have to be ported to new environments. The Ada language has been designed for portability, making such migrations easier. However, today's ...
Experiences in developing a typical web/database application
This paper describes Gesem, an application developed internally by Adalog for managing the registration to its training sessions. The application features a Web interface that uses AWS, an interface to the MySQL DBMS (over ODBC), and a local interface ...
A framework for designing and implementing the Ada standard container library
An open issue of the Ada language is the definition of a standard container library. Containers in this library (e.g., sets, maps and lists) shall offer some core functionalities that characterise their behaviour (i.e., different strategies for managing ...
Measuring cohesion of packages in Ada95
Ada95 is an object-oriented programming language. Pack-ages are basic program units in Ada 95 to support OO programming, which allow the specification of groups of logically related entities. Thus, the cohesion of a package is mainly about how tightly ...
The case for Ada at the USAF academy
This paper describes our experience with selecting Ada as the primary programming language for Computer Science and Computer Engineering majors at the USAF Academy. We have decided to teach Ada in the first three courses of these majors for the next few ...
A practical comparison between Java and Ada in implementing a real-time embedded system
This paper presents a student's observations from an undergraduate research project that explored using Java to implement the software for a real-time embedded system that was originally implemented in a university-level real-time systems course using ...