Slim Driver Gezginler [extra Quality] -

¹Department of Computer Engineering, Boğaziçi University, Istanbul, Turkey ²Institute for Embedded Systems, Technical University of Munich, Germany ³Graduate School of Information Science, University of Tokyo, Japan ⁴School of Electrical Engineering, Universidad Nacional Autónoma de México, Mexico City, Mexico

| # | Contribution | |---|--------------| | | Definition of a core‑plus‑plug‑in architecture that isolates hardware abstraction from policy logic. | | C2 | Formal modeling of the Gezgin lifecycle (registration → negotiation → activation → retirement) and verification of dead‑lock freedom using TLA+ . | | C3 | Implementation of a prototype (≈ 12 KB core) for three hardware families, released under the permissive MIT license. | | C4 | Empirical evaluation of memory, latency, and throughput on real devices, compared against Linux‑based drivers and other lightweight frameworks (e.g., Zephyr, NuttX). | | C5 | Security analysis demonstrating reduced TCB size and fine‑grained capability confinement via a capability‑based access control (CBAC) model. | slim driver gezginler

Slim‑Driver Gezginler : A Lightweight, Extensible Driver Framework for Heterogeneous Edge‑Computing Platforms | | C4 | Empirical evaluation of memory,

The contributions of this paper are: