Environment Modeling of Linux Operating System Device Drivers

Environment Modeling of Linux Operating System Device Drivers

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 verification of a driver together with kernel core so...

Full description

Bibliographic Details
Main Authors:	I. S. Zakharov, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov
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/875

Similar Items

Static Verification Tools for C Programs and Linux Device Drivers: A Survey
by: M. U. Mandrykin, et al.
Published: (2018-10-01)

Analysis of typical faults in Linux operating system drivers
by: V. S. Mutilin, et al.
Published: (2018-10-01)

Component-based verification of operating systems
by: V. V. Kuliamin, et al.
Published: (2019-02-01)

Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques
by: Sergey Mikhailovich Staroletov, et al.
Published: (2019-10-01)

Incremental development of environment model and requirement specifications for subsystems of operating system monolithic kernels
by: I. S. Zakharov, et al.
Published: (2018-10-01)

Integration Points of Operating System Verification Techniques
by: A. K. Petrenko, et al.
Published: (2018-10-01)

Testing of Linux File System Drivers
by: A. V. Tsyvarev, et al.
Published: (2018-10-01)

Static verification of operating system monolithic kernels
by: E. M. Novikov
Published: (2018-10-01)

Evolution of the Linux kernel
by: E. M. Novikov
Published: (2018-10-01)

Linux Driver Verification Architecture
by: V. S. Mutilin, et al.
Published: (2018-10-01)

Using fault injection for testing Linux kernel components
by: A. . Tsyvarev, et al.
Published: (2018-10-01)

Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel
by: E. M. Novikov
Published: (2018-10-01)

Verification and analysis of variable operating systems
by: V. V. Kuliamin, et al.
Published: (2018-10-01)

Testing of Operating Systems
by: E. A. Gerlits, et al.
Published: (2018-10-01)

C Program Verication in the Multilanguage System Spectrum
by: V. A. Nepomniashy, et al.
Published: (2010-12-01)

Design and architecture of real-time operating system
by: K. M. Mallachiev, et al.
Published: (2018-10-01)

Linux Driver Verification
by: D. Beyer, et al.
Published: (2018-10-01)

Linux kernel configuration build for application systems
by: S. V. Kozin
Published: (2019-02-01)

Deductive Verification of Telecommunication Systems Written in C
by: I. S. Anureev
Published: (2015-03-01)

Deductive Verification of Telecommunication Systems Written in C
by: I. S. Anureev
Published: (2012-01-01)

Formal Verification of Linux Kernel Library Functions
by: D. V. Efremov, et al.
Published: (2018-10-01)

Developing a Debugger for Real-Time Operating System
by: A. N. Emelenko, et al.
Published: (2018-10-01)

UPGRADE FOR HARDWARE/SOFTWARE SERVER AND NETWORK TOPOLOGY IN INFORMATION SYSTEMS
by: Oleksii O. Kaplun
Published: (2011-02-01)

Approach to test program development for multilevel verification
by: Pavel Viktorovich Frolov
Published: (2019-09-01)

Typical Examples of Atoment Language Using
by: I. S. Anureev
Published: (2011-12-01)

C-programs Verification on Basis of Mixed Axiomatic Semantics
by: I. S. Anureev, et al.
Published: (2010-09-01)

On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
by: Evgeney Maximovich Vinarskii, et al.
Published: (2020-12-01)

Debugger for Real-Time OS: Challenges of Multiplatform Support
by: A. N. Emelenko, et al.
Published: (2018-10-01)

On the Designing of Model Checkers for Real-Time Distributed Systems
by: D. Yu. Volkanov, et al.
Published: (2012-01-01)

On the Designing of Model Checkers for Real-Time Distributed Systems
by: D. Yu. Volkanov, et al.
Published: (2015-03-01)

F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers
by: N. V. Shilov
Published: (2010-12-01)

Survey of memory modeling methods in static verification tools
by: M. U. Mandrykin, et al.
Published: (2018-10-01)

Development of effective small business management strategy based on balanced scorecard (factors of suitability)
by: A. S. Novikov
Published: (2020-01-01)

Ten Drivers of the Chinese Digital Miracle
by: G. G. Goloventchik, et al.
Published: (2021-10-01)

Test environment for verification of multi-processor memory subsystem unit
by: Dmitry Alexeevitch Lebedev, et al.
Published: (2019-09-01)

Modern Challenges to the Management of Industry Drivers (Russian Mechanical Engineering Example)
by: E. L. Moreva, et al.
Published: (2020-12-01)

Automatic C Program Verification Based on Mixed Axiomatic Semantics
by: I. V. Maryasov, et al.
Published: (2013-12-01)

Automatic C Program Verification Based on Mixed Axiomatic Semantics
by: I. V. Maryasov, et al.
Published: (2013-01-01)

Introduction to CEGAR —Counter-Example Guided Abstraction Refinement
by: M. U. Mandrykin, et al.
Published: (2018-10-01)

Verification of the computing process of the corporate information system
by: V. I. Polyakov, et al.
Published: (2022-02-01)