Um ein vorhandenes Hardwaresystem genauer zu untersuchen und zu verstehen, wird ein Modell des Systems erstellt. Anhand dieses Systemmodells können dann verschiedene Steuerungsmöglichkeiten verglichen werden.