By Topic

[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments

23-25 May 1988

Filter Results

Displaying Results 1 - 14 of 14
  • Third International IEEE Conference on Ada Applications and Environments (Cat. No.87CH2470-3)

    Publication Year: 1988
    Request permission for commercial reuse | PDF file iconPDF (59 KB)
    Freely Available from IEEE
  • An interleaving symbolic execution approach for the formal verification of Ada programs with tasking

    Publication Year: 1988, Page(s):15 - 26
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (956 KB)

    The use of symbolic execution to prove partial correctness and general safety properties of Ada programs is considered. Past efforts are extended by incorporating tasking proof rules into the symbolic executor, allowing Ada programs with tasking to be formally verified View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Symbolic execution-based verification of Ada tasking programs

    Publication Year: 1988, Page(s):3 - 13
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (780 KB)

    Symbolic execution has been used successfully with sequential programs for generating the verification conditions required for correctness proofs. It is shown how the symbolic execution model for sequential programs can be extended to a tasking subset of Ada. The criteria for correct operation of a concurrent program include safety properties, such as mutual exclusion and freedom from deadlock. Th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A tool set for distributed Ada programming

    Publication Year: 1988, Page(s):71 - 79
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (716 KB)

    A tool set for a distributed Ada programmable testbed is described. The testbed includes an Ada compiler to produce distributed programs and a unique tool set to permit safe and rapid program partitioning. The testbed, and the tool set in particular, are designed to support rapid prototyping of distributed systems and to support research on software-fault-tolerant and distributed-program-construct... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A system for evaluating Ada implementations using synthesized benchmarks

    Publication Year: 1988, Page(s):63 - 68
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (460 KB)

    A system is described that allows project designers to evaluate the suitability of an Ada implementation for a particular application using tailored benchmarks. Specification of the load that an application is expected to generate is written in an Ada-like notation. An Ada program is then synthesized that generates the specified load. Studies of the way in which performance varies with various par... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Packaging fault-tolerant software with Ada

    Publication Year: 1988, Page(s):45 - 52
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (628 KB)

    The ability of the Ada programming language to support a software-engineering approach to building fault-tolerant applications systems by distributed redundant abstract data types (ADTs) is discussed. It is shown that the package, the separation of the specification from the implementation parts, the typing and exception handling mechanisms, and the nondeterministic rendezvous of the Ada language ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ada translation tools development: mappings from FORTRAN to Ada

    Publication Year: 1988, Page(s):117 - 135
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (892 KB)

    The problem addressed is how existent syntactically and semantically correct Fortran programs can be translated into Ada programs (library units). A system that use one possible form of translation and provides complex mappings from FORTRAN to Ada is presented View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Three techniques supporting the developing of large prototype systems

    Publication Year: 1988, Page(s):28 - 37
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (796 KB)

    Experiments with various techniques that can facilitate prototyping are reported. It has been recognized that three of these used most extensively represent three distinct approaches to supporting the development of large prototype systems. All three are successful at controlling the impact of change, but they differ in how they achieve that control as well as in the ways and extents to which they... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Gaia: an object-oriented framework for an Ada environment

    Publication Year: 1988, Page(s):810 - 890
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (740 KB)

    Gaia is a framework that provides the basis for the high degree of integration required by Ada environments that will involve complex data structures, toolsets, and development processes. This framework is implemented in Ada and provides an object model for representing the complex structure of data entities as well as the complex tools that can be applied to those entities within an Ada environme... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Benchmark Generator Tool: measuring Ada compilation system performance

    Publication Year: 1988, Page(s):55 - 62
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (476 KB)

    A Benchmark Generator Tool (BGT) has been developed to generate compilation benchmarks that uncover limits in Ada compilation systems. The benchmarks, which take the form of large quantities of Ada source code, are intended to stress Ada compilers and their associated development systems. The authors describe the BT and the structure of the generated benchmarks, and discuss some of their applicati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating multitasking Ada programs from high-level specifications

    Publication Year: 1988, Page(s):137 - 149
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (668 KB)

    A method for automatic generation of large-scale multitasking systems in an Ada programming environment is presented. The method allows the human designers to independently develop each functional tasks and independently develop the system integration. Thus individual task developers are allowed to have completely independent naming spaces. A dataflow graph in intertask communications is specified... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Development of a high performance, memory based, relational database system using Ada

    Publication Year: 1988, Page(s):39 - 44
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    An attempt is made to describe the development, in Ada, of a memory-based relational database system to support a high-performance, real-time wagering system which must run at a minimum of 200 transactions per second. The authors report the background to the task at hand; why Ada was chosen; the initial problems of starting the project; why a memory-based, relational database system was needed; an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A guided tour through a window oriented debugging environment for embedded real time Ada systems

    Publication Year: 1988, Page(s):93 - 103
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (788 KB)

    Embedded real-time control systems typically require the use of special debugging environments, which consist of a special debugging processor that hosts the debugging software and that monitors the execution of the separate target system via a special hardware interface. The focus is on extending the set of base debugging features typically found in such an environment to provide better support f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Seer: a graphical retrieval system for reusable Ada software modules

    Publication Year: 1988, Page(s):105 - 113
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (676 KB)

    The authors describe Seer, a student's engineering environment for reusable software. It is also a retrieval and evaluation system that is both flexible and unobtrusive, allowing the software engineer to easily explore complex module information webs, comparing them with other webs in a module classification scheme. A prototype of Seer has been constructed around the classification scheme of an ex... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.