No abstract available.
Proving specifications of tasking systems using Ada/TL
ADA/TL is a language for specification of the behavior of systems of communicating tasks. It merges concepts of the specification part of ADA, VDM specification of packages, and temporal logic specification of task behavior. The TL part consists of ...
Towards reuse of verified Ada software
Reuse of software, and formal verification, are two important problems of software engineering. A great deal of effort has been expended on each these two problems separately, but with limited success. The two problems are in fact related, and attacking ...
A tailored design language: putting model based formal specification into practice
This paper introduces a model based formal design language aimed at supporting the practical use of rigorous methods within an industrial framework. The language consists of a core that is tailored to suit particular implementation languages, enabling ...
A prototype implementation of the SQL Ada module extension (SAME) method
As Ada becomes more widespread, the ability to access commercial database technologies through Ada systems becomes a significant issue. Researchers throughout our industry are investigating interface approaches between Ada and these technologies, ...
A prototype implementation of the Ada binding to POSIX
The IEEE P1003.5 Working Group is developing a standard Ada Binding to POSIX Operating System services. This paper describes the basic approach and some of the techniques used in developing a prototype implementation of this POSIX Ada Binding. The ...
A comparison of experiences with the maintenance of object-oriented systems: Ada vs. C++
This paper discusses the relative ease with which systems are maintained using the mechanisms supported by Ada versus those supported by C++. The paper opens with a discussion of significant aspects of object-oriented development, followed by comments ...
Personal thoughts on Ada's object orientation
Ada's original design incorporated some of the best concepts of object-oriented programming in the context of its design objectives and the Steelman requirements. Only minor modifications are required to give Ada even more power. Drastic changes to make ...
Position paper
On the issue of adding Object Oriented Programming Language features to Ada, I find myself with a mixed view of the issue. As a proponent, innovator, and user of object oriented technology since my introduction to Ada in 1983, I want to gain the ...
DAda—an Ada preprocessor for functional programming
The impact of declarative (functional) programming is inhibited by the need to learn/use new languages. A series of language extensions implemented by preprocessing, which integrates functional programming into the Ada culture, is described. Features ...
A real-time Ada design method based on DoD-STD-2167A
This paper presents the THOMSON CSF design methodology used on large Real-Time Ada projects compliant with the DOD-STD-2167A standard.
This design methodology was defined within the context of the RMR radar software project. RMR software is still under ...
A new approach to prototyping Ada-based hardware/software systems
Prototyping is not a single technique, but rather a collection of widely diverse activities, with highly fragmented support technology. TRW and Stanford have recently collaborated to develop an approach for reducing this fragmentation in the future. ...
A proposal for a recursive object-oriented life-cycle
This paper describes the recursive object oriented life-cycle which has been developed in conjunction with the authors' Object Oriented Development (OOD) methods. The basic goals that a life-cycle must satisfy are described and the recursive life-cycle ...
Simulation and design in an object-oriented world: a methodology for large software systems
If one were to make even a casual review of the literature relating to software engineering principles, design methodologies, and the like, then one would be overwhelmed by the efforts of the community to get their arms around the various approaches and ...
Fashioning conceptual constructs in Ada
It is believed that future progress of software productivity depends upon capturing the essence of software in a unit called conceptual construct [BRO87]. The objective of this investigation is to characterize the conceptual construct in Ada code. The ...
Reuse: the two concurrent life cycles paradigm
Since its introduction, Ada has held out the promise of significant productivity gains resulting from the ability to reuse design and code components more effectively. However, these gains will not occur simply because of the powerful features of the ...
Process and products for software reuse in Ada
The large scale application of reuse to support software development is not a new concept. Over twenty years ago, M. D. McIlroy expressed the need for: “… standard catalogues of routines, classified by precision, robustness, time-space performance, size ...
On the accuracy of predicting rate monotonic scheduling performance
Rate monotonic scheduling provides analytic techniques that allow the feasibility and processor utilization of a set of periodically scheduled tasks to be computed. However, the scheduling model must be adapted to take into account specific ...
Benchmarking for deadline-driven computing
Hartstone is a series of timing requirements for testing a system's ability to handle hard real-time applications. It is specified as a set of processes with well-defined workloads and timing constraints. The name Hartstone derives from HArd Real Time ...
The performance of a prototype coprocessor for Ada tasking
A special purpose VLSI coprocessor has been designed to support the real-time functionality of Ada Tasking. The coprocessor has been successfully implemented, and this paper concludes the project by evaluating its performance.
The performance is measured ...