Loading…
Academic Journal
Component-based verification of operating systems
V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov
Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 367-382 (2019)
Saved in:
| Title | Component-based verification of operating systems |
|---|---|
| Authors | V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov |
| Publication Year |
2019
|
| Source |
Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 367-382 (2019)
|
| Description |
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 significant time, and not touching research-related OSes usually developed as a proof-of-concept. In spite of the fact that the stated goal of accurate and complete verification of industrial OS is still unreachable, we consider its decomposition into tasks of verification of various functional OS components and various their properties. The paper shows that many of these tasks can be solved with the help of various modern verification techniques and their combinations. Proposed methods can be lately integrated into an approach to the final goal. The paper summarizes the experience of various OS component and features verification from the projects conducted in ISP RAS in the last years.
|
| Document Type |
article
|
| Language |
English
Russian |
| Publisher Information |
Ivannikov Institute for System Programming of the Russian Academy of Sciences, 2019.
|
| Subject Terms | |
