Open Access

Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems

Victor Nikiforov

Nikiforov, Victor

and

Baranov, Sergey

Jun 22, 2016

Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems's Cover Image

Cybernetics and Information Technologies

Volume 16 (2016): Issue 2 (June 2016)

About this article

Previous Article

Cite

Share

Download Cover

Published Online: Jun 22, 2016

Page range: 85 - 96

DOI: https://doi.org/10.1515/cait-2016-0022

Keywords
Real-time systems, multi-task software applications, multi-core processors, feasibility analysis, shared resources, blocking factor

© by Victor Nikiforov

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Aspects of static verification of software applications for real-time systems are considered. A verification method based on oriented multipartite graphs is suggested for checking whether mutual blockings (deadlocks or clinches) could occur in a real-time multitask application and estimate the duration of highpriority task blocking by lower-priority tasks due to the application structure.

Language:: English

Publication timeframe:: 4 times per year
Journal Subjects:: Computer Sciences, Information Technology

Journal RSS Feed