Static analysis for detecting high-level races in RTOS kernels

DOI10.1007/978-3-030-30942-8_21MaRDI QIDQ6535959zbMATH OpenFDO

Authors Abhishek Singh, Rekha R. Pai, Deepak D'Souza, Meenakshi 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)

Recommendations

• Static analysis for detecting high-level races in RTOS kernels
• Data races and static analysis for interrupt-driven kernels
• Static race detection for periodic programs
• Static analysis of embedded real-time concurrent software with dynamic priorities
• Fast and Accurate Static Data-Race Detection for Concurrent Programs

Cites work

• Data races and static analysis for interrupt-driven kernels
• 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

Cited in

(2)

• Data races and static analysis for interrupt-driven kernels
• Static race detection for periodic programs

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)