Modeling Multithreaded Applications Using Petri Nets

Kavi, Krishna M.; Moshtaghi, Alireza; Chen, Deng-jyi
October 2002
International Journal of Parallel Programming;Oct2002, Vol. 30 Issue 5, p353
Academic Journal
Since most modern computing systems contain multiple processing elements, applications are relying on multithreaded programming techniques that allow a program to execute multiple tasks concurrently to take advantage of the processing capabilities. Multithreaded programs are more difficult to design and test because of the nondeterministic execution orders and synchronization among the threads. Different approaches can be used to test Multithreaded Applications. In our approach we use Petri nets to represent the key elements of interactions among threads to identify potential problems such as race conditions, lost signals, and deadlocks. A tool called C2Petri has been developed which converts C-Pthreads programs to the equivalent Petri net model. This tool helps verification of Pthread-based programs. At present the tool has limited capabilities and we hope to expand the capabilities of our tool in the near future.


Related Articles

  • Event-Based Traceability for Managing Evolutionary Change. Cleland-Huang, Jane; Chang, Carl K.; Christensen, Mark // IEEE Transactions on Software Engineering;Sep2003, Vol. 29 Issue 9, p796 

    Although the benefits of requirements traceability are widely recognized, the actual practice of maintaining a traceability scheme is not always entirely successful. The traceability infrastructure underlying a software system tends to erode over its lifetime, as time-pressured practitioners...

  • A Method of Reduction of the Microinstructions of Synchronous Digital Systems. M. Z., Al-Dahleh; I. M., Shehabat // Journal of Digital Information Management;Dec2007, Vol. 5 Issue 6, p368 

    In this paper, the author presents a method to synthesize the Algorithm State Machines (ASM) for synchronous digital systems using Combined Addressing. In This proposed method, the microinstructions are divided into subsets, and thus the Numbers of microinstructions are apparently minimized and...

  • Automated Financial Systems. Gadhiya, Chet // Ceramic Industry;Dec2009, Vol. 159 Issue 10, p32 

    The article details the benefits of an automated financial system as well as the available software selection. It mentions accurate tracking of financial information, addressing all operational and accounting needs, and breaking down departmental barriers as the benefits of automation. The...

  • Constraint-Based Automatic Test Data Generation. Demillo, Richard A.; Offutt, A. Jefferson // IEEE Transactions on Software Engineering;Sep91, Vol. 17 Issue 9, p900 

    This paper presents a new technique for automatically generating test data. The technique is based on mutation analysis and creates test data that approximates relative adequacy. The technique is a fault-based technique that uses algebraic constraints to describe test cases designed to find...

  • Solution Has Made Loan Turnaround 10 Times Faster At Northern FCU. Ortiz, Lauralee // Credit Union Journal;11/7/2005, Vol. 9 Issue 44, p20 

    Focuses on the integration of the sophisticated process called Access Advantage in the operation of Northern Federal Credit Union in New York. Capability of the computer software to allow faster loan applications processing; Statement of Victor James, financial services operations manager of the...

  • Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions. Rodriguez-Navas, Guillermo; Proenza, Juli├ín // IEEE Transactions on Software Engineering;Jun2013, Vol. 39 Issue 6, p857 

    The application of model checking for the formal verification of distributed embedded systems requires the adoption of techniques for realistically modeling the temporal behavior of such systems. This paper discusses how to model with timed automata the different types of relationships that may...

  • User Interface Accessibility and Test Automation for Silverlight Applications. Appasami, G.; Joseph, K. Suresh // International Journal of Computational Intelligence Research;2009, Vol. 5 Issue 2, p149 

    User Interface Accessibility and Test Automation for Silverlight Applications are very difficult. But it is very essential for Software industries to reduce test time, cost and man power. Now-a- days web applications are developed by new rich client technologies like Silverlight, JAVAFX, FLEX,...

  • Gibbs Partners With Tornos, CGTech.  // Production Technology News;Apr/May2007, Vol. 38 Issue 9, p12 

    The article reviews the GibbsCAM MTM Tornos software and the GibbsCAM software from Gibbs and Associates.

  • A Graph Model for Software Evolution. Luqi // IEEE Transactions on Software Engineering;Aug90, Vol. 16 Issue 8, p917 

    This paper presents a graph model of software evolution. We seek to formalize the objects and activities involved in software evolution in sufficient detail to enable automatic assistance for maintaining the consistency and integrity of an evolving software system. This includes automated...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics