Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Cybernetics and Information Technologies

The Journal of Institute of Information and Communication Technologies of Bulgarian Academy of Sciences

4 Issues per year


CiteScore 2016: 0.60

SCImago Journal Rank (SJR) 2016: 0.203
Source Normalized Impact per Paper (SNIP) 2016: 0.546

Mathematical Citation Quotient (MCQ) 2016: 0.01

Open Access
Online
ISSN
1314-4081
See all formats and pricing
More options …
Volume 16, Issue 2 (Jun 2016)

Issues

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

Victor Nikiforov
  • Corresponding author
  • St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences, 14 liniya, 39, V. O., St. Petersburg, 199178, Russia
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Sergey Baranov
Published Online: 2016-06-22 | DOI: https://doi.org/10.1515/cait-2016-0022

Abstract

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.

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

References

  • 1. Davidenko, K. Y. Software Engineering for Automatic Control Systems of Technological Processes. Design of Real-Time Systems, Parallel, and Distributed Applications. Moscow, Energoatomizdat, 1985. 183 p. (in Russian).Google Scholar

  • 2. Liu, C., J. Layland. Scheduling Algorithms for Multiprocessing ina Hard Real-Time Environment. - Journal of the ACM, Vol. 20, 1973, No 1, pp. 46-61.CrossrefGoogle Scholar

  • 3. Nikiorov, V. V. Feasibility of Real-Time Applications on Multi-Core Processors. - SPIIRAS Proceedings, Issue 8, Nauka, St. Petersburg, 2009, pp. 255-284 (in Russian).Google Scholar

  • 4. Nikiforov, V. V., V. A. Pavlov. Structured Models for Multi-Task Software System Analysis. - Information-Measuring and Control Systems, No 9, 2011, pp.19-29 (in Russian).Google Scholar

  • 5. Karpov, Y. Model Checking. St. Petersburg, BHV-Petersburg, 2010. 560 p. (in Russian).Google Scholar

  • 6. Bini, E., G. C. Buttazzo, G. M. Buttazzo. Rate Monotonic Analysis: The Hyperbolic Bound - IEEE Transactions on Computers, Vol. 52, July 2003, No 7, pp. 933-942.Google Scholar

  • 7. Laplante, P. A. Real-Time Systems Design and Analysis. John Wiley & Sons, Inc., 2004. 530 p.Google Scholar

  • 8. Baker, Т. Multiprocessors EDFand Deadline Monotonic Schedulability Analysis. - In: Proc. of 24th IEEE Real-Time Systems Symposium, 2003, pp. 120-129.Google Scholar

  • 9. Andersson, B., S. Baruah, J. Jonsson. Static-Priority Scheduling on Multiprocessors. - In: Proc. of 22nd IEEE Real-Time Systems Symposium, London, 2001, pp. 193-202.Google Scholar

  • 10. Andersson, B. Global Static-Priority Preemptive Multiprocessor Scheduling with Utilization Bound 38%. - In: Proc. of 12th International Conference on Principles of Distributed Systems, Egypt, Luxor, December, 2008, pp. 73-88.Google Scholar

  • 11. Liu, J. W. S. Real-Time Systems. NJ, Prentice Hall, 2000. 590 p.Google Scholar

  • 12. Nikiforov, V. V., V. I. Shkirtil. Route Networks - A Graphical Formalism for Representing the Structure of Real-Time Software Applications. - SPIIRAS Proceedings, Issue 14, SPb: Nauka, 2010, pp. 7-28 (in Russian).Google Scholar

  • 13. Nikiforov, V. V., V. I. Shkirtil. Estimating the Task Blocking Factor in Real-Time Systems with Multi-Core Processors. - SPIIRAS Proceedings, Issue 4(27), SPb: Nauka, 2013, pp. 93-106 (in Russian).Google Scholar

  • 14. Nikiforov, V. V., V. I. Shkirtil. Chained Task Blocking in Real-Time Systems. - Information Measuring and Control Systems, 2013, No 7, pp. 17-21 (in Russian).Google Scholar

  • 15. Sha, L., R. Rajkumar, J. P. Lehoczky. Priority Inheritance Protocols: An Approach to Real-Time Synchronization. - IEEE Transactions on Computers, Vol. 39, September1990, No 9, pp. 1175-1185. Google Scholar

About the article

Published Online: 2016-06-22

Published in Print: 2016-06-01


Citation Information: Cybernetics and Information Technologies, ISSN (Online) 1314-4081, DOI: https://doi.org/10.1515/cait-2016-0022.

Export Citation

© by Victor Nikiforov. This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License. BY-NC-ND 4.0

Comments (0)

Please log in or register to comment.
Log in