Digital / Software PLL mit DDS und ARM7

Hallo,

Ich muss im Rahmen einer studentischen Arbeit eine Phasenregelung 
implementieren.

System:
Ich habe 2 Schwingquarze einen großen Erregerquarz und einen kleineren 
"Rückmess"quarz. Auf meinen Erregerquarz präge ich Sinussignale im 
Bereich von 10-20khz. Für die Phasenregelung habe ich einen 
Phasendetektor (digitale Schaltung) entwickelt, welcher  eine 
phasendifferenzäquivalente Spannung im Bereich von 0-2.5V als Ausgabe 
hat. Der Phasendetektor ist so aufgebaut, dass bei 90° Phasendifferenz 
1.25V ausgegeben werden. Die Quarze sollen stets 90° phasenverschoben 
zueinander schwingen. Das Nachstellen der Erregerfrequenz erfolgt 
mittels DDS.

Mein Problem:
Phasendifferenzäquivalente Spannung aufnehmen (ADC) --> Regler (in 
Software) -->  Erregerfreuquenz nachstellen (DAC mit DDS) --> loop

Ich habe ein Problem damit den regelungstechnischen Part zu lösen. Wie 
gehe ich an die Problemlösung heran?