Experience with the automatic temporal analysis of multitasking Ada designs

Authors:
Gerald M. Karam;Raymond J. A. Buhr
Affiliations:
Dept. of Systems and Computer Eng., Carleton University, Ottatva, Ontario, Canada K1S 5B6;Dept. of Systems and Computer Eng., Carleton University, Ottatva, Ontario, Canada K1S 5B6
Venue:
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Year:
1987

Citing 3
Cited 2

Systems design with ADA.

Systems design with ADA.
Software CAD: A Revolutionary Approach

IEEE Transactions on Software Engineering
Adapting an iconic software design environment for protocol specification with estelle

Adapting an iconic software design environment for protocol specification with estelle

Starvation and Critical Race Analyzers for Ada

IEEE Transactions on Software Engineering
Temporal Logic-Based Deadlock Analysis for Ada

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we report on experience gained in the temporal analysis of multitasking Ada designs. The analysis tool-set, developed as part of the CAEDE project, includes an operational specification language, and deadlock, starvation and critical race analyzers. We identify design parameters that lead to costly analysis, and then describe analysis heuristics that can lead to less costly analysis. Several design examples in which we apply our heuristics, are described. In one of the examples, a 50-fold reduction in analysis cost was obtained with the application of one of the heuristics. Finally, we make recommendations for design environment features that would support the application of analysis heuristics.