Quasar: a new tool for concurrent Ada programs analysis

  • Authors:

  • Sami Evangelista;Claude Kaiser;Jean-François Pradat-Peyre;Pierre Rousseau

  • Affiliations:

  • CEDRIC - CNAM Paris, rue St Martin, Paris;CEDRIC - CNAM Paris, rue St Martin, Paris;CEDRIC - CNAM Paris, rue St Martin, Paris;CEDRIC - CNAM Paris, rue St Martin, Paris

  • Venue:
  • Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the concept of patterns. The analysis of a concurrent Ada program by our tool proceeds in four steps: automatic extraction of the concurrent part of the program; translation of the simplified program into a formal model using predefined patterns that are combined by substitution and merging constructors; analysis of the model both by structural techniques and model-checking techniques; reporting deadlock or starvation results. We demonstrate the usefulness of Quasar by analyzing several variations of a non trivial concurrent program.