Itinarary nets — the graphical formalism for presentation of real-time sofware application strucrures
Keywords:
real-time systems, models of multitask software systems, task interfaces, , dynamic correctness of software applicationsAbstract
A graphic formalism «itinerary nets» is expounded for representation of real–time software application structures. The formalism is oriented to verification of static and dynamic properties of task interfaces. The bounds are defined for applicability of verification that is based on using of states and transitions graphs. A method is defined for assessing the value of blocking factor in systems with concatenated critical intervals of access to shared resources. The method is based on introduce of task profile feature.References
Published
2010-09-01
How to Cite
Nikiforov, V., & Shkirtil, V. (2010). Itinarary nets — the graphical formalism for presentation of real-time sofware application strucrures. SPIIRAS Proceedings, 3(14), 7-28. https://doi.org/10.15622/sp.14.1
Section
Articles
Authors who publish with this journal agree to the following terms:
Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).
