Adaflow: The Automation of Software analysis using Petri nets

Abstract

There is considerable interest in the development of Ada-based, automated software tools to aid in the development and testing of embedded, real-time software. The Naval Postgraduate School has already implemented automated Ada metric tools at the request of the Naval Weapons Center, China Lake. This thesis is the preliminary work for a new automated software analysis tool entitled AdaFlow. This tool, which is written in Ada, takes Ada programs as input, and translates the source code to a Petri net model. This Petri net model provides the user with the capability to perform automated, interactive analysis of Ada programs for properties such as safety and deadlocks. Recommendations for future work in this area are included.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1988
Accession Number
ADA199978

Entities

People

  • Albert J. Grecco

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Engineered Resilient Systems
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Bodies
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Embedded Systems
  • Engineering
  • Language
  • Operating Systems
  • Scanners
  • Schools
  • Software Development
  • Standards
  • Systems Engineering
  • United States
  • United States Naval Academy

Fields of Study

  • Computer science
  • Engineering

Readers

  • Mathematical Modeling and Probability Theory.
  • Software Engineering.
  • Technical Research and Report Writing.