The design of the OO HW system fails to completely modularize the design by
contract concern (focus of our work). Even though the HW system is organized in
layers and uses several design patterns, the realization of DbC is completely scattered
and crosscuts the entire HW layers.