3 papers
cs.LO2025
Checking the HAL Interface Specification Continuously, Right from the Start
Manuel Bentele, Onur Altinordu, Jan Körner +2
The correct use of a Hardware Abstraction Layer (HAL) interface in embedded applications is crucial to prevent malfunctions, crashes, or even hardware damage. Software model checki…
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…