AdaFlow: the automation of software analysis using Petri Nets.
Grecco, Albert J.
Davis, Daniel L.
Kordes, Uno R.
MetadataShow full item record
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.
Approved for public release; distribution in unlimited.
Showing items related by title, author, creator and subject.
Naegel, Brad R. (Monterey, California. Naval Postgraduate School, 2017-04-19); NPS-CE-17-042Department of Defense (DoD) software-intensive systems and the software content in other systems will continue to grow and may dominate total ownership costs (TOC) in the future. These costs are exacerbated by the fact ...
Hasni, Neji (Monterey, California. Naval Postgraduate School, 2003-03);The automation of software development has long been a goal of software engineering to increase efficiency of the development effort and improve the software product. This efficiency (high productivity with less software ...
Mockensturm, Jeffrey J. (Monterey, California. Naval Postgraduate School, 1995-03);Weapon systems in the Department of Defense (DoD) are becoming increasingly reliant on embedded software. As the size and level of complexity of these software development efforts have increased, the management of these ...