21-Jan-14 Ron SmithRocket Science - 1 Systèmes en temps réel Ce nest pas de la science de fusé!

Présentation au sujet: "21-Jan-14 Ron SmithRocket Science - 1 Systèmes en temps réel Ce nest pas de la science de fusé!"— Transcription de la présentation:

1 21-Jan-14 Ron SmithRocket Science - 1 Systèmes en temps réel Ce nest pas de la science de fusé!

2 21-Jan-14 Ron SmithRocket Science - 2 Ordonnancement Ce nest pas de la science de fusé !

3 21-Jan-14 Ron SmithRocket Science - 3 Mon expérience - le cas du système dentraînement en soutien électronique (Electronic Support Trainer (EST)) 70+ tâches périodique (et asynchrones) Ordonnancées avec TM pas déchéanciers spéciaux assignés asynchrones ordonnancé en arrière plan Budgets dexécution alloués et maintenus de façon à ce que: U système < 65% Après quatre longues années de développement multi-équipes difficile Erreurs intermittentes de logiciel en ordonnancement sans arrêt Accusations matériel / logiciel sans arrêt

4 21-Jan-14 Ron SmithRocket Science - 4 NASA (les personnes en science de fusé!) Cas du Mars Pathfinder 3 tâches périodiques Processeur simple, ordonnancement priorité fixe (ÉM) Système dexploitation en temps réel WindRivers VxWorks Tâche 1 – Gestion du bus haute fréquence, haute priorité Tâche 2 – Communication terrestre fréquence/priorité moyennes, temps dexécution élevés Tâche 3 – Acquisition des données géologiques basse fréquence, basse priorité Comment plus simple est-ce que cela pourrait être???

5 21-Jan-14 Ron SmithRocket Science - 5 NASA (les personnes en science de fusé!) Cas du Mars Pathfinder Introduction de la tolérance des défaillances Un chrono de supervision a été utilisé pour redémarrer le système au cas ou lordinateur/logiciel plante Élément de design essentiel (on ne peut pas aller faire le redémarrage sur Mars) surveille pour le plantage sur la tâche de plus haute priorité Introduction de la communication inter-tâches – Une ressource partagée (mémoire) a été utilisée pour passer des données entre lacquisition de données (tâche 3) et le communicateur (tâche 2) via le gestionnaire du bus (tâche 1).

6 21-Jan-14 Ron SmithRocket Science - 6 NASA (les personnes en science de fusé!) Cas du Mars Pathfinder La mission du Mars Pathfinder a été grandement vendu comme "parfaite" durant les premiers jours après son arrivé sur la surface martienne le 4 juillet 1997. … Mais après quelques jours dans la mission, pas longtemps après que le Pathfinder ait commencé à ramasser des données météorologiques, lastronef commence à subir des redémarrage complets du système, chacun dentre eux entraînant des pertes de données. La presse rapporte ces défaillances en utilisant des termes comme "pépins logiciel" et "lordinateur essayaient den faire trop en même temps". 1

7 21-Jan-14 Ron SmithRocket Science - 7 NASA (les personnes en science de fusé!) Cas du Mars Pathfinder Est-ce que le Pathfinder na pas subis de tests sur la Terre!? Des tests extensifs ont étés fait sur Terre Cependant, … les patterns dexécution des tâches était différents 2 Lexécution pire cas pour la tâche de communications était grandement différent entre Mars-Terre et Terre-Terre Mais quand même, … les ingénieurs du JPL ont actuellement créé une situation dinversion de priorité durant les tests, mais nont pas réussi à analyser les données enregistrées dune bonne façon pour réaliser que linversion de priorité dans le système était vraiment un bogue dans le système. En autres mots, les exécutions de tests étaient suffisants, mais les outils danalyse ne létaient pas. 1

8 21-Jan-14 Ron SmithRocket Science - 8 Références 1. Une histoire claire et concise Priority Inversion and the Mars Pathfinder par le personnel à Temporal Solutions http://www.time-rover.com/Priority.html 2. Un autre perspective plus détaillée et scientifique Missed it! - How Priority Inversion messes up real-time performance and how the Priority Ceiling Protocol puts it right. par N.J. Keeling www.realtime-info.com/magazine/99q4/