Item Details

Print View

A Hierarchical Graph Model of Concurrent Real-Time Software Systems

Stotts, Paul
Format
Report
Author
Stotts, Paul
Abstract
A model of a software system is introduced which is based on the theory of H - graph semantics. The model is intended to support a variety of performance studies for realtime concurrent programs. This work presents the formal concepts of the model, and discusses some analyses that can be applied to it. The model of a concurrent system includes not only the application program but the host hardware as well, viewed as a collection of procedures with duration but no structure. Each procedure model in the system has three components: a data model. a static program model. and a control flow model. Concurrency is represented in the control flow component by a marked, timed Petri net which is distinguished by its notion of place duration and its restricted firing rule. A technique using Parallel Flow Graphs is introduced for producing well structured Petri nets with obvious interpretations in terms of software. With such models. we can automatically detect and correct conflicts in accesses to shared variables and data structures. as well as produce upper and lower bounds on execution times for portions of the modeled system. The analyses use a modified form of the Petri net reachability tree, one in which the effects of the concurrent firing rule and token timing are represented as restricting the set of reachable states. Note: Abstract extracted from PDF file via OCR
Language
English
Date Received
2012-10-29
Published
University of Virginia, Department of Computer Science, 1986
Published Date
1986
Collection
Libra Open Repository
In CopyrightIn Copyright
▾See more
▴See less

Availability

Access Online