skip to main content
10.1145/319294acmconferencesBook PagePublication PagesadaConference Proceedingsconference-collections
SIGAda '99: Proceedings of the 1999 annual ACM SIGAda international conference on Ada
ACM1999 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
SIGAda99: ACM SIGAda Annual International Conference Redondo Beach California USA October 17 - 21, 1999
ISBN:
978-1-58113-127-7
Published:
01 September 1999

Reflects downloads up to 17 Feb 2025Bibliometrics
Abstract

No abstract available.

Article
Free
Redistribution in distributed Ada

In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed dataflow application. This relocation mechanism will provide the capability of providing both passive and active fault ...

Article
Free
Interfacing Ada 95 to Microsoft COM and DCOM technologies

COM, the Component Object Model, and DCOM, Distributed COM, were introduced as the underlying technologies of Microsoft's second version of OLE, but have since proven their utility as powerful model for distributed systems. This paper intends to ...

Article
Free
A formal model of the Ada Ravenscar tasking profile; delay until

The definition of the Ravenscar Tasking Profile for Ada 95 provides a definition of a tasking runtime system with deterministic behaviour and low enough complexity to permit a formal description and verification of the model. A complete run-time system ...

Article
Free
Verification of requirements for saftey-critical software

The purpose of this paper is to describe a methodology for the verification of safety-critical software. The methodology is implemented with use-cease modeling notation of the Unified Modeling Language (UML). The methodology also contains techniques for ...

Article
Free
CORBA and CORBA services for DSA

Comparing CORBA and the Ada 95 Distributed Systems Annex shows that an advantage of CORBA is its Common Object Services, providing standard, frequently-used components for distributed application development. This paper presents our implementation of ...

Article
Free
CORBA vs. Ada 95 DSA: a programmer's view

Recent evolutions in computer networks have made it possible to consider distributed platforms as possible architectures for numerous applications. The classes of distributed applications are numerous and go from time consuming application (performance ...

Article
Free
A truly implementation independent GUI development tool

Over the last few years, graphical user interface programming has become increasingly prevalent. Many libraries and languages have been developed to simplify this task. Additionally, design tools have been created that allow the programmer to "draw" ...

Article
Free
“Transitioning an ASIS application: version 1 to Ada95 2.0”

ASIS (Ada Semantic Interface Specification) applications written to the "Version 1" standard or subsequent 1.X permutations of this standard (such as Version 1.1.1) were developed with and for Ada83. Porting such applications to the Ada95 ASIS standard, ...

Article
Free
Code analysis of saftey-critical and real-time software using ASIS

The Ravenscar Profile is a restricted tasking profile that supports applications requiring separate threads of control yet would satisfy the certification requirements of high-integrity (safety-critical) real-time systems. If the Ravenscar Profile were ...

Article
Free
What future for the distributed systems annex?

In this paper, we report our experience as implementors and users of the Ada 95 Distributed Systems Annex (annex E of the Ada reference manual). We identify the principal strengths and weaknesses of the annex, and make some proposals to improve it ...

Article
Free
Applying Ada, Java and CORBA for making a command and control information system platform independent

In this paper, we describe our experiences in applying CORBA and Java while redesigning an experimental command and control information system that is programmed in Ada 83. Our goal was to allow the user to use the system from any platform with minimal ...

Article
Free
Ada conformity assessments: a model for other programming languages?

This paper presents the actual status of Ada Conformity Assessments after the transition of Ada Conformity Assessments from the Ada Joint Program Office to ISO. The principles of Ada Conformity Assessments according to the ISO/IEE Final Committee Draft ...

Article
Free
Reducing maintenance costs through the application of modern software architecture principles

Large software programs are usually long lived and continually evolve. Substantial maintenance effort is often extended by engineers trying to understand the software prior to making changes. To successfully evolve the software, a thorough understanding ...

Article
Free
Building Tcl-Tk GUIs for HRT-HOOD systems

This work explores Tcl-Tk 8.0 as a building tool for script-based GUIs in Ada95 real-time systems. Tcl-Tk 8.0 is a library that makes graphic programming easier, but it suffers from being non-thread-safe. An application architecture is proposed, the ...

Article
Free
Extending Ada to assist multiprocessor embedded development

The Ada language supports high level techniques for inter-processor communication and also supports low level implementation of data address manipulation. The language however requires the software developers to manage the low-level manipulations. This ...

Article
Free
Interfacing low-level C device drivers with Ada 95

The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying "off-the-self" items to meet heir hardware requirements. Almost all of the device drivers for these devices are ...

Article
Free
Experiences using Ada in a real-time and distributed laboratory

This paper reviews our experience in the laboratory of two courses in the Control Engineering Curriculum at the Politechnical University of Valencia: Real-time Systems and Distributed Control Systems. These courses, in a Control Engineering curriculum, ...

Article
Free
Ada+SQL—an overview

Ada+SQL is a programming environment for Ada 95 extended with basic SQL single user capabilities. It incorporates a very fast compiler and interpreter, with debugging options, library generator and browser, syntax template editors, programmer wizard, ...

Article
Free
Integrating a software engineering approach into an Ada closed laboratory

A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada'95 during the 1998-1999 academic year. The software engineering concepts were applied during the development and implementation. The ...

Article
Free
Optimizing Ada on the fly

One of the features that makes Ada such a reliable programming language is its use of run-time constraint checks. However, such checks slow program execution and increase program size.The AdaMagic™ compiler uses one-pass, on-the-fly flow analysis ...

Article
Free
The role of distributed, real-time Ada & C++ on the Airborne Surveillance Testbed (AST) program

The Airborne Surveillance Testbed (AST) program, managed by SMDC for BMDO, is a technology demonstration program that supports development, test, and evaluation of defensive systems to counter intercontinental and theater ballistic missiles (ICBMs and ...

Article
Free
Pinching pennies while losing dollars

All real-time embedded software projects eventually hit the wall when they trade elegance for efficiency. The major recipient of the blame is often 'that darn tasking' or 'those silly OO concepts'. The actual culprit, unknowingly, is the front line ...

Article
Free
Scheduling problems for parallel and distributed systems

A two-pass scheduling algorithm for parallel and distributed computer systems is presented in this paper. We consider this algorithm as a complex of two stages: process queue formation and assignment procedure. A new approach of both stages realization ...

Article
Free
Towards a distributed object-oriented propagation model using Ada95

Representing interdependencies between the objects of an object-oriented software application requires design-time mechanisms for specifying object interrelationships, as well as software constructs for the runtime maintenance of these relationships. We ...

Article
Free
Formal modeling of synchronization methods for concurrent objects in Ada 95

One important role for Ada programming is to aid engineering of concurrent and distributed software. In a concurrent and distributed environment, objects may execute concurrently and need to be synchronized to serve a common goal. Three basic methods by ...

Article
Free
Article
Free
What happened to integrated environments? (panel session)

20 years ago, in 1979, a landmark community-wide process was launched to establish notional requirements for integrated software engineering environments. The resulting "Stoneman" document was published in February 1980. Bred of the software engineering ...

Contributors
  • Association for Computing Machinery
  • University of Cambridge

Index Terms

  1. Proceedings of the 1999 annual ACM SIGAda international conference on Ada

    Recommendations