Automatic Verification of Message-Based Device Drivers by Sidney Amani, Alexander Legg, Alastair F. Donaldson, Peter Chubb, Yanjin Zhu, Leonid Ryzhyk

“…We develop a practical solution to the problem of automatic verification of the interface between device drivers and the OS. Our solution relies on a combination of improved driver architecture and verification tools. …”
Get full text

Device driver development of an external human interaction device for the Android by Naoto Ogawa, Shuichi Oikawa

Subjects: “…device driver; Android; Linux; Bluetooth; Wii Remote…”
Get full text

A New NVM Device Driver for IoT Time Series Database by Tao Cai, Yueming Ma, Peiyao Liu, Dejiao Niu, Lei Li

Subjects: Get full text

Kernel Level Anti-Spyware Using Device Stack Lock Strategy by Mohammed Gheni Alwan

Subjects: “…device driver stack…”
Get full text

Improving I/O Performance via Address Remapping in NVMe Interface by Dong Kyu Sung, Yongseok Son, Hyeonsang Eom, Sunggon Kim

Subjects: Get full text

A Hybrid Measurement Approach to Medium Occupied Time for Radio Resource Management in IEEE 802.11 Networks by Seung-Chur Yang, Jong-Deok Kim

“…We implement our approach by modifying a Linux device driver of an off-the-shelf 802.11n NIC. In addition, an indoor test bed is built to verify the approach's support for various traffic patterns, quantitative measurement of wireless interference, and backoff time estimation. …”
Get full text

Predicate Abstraction via Symbolic Decision Procedures by Shuvendu K. Lahiri, Thomas Ball, Byron Cook

“…We present preliminary evaluation of our Procedure on predicate abstraction benchmarks from device driver verification in SLAM.…”
Get full text

Car braking effectiveness after adaptation for drivers with motor dysfunctions by Sowiński Adam, Szczepański Tomasz, Koralewski Grzegorz

“…As a part of the analysis of the test results, a mathematical function was proposed that allows a parametric description of the braking efficiency index on the basis of data on the braking system, adaptation device, driver’s motor limitations, and the position of the driver’s seat. …”
Get full text

Gen-Z memory pool system implementation and performance measurement by Won-ok Kwon, Song-Woo Sok, Chan-ho Park, Myeong-Hoon Oh, Seokbin Hong

“…A hardware prototype of a DDR4 Gen-Z memory pool with an optimized character, a block device driver, and a file system for the Gen-Z hardware was designed. …”
Get full text

Safer Linux Kernel Modules Using the D Programming Language by Constantin Eduard Staniloiu, Alexandru Militaru, Razvan Nitu, Razvan Deaconescu

“…In this paper, we show that it is possible to incrementally transition the kernel code from C to a memory safe programming language, D, by porting and integrating a device driver. In addition, we propose a series of code transformations that allow the D compiler to reason about the safety of certain memory operations. …”
Get full text

NetAP: Adaptive Polling Technique for Network Packet Processing in Virtualized Environments by Hyunchan Park, Juyong Seong, Munkyu Lee, Kyungwoon Lee, Cheol-Ho Hong

“…For example, VirtIO, which is a network device driver for KVM-based virtualization, adopts an interrupt-based packet-delivery mechanism, and incurs frequent switch overheads between the virtual machine and the host system. …”
Get full text

Gyro Drift Correction for An Indirect Kalman Filter Based Sensor Fusion Driver by Chan-Gun Lee, Nhu-Ngoc Dao, Seonmin Jang, Deokhwan Kim, Yonghun Kim, Sungrae Cho

“…Moreover, the mechanism is implemented in the device-driver layer, providing lower process latency and transparency capabilities for the upper applications. …”
Get full text

NDPmulator: Enabling Full-System Simulation for Near-Data Accelerators From Caches to DRAM by Joao Vieira, Nuno Roma, Gabriel Falcao, Pedro Tomas

“…Hence it allows modeling all overheads related to the NDAcc device driver, the OS, and the contention caused by concurrent and background processes.…”
Get full text

HyperIO: A Hypervisor-Based Framework for Secure IO by Michael Kiperberg, Nezer Jacob Zaidenberg

“…We propose to use a thin hypervisor, called “HyperIO”, to realize a secure path between input and output devices using a partial implementation of device drivers. We apply our approach using two security systems built on HyperIO: FireSafe and ClipCrypt. …”
Get full text

A Geographic Information System Framework for the Management of Sensor Deployments by David J. Russomanno, Yury Tritenko

“…The approach is significant in that custom, GIS-based interfaces can be rapidly developed via the integration of sensors and sensor networks into applications without having detailed knowledge of the sensors’ underlying device drivers by leveraging service-oriented computing infrastructure within the GIS framework.…”
Get full text

Research Control Devices for LED Light Sources under Their Operating Conditions at Elevated Temperatures by Iryna Beliakova, Vadim Piscio, Pavlo Maruschak, Oleksandr Shovkun, Volodymyr Medvid, Roman Mykhailyshyn

“…As the temperature rises, the luminous flux of LEDs diminishes, and the lifespan of LED devices also decreases. The control devices (drivers) used in LED lighting systems, built based on current stabilization schemes, do not effectively stabilize the luminous flux when the ambient temperature fluctuates between +15 to +60 °C. …”
Get full text

Security-Oriented Architecture for Managing IoT Deployments by André Zúquete, Hélder Gomes, João Amaral, Carlos Oliveira

“…The access control is split: the management of authentication and access control policies is centered on special components (Authentication, Authorization, and Accounting Controllers), which can be distributed or centralized, and the actual enforcement of access control decisions happens on the entities that stay in the path to the IoT devices (Gateways and Device Drivers). The authentication in the entire system uses asymmetric cryptography and pre-distributed unique identifiers derived from public keys; no Public Key Infrastructure (PKI) is used. …”
Get full text

Overcoming the IOTLB wall for multi-100-Gbps Linux-based networking by Alireza Farshin, Luigi Rizzo, Khaled Elmeleegy, Dejan Kostić

“…Secondly, we discuss and analyze possible mitigations, including proposals and evaluation of a practical hugepage-aware memory allocator for the network device drivers to employ hugepage IOTLB entries in the Linux kernel. …”
Get full text

PC-Based High-Speed Model Reference Motor Controller by Ammar A. Sohrab, Emad A. Hussein

“…The system software consists of device drivers to control the hardware, acquisition, control, and analysis. …”
Get full text

New Methodology of Designing Inexpensive Hybrid Control-Acquisition Systems for Mechatronic Constructions by Jacek Augustyn

“…It is demonstrated that the proposed methodology can be employed without developing specific device drivers. The latency achieved was less than 0.5 ms and the sensor data stream throughput was on the order of 750 KB/s (compared to 3 ms latency and 300 KB/s in traditional solutions).…”
Get full text