Automated Identification of Layering Violations in Embedded Applications - Work in Progress

Explore a 10-minute conference talk from ACM SIGPLAN presenting preliminary work on detecting layering violations in embedded systems software. Delve into the concept of Non Conventional MMIO Accesses (NCMAs) and learn how they are identified by searching for direct Memory Mapped Input Output (MMIO) accesses outside the Hardware Abstraction Layer (HAL). Discover the evaluation process involving a curated dataset of 988 applications across 5 Real Time Operating Systems (RTOSes), resulting in the identification of 380 NCMAs. Gain insights into the reasons behind committing layering violations as reported by developers. Access the open-sourced tool and dataset to further your understanding and contribute to future research in embedded systems software design and portability.

[LCTES'23] (WIP) Towards Automated Identification of Layering Violations in Embedded Applications