2 papers
cs.LO2025
Relevant HAL Interface Requirements for Embedded Systems
Manuel Bentele, Andreas Podelski, Axel Sikora +1
Embedded applications often use a Hardware Abstraction Layer (HAL) to access hardware. Improper use of the HAL can lead to incorrect hardware operations, resulting in system failur…
cs.SE2025
Temporal HAL-API Dependencies as a Gateway to Formal Embedded Software Development
Manuel Bentele, Andreas Podelski, Axel Sikora +1
Temporal HAL-API Dependencies (THADs) can be useful to capture an interesting class of correctness properties in embedded software development. They demand a moderate effort for sp…