[sys_time] replace SYS_TIME_RESOLUTION with SYS_TIME_FREQUENCY

sw/simulator/nps/nps_main.c

@@ -36,7 +36,7 @@
 #include "nps_flightgear.h"
 
 #include "mcu_periph/sys_time.h"
-#define SIM_DT     (SYS_TIME_RESOLUTION)
+#define SIM_DT     (1./SYS_TIME_FREQUENCY)
 #define DISPLAY_DT (1./30.)
 #define HOST_TIMEOUT_MS 40
 #define HOST_TIME_FACTOR 1.

sw/simulator/sim_ac_jsbsim.c

@@ -78,7 +78,7 @@ static void sim_init(void) {
   // main AP init (feed the sensors once before ?)
   sim_autopilot_init();
 
-  printf("sys_time resolution: %f\n", SYS_TIME_RESOLUTION);
+  printf("sys_time frequency: %f\n", SYS_TIME_FREQUENCY);
   printf("sys_time period in msec: %d\n", SYSTIME_PERIOD);
 
 }

sw/simulator/sim_ac_jsbsim.h

@@ -42,7 +42,7 @@
 #endif
 #define DT (JSBSIM_PERIOD*1e-3) ///< JSBSim timestep in seconds
 
-#define SYSTIME_PERIOD ((uint32_t)(SYS_TIME_RESOLUTION * 1000)) ///< in msec
+#define SYSTIME_PERIOD ((uint32_t)(1000. / SYS_TIME_FREQUENCY)) ///< in msec
 
 #define RAD2DEG 57.29578
 #define FT2M 0.3048