No abstract available.
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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" ...
“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, ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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, ...
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, ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
Index Terms
- Proceedings of the 1999 annual ACM SIGAda international conference on Ada