Showing cs.LOShow all
2 papers · 1 filter
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…