Static analysis for detecting high-level races in RTOS kernels

DOI10.1007/978-3-030-30942-8_21zbMATH Open1539.68073MaRDI QIDQ6535959

Meenakshi D'Souza, Rekha R. Pai, Abhishek Singh, Deepak D'Souza

Publication date: 14 March 2024

zbMATH Keywords

static analysishigh-level data racesinterrupt-driven programsRTOS kernel

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Model-checking of correctness conditions for concurrent objects
• Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs
• Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
• Data races and static analysis for interrupt-driven kernels

This page was built for publication: Static analysis for detecting high-level races in RTOS kernels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535959)