Ogni 10 secondi un'operazione

Devo eseguire ogni 10 secondi una determinata operazione, non molto
lunga (si tratta di aggiungere in un file di log un dato che chiedo
sulla porta seriale).
La cadenza di 10 secondi deve essere di questo tipo:
00:00:00
00:00:10
00:00:20
...
e non
00:00:03
00:00:13
00:00:23
...