Zobrazeno 1 - 10
of 210
pro vyhledávání: '"A. V. Khoroshilov"'
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 367-382 (2019)
The paper presents recent results on the way towards accurate and complete verification of industrial operating systems (OS). We consider here OSes, either of general purpose or actively used in some industrial domain, elaborated and maintained for a
Externí odkaz:
https://doaj.org/article/1177b6bf0df1485baad0e075d25e9911
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 341-366 (2019)
Functional programming plays the big role in the modern computer science and its importance is growing. This is not accidential: this approach helps to create better and more reliable software that is easy to reason about (both manually and automatic
Externí odkaz:
https://doaj.org/article/89fbd92bc9794df398f0089a34e7f05b
Autor:
D. S. Kildishev, A. V. Khoroshilov
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 5, Pp 163-176 (2018)
Requirements play an important role in the process of safety critical software development. To achieve reasonable quality and cost ratio a tool support for requirements management is required. The paper presents a formal definition of a metamodel tha
Externí odkaz:
https://doaj.org/article/5baad4cd07034695bc6caf5fee19123c
Autor:
A. V. Khoroshilov, I. V. Shchepetkov
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 3, Pp 43-56 (2018)
The paper examines the ADV_SPM "Security policy modelling" assurance family, which is part of the ADV "Development" assurance class and defined by the ISO/IEC 15408-3-2013 "Information technology - Security techniques - Evaluation criteria for IT sec
Externí odkaz:
https://doaj.org/article/6d214d5a7e6741b2af6da11507364076
Autor:
K. A. Mallachiev, A. V. Khoroshilov
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 3, Pp 135-148 (2018)
Modern real-time operating systems are complex embedded product made by many vendors: OS vendor, board support package vendor, device driver developers, etc. These operating systems are designed to run on different hardware; the hardware often has li
Externí odkaz:
https://doaj.org/article/e9cd7ad65e33422790c4bd534f62f98f
Autor:
I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. K. Petrenko, A. V. Khoroshilov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 2, Pp 5-42 (2018)
An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of a modern OSs kernel is high enough. Another situation is with kernel modules, e.g. device drivers, which due to various reasons have a signific
Externí odkaz:
https://doaj.org/article/c6ce8def99fd4d52824de9d3f77563c9
Publikováno v:
Труды Института системного программирования РАН, Vol 25, Iss 0, Pp 85-112 (2018)
In static device driver verification of Linux operating system it is necessary to take into account the specifics of the communication between drivers and kernel core as far as it plays the main role in the drivers’ behavior. At the same time the v
Externí odkaz:
https://doaj.org/article/c94e30f6a4904af5acad45e2c8e38919
Autor:
D. V. Buzdalov, S. V. Zelenov, E. V. Kornykhin, A. K. Petrenko, A. V. Strakh, A. A. Ugnenko, A. V. Khoroshilov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 201-230 (2018)
Growth of modern avionics systems makes design of such systems impossible without involvement of automation. Nowadays an area of such tools is represented by both the proprietary tools developed by the major aircraft manufacturers like Boeing and Air
Externí odkaz:
https://doaj.org/article/efb74ee61157432b9349fa74d2bb50cc
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 4, Pp 283-294 (2018)
Modern embedded OS are designed to be used in control solutions in various hardware contexts. Control computers may differ in the architecture of the CPU, the structure of communication channels, supported communication protocols, etc. Embedded OS ar
Externí odkaz:
https://doaj.org/article/b1d88ff5fc714a72977cee3ded8b3d02
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 5, Pp 87-116 (2018)
The paper presents an approach to lightweight static data race detection, called CPALockator. It takes into account the specifics of operating system kernels, such as complex parallelism and kernel specifics synchronization mechanisms. The method is
Externí odkaz:
https://doaj.org/article/a910251f0ea142b8ae157b967403af14