I am trying to build a magnetic tachometer using SystemModeler and Arduino. I am using the basic sensor example of ModelPlug with the potentiometer replaced by a Hall Effect sensor. So far, I have been able to generate interrupts (pluses) successfully.

How can I translate these pulses into angular speed of the motor?

I tried to work my way using the online book "Modelica By Example" but I can't figure out where to enter the code. I also tried to find the ModelicaByExample library online but in vain.

Is there any off the shelf component in the Modelica or ModelPlug or PlanarMechanics library that may be of help to compute real-time shaft rpm using the pulse?

PS. whenever the pulse is generated, another pin of the arduino gives a boolean output (i.e. whenever a pulse is generated, the output is 1, otherwise 0). I am hoping to use this pulse to compute real-time rpm of the motor. I am doing this just for the sake of clarity of the signal.