Ваш браузер устарел.

Для того, чтобы использовать все возможности сайта, загрузите и установите один из этих браузеров.

скрыть

Article

  • Title

    METHOD FOR ASSESSING OF RELIABILITY CHARACTERISTICS IN DESIGNING OF FAILURE-RESISTANT REAL-TIME OPERATING SYSTEMS

  • Authors

    Lopakov А. S.
    Salii V.
    Shvahirev P.
    Kosmachevskiy V.

  • Subject

    INFORMACION TECHNOLOGY. AUTOMATION

  • Year 2020
    Issue 2(61)
    UDC 004.942
    DOI 10.15276/opu.2.61.2020.13
    Pages 108-118
  • Abstract

    For many years, real-time OS-based applications have been used in embedded special-purpose systems. Recently they have been used everywhere, from on-board control systems for aircraft, to household appliances. The development of multiprocessor computing systems usually aims to increase either the level of reliability or the level of system performance to values that are inaccessible or difficult to implement in traditional computer systems. In the first case, the question of the availability of special means of ensuring the fault tolerance of computer systems arises, the main feature (and advantage) of which is the absence of any single resource, failure of which leads to a fatal failure of the entire system. The use of a real-time operating system is always associated with equipment, with an object and with events occurring at an object. A real-time system, as a hardware-software complex, includes sensors that record events at an object, input / output modules that convert sensor readings into a digital form suitable for processing these readings on a computer, and finally, a computer with a program that responds to events occurring at the facility. The RTOS is focused on processing external events. It is this that leads to fundamental differences (compared with general-purpose OS) in the structure of the system as well as in the functions of the kernel and in the construction of the input-output system. The RTOS can be similar in its user interface to general-purpose operating systems, but it is completely different in its structure. In addition, the use of RTOS is always specific. If users (not developers) usually perceive a general-purpose OS as a ready-made set of applications, then the RTOS serves only as a tool for creating a specific hard-ware-software complex in real time. Therefore, the widest class of users of RTOS is the developers of real-time complexes, people designing control and data collection systems. When designing and developing a specific real-time system, the programmer always knows exactly what events can occur at the facility, and he knows the critical terms for servicing each of these events. We call a real-time system (SRV) a hard-ware-software complex that responds in predictable times to an unpredictable stream of external events. The system must have time to re-spond to the event that occurred at the facility, during the time critical for this event. The critical time for each event is determined by the object and by the event itself, and, of course, it can be different, but the response time of the system must be predicted (calculated) when creating the system. Lack of response at the predicted time is considered an error for real-time systems. The system must have time to re-spond to simultaneously occurring events. Even if two or more external events occur simultaneously, the system must have time to respond to each of them during time intervals critical for these events. In this study, as part of a network fault-tolerant technology, the RTOS be-comes a special type of control software that is used to organize the operation of embedded applications, which are characterized by limited memory resources, low productivity and the requirements of a guaranteed response time (T<4 μs), high level availability and availability of auto-monitoring facilities.

  • Keywords Real-time operating system, fault tolerance, operating system reliability criterion, fault tolerance grade, operating system with a monolithic kernel, operating system self-healing, recovery agent
  • Viewed: 46 Dowloaded: 1
  • Download Article
  • References

    Література

    1. Swift M., Bershad B., Levy H. Improving the Reliability of Commodity Operating Systems. ACM Transactions on Computer Systems. 2005. Vol. 23, No. 1. P. 77–110.

    2. Cordy J., Shukla M. Practical metaprogramming. IBM Centre for Advanced Studies. 1992. P. 2–9.

    3. Reekie H., Hylands C., Lee E. Tcl and Java Performance. University of California at Berkley. 1998.

    4. Krall A. Efficient JavaVM Just-in-Time Compilation. PACT, 1998, 205 p.

    5. Muller G., Moura B., Bellard F., Consel C. JIT vs Offline Compilers: Limits and Benefits of Bytecode Compilation. IRISA. 1997. PI 1063.

    6. Leroy X. Java Bytecode Verification: Algorithms and Formalizations. JOAR. 2005. Vol. 30. P. 3–9.

    7. An experimental Study of Soft Errors in Microprocessors / G.P. Saggese, N.J. Wang, Z.T. Kalbarczyk et al. IEEE Micro. 2005. V. 25. №6. P.30–39. DOI: 10.1109/MM.2005.104.

    8. Basili V.R., Perricone B.T. Software errors and complexity: an empirical investigation. ACM 27. 1984. P. 42–52.

    9. Suri N., Valter C.J., Hugu M.M. Advances in Ultra Dependable Distributed Systems. Computer Society Press. 1995. P. 56–61.

    10. Таненбаум Э., Вудхалл А. Операционные системы. Разработка и реализация. 3-е изд. СПб : Пи-тер, 2007. C. 254–256.

    11. Таненбаум Э., Бос Э. Современные операционные системы. 4-е изд. СПб : Питер, 2015. 457 с.

    12. Назаров С.В., Широков А.И. Технологии многопользовательских операционных систем. М. : Изд. Дом МИСиС, 2012. C. 98–101.

    13. Назаров С.В., Вилкова Н.Н. Структурный рефакторинг многослойных программных систем. Ин-формационные технологии и вычислительные системы. 2016. № 4. С. 13–23. URL: https://elibrary.ru/item.asp?id=27656660 (дата звернення: 05.01.2020).

    14. Кельберт М.Я., Сухов Ю.М. Вероятность и статистика в примерах и задачах. Том 2. Марковские цепи как отправная точка теории случайных процессов и их приложения. М. : МЦНМО. 2009. C. 145–147.

    15. Назаров С.В. Эффективность современных операционных систем. Современные информацион-ные технологиии ИТ-образование. 2017. Т.13, №2. С. 9–24. DOI: https://doi.org/10.25559/SITITO.2017.2.229

    16. Василенко Н.В., Макаров В.А. Модели оценки надежности программного обеспечения. Вестник Новгородского государственного университета. Серия: Технические науки. 2004. № 28. С. 126–132. URL: https://elibrary.ru/item.asp?id=18184720 (дата звернення: 05.01.2020).

    17. Таха Х. Введение в исследование операций. 7-еизд. М. : Вильямс, 2005. C. 34–67.

    18. Мартышкин А.И. Математическая модель диспетчера задач с общей очередью для систем парал-лельной обработки. Современные методы и средства обработки пространственно-временных сигналов: сборник статей XI Всероссийской научно-технической конференции. Пенза : ПДЗ, 2013. С. 87–91.

    19. Андреев А.М., Можаров Г.П., Сюзев В.В. Многопроцессорные вычислительные системы: теоре-тический анализ, математические модели и применение. Москва, Изд-во МГТУ им. Н.Э. Баума-на, 2011, C. 124–156.

    20. Воеводин В.В. Параллельные вычисления. СПб. : БХВ – Петербург, 2002. C. 145–152.

    References

    1. Swift, M., Bershad, B., & Levy, H. (2005). Improving the Reliability of Commodity Operating Sys-tems. ACM Transactions on Computer Systems, 23, 1, 77–110.

    2. Cordy, J., & Shukla, M. (1992). Practical metaprogramming. IBM Centre for Advanced Studies, 2–9.

    3. Reekie, H., Hylands, C., & Lee, E. (1998). Tcl and Java Performance. University of California at Berk-ley.

    4. Krall, A. (1998). Efficient JavaVM Just-in-Time Compilation. PACT.

    5. Muller, G., Moura, B., Bellard, F., & Consel, C. (1997). JIT vs Offline Compilers: Limits and Benefits of Bytecode Compilation. IRISA, PI 1063.

    6. Leroy, X. (2005). Java Bytecode Verification: Algorithms and Formalizations. JOAR, 30, 3–9.

    7. Saggese, G.P., Wang, N.J. & Kalbarczyk, Z.T. et al. (2005). An experimental Study of Soft Errors in Microprocessors. IEEE Micro, 25, 6, 30–39.

    8. Basili, V.R., & Perricone, B.T. (1984). Software errors and complexity: an empirical investigation. ACM 27, 42–52.

    9. Suri, N., Valter, C.J., & Hugu, M.M., (1995). Advances in Ultra Dependable Distributed Systems. Computer Society Press, 56–61.

    10. Tanenbaum, E., & Vudkhall, A. (2007) Operating systems. Development and implementation. 3rd ed. SPb: Piter, 254–256.

    11. Tanenbaum, E., & Bos, E. (2015). Modern operating systems. 4th ed. SPb: Piter.

    12. Nazarov, S.V., & Shirokov, A.I. (2012). Multiuser operating system technologies. Moscow: Ed. House of MISIS, 98–101.

    13. Nazarov, S.V., & Vilkova, N.N. (2016). Structural refactoring of multilayer software systems. Information technologies and computing systems, 4, 13–23. Retrieved from: https://elibrary.ru/item.asp?id=27656660. (Last access: 5.01.2020).

    14. Kelbert, M.Ya., & Sukhov, Yu.M. (2009). Probability and statistics in examples and problems. Vol. 2. Markov chains as a starting point of the theory of random processes and their applications. M.: MCNMO, 145–147.

    15. Nazarov, S.V. (2017). The effectiveness of modern operating systems. Modern information technologies and IT education, 13, 2, 9–24. DOI: https://doi.org/10.25559/SITITO.2017.2.229.

    16. Vasilenko, N.V., & Makarov, V.A. (2004). Models for assessing the reliability of software. Bulletin of the Novgorod State University. Series: Engineering Sciences, 28, 126–132. Retrieved from: https://elibrary.ru/item.asp?id=18184720. ((Last access: 5.01.2020).

    17. Taha, H. (2005). Introduction to Operations Research. 7th edition, M.: Williams, 34–67.

    18. Martyshkin, A.I. (2013). Mathematical model of a task manager with a common queue for parallel processing systems. Modern methods and means of processing space-time signals: collection of articles of the XI All-Russian scientific and technical conference. Penza: PDZ, 87–91.

    19. Andreev, A.M., Mozharov, G.P., & Syuzev, V.V. (2011). Multiprocessor computing systems: theoretical analysis, mathematical models and applications. Moscow, Publishing house of MSTU im. N.E. Baumana, 124–156.

    20. Voevodin, V.V. (2002). Parallel computing. SPb.: BHV Petersburg, 145–152.

  • Creative Commons License by Author(s)