Integration Points of Operating System Verification Techniques
In this work the problem of high quality verification techniques applicable for operating systems is formulated. A perspective approach to solve this problem is integration of various verification methods. The solution technique can be considered successful if it allows to check the whole operating...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
| Series: | Труды Института системного программирования РАН |
| Subjects: | |
| Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/681 |
| _version_ | 1818054780382085120 |
|---|---|
| author | A. K. Petrenko V. V. Kuliamin A. V. Khoroshilov |
| author_facet | A. K. Petrenko V. V. Kuliamin A. V. Khoroshilov |
| author_sort | A. K. Petrenko |
| collection | DOAJ |
| description | In this work the problem of high quality verification techniques applicable for operating systems is formulated. A perspective approach to solve this problem is integration of various verification methods. The solution technique can be considered successful if it allows to check the whole operating system and to verify in more accurate way the most important functions and components of the system, using more strict and formal methods for it. Based on the ISP RAS experience in operating system verification projects conducted using various verification techniques we determine development artefacts, that can be suitable integration point candidates for integration of formal specification based static and dynamic verification techniques for operating systems. |
| first_indexed | 2024-12-10T12:02:29Z |
| format | Article |
| id | doaj.art-2a010312b90a441fb671769d8b32685b |
| institution | Directory Open Access Journal |
| issn | 2079-8156 2220-6426 |
| language | English |
| last_indexed | 2024-12-10T12:02:29Z |
| publishDate | 2018-10-01 |
| publisher | Ivannikov Institute for System Programming of the Russian Academy of Sciences |
| record_format | Article |
| series | Труды Института системного программирования РАН |
| spelling | doaj.art-2a010312b90a441fb671769d8b32685b2022-12-22T01:49:34ZengIvannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262018-10-0127517519010.15514/ISPRAS-2015-27(5)-10681Integration Points of Operating System Verification TechniquesA. K. Petrenko0V. V. Kuliamin1A. V. Khoroshilov2ИСП РАН; МГУ им. М. В. Ломоносова; Московский физико-технический институт (государственный университет); НИУ ВШЭИСП РАН; МГУ им. М. В. Ломоносова; НИУ ВШЭИСП РАН; МГУ им. М. В. Ломоносова; Московский физико-технический институт (государственный университет); НИУ ВШЭIn this work the problem of high quality verification techniques applicable for operating systems is formulated. A perspective approach to solve this problem is integration of various verification methods. The solution technique can be considered successful if it allows to check the whole operating system and to verify in more accurate way the most important functions and components of the system, using more strict and formal methods for it. Based on the ISP RAS experience in operating system verification projects conducted using various verification techniques we determine development artefacts, that can be suitable integration point candidates for integration of formal specification based static and dynamic verification techniques for operating systems.https://ispranproceedings.elpub.ru/jour/article/view/681дедуктивная верификацияпроверка моделейтестирование на основе моделейоперационная системаинтеграция методов верификациипрограммные контракты |
| spellingShingle | A. K. Petrenko V. V. Kuliamin A. V. Khoroshilov Integration Points of Operating System Verification Techniques Труды Института системного программирования РАН дедуктивная верификация проверка моделей тестирование на основе моделей операционная система интеграция методов верификации программные контракты |
| title | Integration Points of Operating System Verification Techniques |
| title_full | Integration Points of Operating System Verification Techniques |
| title_fullStr | Integration Points of Operating System Verification Techniques |
| title_full_unstemmed | Integration Points of Operating System Verification Techniques |
| title_short | Integration Points of Operating System Verification Techniques |
| title_sort | integration points of operating system verification techniques |
| topic | дедуктивная верификация проверка моделей тестирование на основе моделей операционная система интеграция методов верификации программные контракты |
| url | https://ispranproceedings.elpub.ru/jour/article/view/681 |
| work_keys_str_mv | AT akpetrenko integrationpointsofoperatingsystemverificationtechniques AT vvkuliamin integrationpointsofoperatingsystemverificationtechniques AT avkhoroshilov integrationpointsofoperatingsystemverificationtechniques |