Fundamentals of data structures in PASCAL
Fundamentals of data structures in PASCAL
Modeling the ADA task system by Petri nets
Computer Languages
Steps to an Advanced Ada1Programming Environment
IEEE Transactions on Software Engineering
A Petri net framework for automated analysis of Ada tasking behavior
Journal of Systems and Software
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
ADA Programming Language
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Towards Complexity Metrics for Ada Tasking
IEEE Transactions on Software Engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Using Petri nets to introduce operating system concepts
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
A survey of tasking deadlock detection methods
ACM SIGAda Ada Letters
A model of Ada programs for static deadlock detection in polynomial times
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
An Ada deadlock testing algorithm based on control and communication flow graphs
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Using state space reduction methods for deadlock analysis in Ada tasking
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
An empirical evaluation of three methods for deadlock analysis of Ada tasking programs
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis
IEEE Transactions on Parallel and Distributed Systems
Task-wait-for graphs and their application to handling tasking deadlocks
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Proceedings of the conference on TRI-Ada '97
A framework for the efficient Petri net simulation of real-time systems
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Using shape analysis to reduce finite-state models of concurrent Java programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
A classification of tasking deadlocks
ACM SIGAda Ada Letters
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles
IEEE Transactions on Software Engineering
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Automated Software Engineering
Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis
IEEE Transactions on Parallel and Distributed Systems
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis
IEEE Transactions on Software Engineering
Evaluating Deadlock Detection Methods for Concurrent Software
IEEE Transactions on Software Engineering
Communication Deadlock Detection of Inter-organizational Workflow Definition
DNIS '02 Proceedings of the Second International Workshop on Databases in Networked Information Systems
Automatic Verification of Concurrent Ada Programs
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Behavior relativity of Petri nets
Journal of Computer Science and Technology
Identical tasks and counter variables in an integer programming-based approach to verification
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Verifying linear time temporal logic properties of concurrent Ada programs with quasar
Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
Dreadlocks: efficient deadlock detection
Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures
SystemJ compilation using the tandem virtual machine approach
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Petri nets and programming: a survey
ACC'09 Proceedings of the 2009 conference on American Control Conference
Quasar: a new tool for concurrent Ada programs analysis
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Dynamic tasks verification with QUASAR
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete Event Dynamic Systems
Eliminating concurrency bugs in multithreaded software: an approach based on control of petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.00 |
A method is presented for detecting deadlocks in Ada tasking programs using structural; and dynamic analysis of Petri nets. Algorithmic translation of the Ada programs into Petri nets which preserve control-flow and message-flow properties is described. Properties of these Petri nets are discussed, and algorithms are given to analyze the nets to obtain information about static deadlocks that can occur in the original programs. Petri net invariants are used by the algorithms to reduce the time and space complexities associated with dynamic Petri net analysis (i.e. reachability graph generation).