File content as of revision 1:d37b1a61bd0b:

#include "mbed.h"
#include "rtos.h"

DigitalIn en_1(p15);
DigitalIn en_2(p16);
AnalogIn ea_1(p19);
AnalogIn ea_2(p20);

void lecture_analog(void const *args) {
    while (true) {
        // synchronisation sur la période d'échantillonnage
        // lecture de l'étampe temporelle
        // lecture des échantillons analogiques
        // calcul de la nouvelle moyenne courante
        // génération éventuelle d'un événement
    }
}
void lecture_num(void const *args) {
    while (true) {
        // synchronisation sur la période d'échantillonnage
        // lecture de l'étampe temporelle
        // lecture des échantillons numériques
        // prise en charge du phénomène de rebond
        // génération éventuelle d'un événement
    }
}
void collection(void const *args) {
    while (true) {
        // attente et lecture d'un événement
        // écriture de l'événement en sortie (port série)
    }
}
int main() {
    // initialisation du RTC
    // démarrage des tâches
    while(1) { }
}