Discussion :

[vvvermi]

Bonjour

J'ai modélisé un radar par un jeu de 7 tâches. Je voudrai validé le système par une analyse de l'ordonnancement des tâches. Mais je ne sais pas comment faire pour déterminer le WCET de mes tâhes. Comment faire pour déterminer le WCET des tâches en fonction du rôle de chaque tâche. Ou àlors faut il absolument implémenter les tâches dans un langage de programmation?

Merci d'avance

[Blackknight]

Difficile question !!
En cherchant sur Google, j'ai trouvé un lien vers les méthodes de calcul du WCET.
Une fois que tu as cela, pour vérifier qu'en fonction de ton architecture, c'est schedulable, tu peux utiliser AADL pour décrire ton système et le passer dans Cheddar.
Voilà pour un tout petit début de réponse.

[vvvermi]

J'ai effectivement fait ce que vous avez dit c'est à dire modélisé mon système avec le langage AADL v1.0; ensuite j'ai validé(vérifié) ce modèle via Cheddar en choisissant des valeurs de WCET des différentes taches de manière arbitraire.
Mon modèle possède 7 taches:
- la tache transmitter qui est chargé de transmettre une impulsion (évènement) à une antenne
- la tache receiver qui est chargé de recevoir la variation d'onde
- la tache analyser qui effectue les calculs sur la distance et la vitesse de la cible
- la tache illiminate qui envoie un évènement à un device camera pour que ce dernier projette la lumière
- la tache photographer qui est chargé de prendre une photo d'un véhicule en infraction
- la tache crypter qui reçoit toutes les données et crypte toutes ses informations pour les envoyer à un serveur

En fait je n'ai pas implémenté les tâches proprement dite; j'ai supposé des valeurs de WCET et j'ai validé le système avec ces tâches. Mais je ne suis pas convaincu de cette démarche;
Que dois je faire? dois vous envoyer le code en AADL et le code en XML de Cheddar?
Merci d'avance

[Blackknight]

Je pense que la modélisation est déjà un bon départ mais l'ordonnancement du système ne sera validé que si vous donnez des valeurs correctes pour l'exécution des tâches.
Il vous faut donc maintenant une implémentation de chaque tâche pour déterminer des WCET corrects.
Une fois, cela fait, vous pourrez expérimenter différentes algorithmes d'ordonnancement pour garantir le respect des contraintes temporelles du système.