Welcome to the 2009 Annual International Conference of ACM's Special Interest Group on Ada (SIGAda), being held in the Tampa Bay area, USA at the Hilton St Petersburg Bayfront hotel. This is a beautiful spot located directly on Tampa Bay, Florida. Our location is very close to the Tampa Airport and approximately 1-1/2 hours away from the Orlando International Airport and its associated theme parks. The Tampa Bay area itself has the Busch Gardens theme park, the Salvador Dali museum, and a multitude of beaches on the Gulf coast.
This year's conference concentrates on software reliability, safety, and security as among the most critical requirements of contemporary software. The conference starts with two days of multi track tutorials to educate attendees on a variety of technologies to address these same software development topics. This is followed by three days of technical papers, keynotes, and invited presentations. The keynote speakers all have extensive experience in these areas and have been selected to provide attendees with a variety of perspectives on developing high reliability systems. We have a speaker on developing both safety and security certifiable systems. His experience is with both medical safety devices and security based systems developed to NSA requirements. A second speaker will present his experience in developing and maintaining long lived safety systems for air traffic control/management for both airports and/or in route management. Our third speaker has been involved as both a government representative and now DOD contractor in developing high reliability systems. This talk will educate attendees on these two different sides of the aisle perspectives. Further we have a special invited speaker who is an active participant on SC-205/WG-71 DO-178C committee to present to us the latest development in air safety standards as we move from the established DO-178B standard to the new DO-178C standard.
During the three days of the main conference schedule you will hear from a variety of presenters that have both project experience and research results in developing high reliability software. The selected papers were all double blind reviewed to provide you with the very best in presentations for the time you spend at this year's conference. We think many papers will provide information you can directly apply as lessons learned to your own software development projects. Others may be of interest as technologies that have been tested and worth following in the future.
There will be a reception on Tuesday evening to both relax and meet with other attendees to have informal discussions on like minded topics. Wednesday evening will have various Birds of a Feather (BOF) sessions arranged around topics of specific interest so that attendees can make the most of their stay and have discussions on topics that directly interest them and are helpful for the work they are performing for their companies today.
Finally, we hope SIGAda 2009 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
Introduction to Ada
Level -- Beginner, but attendees should have some experience with a high-level programming language. This tutorial is designed for those who have some familiarity with a programming language, but who are new to Ada. In the morning, we will discuss the ...
An introduction to the C# language and .NET infrastructure
Prerequisites: Familiarity with Object Oriented Programming principles in a language such as Ada, Java, or C++. No previous experience with C# or .NET is assumed. This tutorial will describe the main elements of the C# programming language and the ...
How Ada object orientation works
Recommended Prerequisites: Familiarity with Object Oriented Programming principles in a language such as Ada, Java, or C++ is recommended. Previous experience with C or Ada 83 is strongly recommended. This tutorial will briefly describe the Object-...
Embedded systems engineering with the AADL: modeling & analysis
The SAE Architecture Analysis & Design Language (AADL) is an architecture description language for real-time, fault-tolerant, scalable, embedded, modular multiprocessor systems. It enables the development of highly evolvable systems, early and ...
SPARK: the libre language and toolset for high-assurance software engineering
Level -Intermediate
SPARK is an annotated sub-language of Ada which is unambiguous and suitable for rigorous static analysis. It has been extensively used in industrial applications where safety and security are paramount, such as miltary aerospace, ...
Unmanned systems and Ada
This tutorial provides an introduction to the growing field of Unmanned Systems and the role that Ada plays in solving the challenges presented when designing, building, and operating Unmanned Systems. The tutorial begins with an introduction to the ...
Ada for real-time and parallel processing
This tutorial covers two of the major problems with parallel and real-time programming - time management and storage management. Parallel processing, whether on single-processor machines or multiple processors, has many pitfalls. We will examine these ...
Service oriented architecture (SOA) concepts and implementations
This tutorial covers the principles of Service-Oriented Architectures (SOA) including loose coupling, encapsulation, reusability, composibility, etc. The attendee will learn about the Ada Web Server (AWS) and how SOA interfaces, session management, etc. ...
Embedded, hard, real-time systems with Ada
Development of real-time systems is expensive and difficult, in part because of low-level languages that force developers to use facilities that are ad hoc, incomplete, and not portable. The Real-Time Systems Annex of Ada 2005 (along with the language ...
Multi-language programming with Ada
Building complex applications often requires putting together pieces of software or requirements that have not been made to work together in the first place. Thinking of a project with a high integrity kernel written in Ada, using a set of low level ...
An ada retrospective: developing large, mature, reliable systems
For over 20 years, the EnRoute Automation programs have been developing and delivering a stream of releases all built around an Ada core. Although the percentage of Ada has decreased as the system has grown to provide more function and incorporate more ...
Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE)
Advanced Technologies (ATI) is in the process of developing a dual redundant open source traffic intersection control system for the U.S. Department of Transportation. This system is known as a Signal Control Program Environment (SCOPE). A unique aspect ...
Validate, simulate, and implement ARINC653 systems using the AADL
Safety-critical systems are widely used in different domains and lead to an increasing complexity. Such systems rely on specific services such space and time isolation as in the ARINC653 avionics standard. Their criticality requires a carefully driven ...
"Automatic Prototype Generating" restated with re-ADA: perspective-bridged architecture for document-driven systems transitioning
Structured System Analysis and Design (SSAD) is still considered one of the most straightforward systems approaches, despite both supporting arguments and criticisms. One philosophy in software engineering is to "document everything". However, the ...
On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms
Multiagent algorithms are widely used in computational economics and other social sciences to solve theoretical and practical problems. Because such algorithms are inherently concurrent and multithreaded, Ada's constructs for handling communications ...
Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada
This paper presents the integration of real-time scheduling mechanisms within middleware which supports distribution through Ada and CORBA standards. This technology includes several aspects closely related to real-time systems, such as the management ...
Dynamic analysis of branch mispredictions in Ada
Developing high performance Ada applications not only depends on the chosen algorithms, but also on the time required to execute Ada itself. Timing Ada statements provides developers with insight into patterns of Ada program performance across various ...
Echo: a new approach to formal verification based on Ada
Echo is a novel yet practical approach to the formal verification of large software systems. The Echo approach splits verification into two major parts. In the first part, the SPARK tools are used to verify an implementation written in SPARK Ada against ...
Use of SPARK in a resource constrained embedded system
We are constructing a remote sensing buoy that will be deployed on the Arctic sea ice north of Alaska. The buoy will gather environmental data and transmit that data back to home base via the Iridium satellite network. This data will then be used (by ...
A robotics API dialect for type-safe robots: translating Myro to Ada
In this paper, we present an Ada robotics API designed to be used in teaching undergraduate-level computer science. Our API is inspired by Myro, a Python-based API, but we improve upon Myro's usability, readability, modularity, and documentation by ...
Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A
A Joint Committee RTCA/SC205 and EUROCAE/WG71 has been working on the revision to DO-178B and related documents for several years. DO-178B was published over 17 years ago, and as software technology has evolved, so has the need to update this document. ...
Complementing Ada with other programming languages
This paper presents our experience in using Ada and the Ravenscar profile in a robotics non-profit association and in a robotics competition. While Ada is our primary and dominant language, we have complemented it with a hardware description language (...
Distributed container: a design pattern for fault tolerance and high speed data exchange
We describe a design patterns for achieving fast data transfer in a distributed system with a high reliability requirement. Also described are techniques for utilizing the Ada-95 serialization facilities in implementing the design patterns.
A look at Ada from both sides now (a government, and a defense contractor perspective)
The Ada programming language has had a remarkable history, and promises an even more remarkable future. In this keynote address, Dr. J. Smart from Raytheon will provide his perspective on both as seen from within government, and from within private ...
Georegistration of imagery from unmanned aircraft systems using Ada
As Unmanned Aircraft Systems are used for an increasing number of applications, the challenge of precisely locating the geospatial position of imagery coming from the UAS is becoming more crucial. Through work that has been done in conjunction with the ...
The new semantic model in ASIS for Ada 2005
Following the new Ada 2005 standard, the ASIS interface has to be upgraded. In addition to supporting the representation of new features, ASIS has been extended with a semantic subsystem, where queries support the logical views of entities rather than ...