Operating System Sensitive Device Driver Synthesis from Implementation Independent Protocol Specification

We present a method for generation of the software part of a HW/SW interface (i.e. the device drivers), which separates the behaviour of the interface from the architecture dependent parts. We do this by modelling the behaviour in ProGram (a grammar based protocol specification language) and capture the processor and OS kernel parts in separate libraries. By separating the behaviour from the architectural specific parts, compared to other approaches up to 50 % development time can be saved the first time the component is used, and up to 98 % for each time the interfaced component is reused. 1