Salma Bergaoui<\/p>\n
R\u00e9sum\u00e9:<\/strong><\/p>\n \nLes syst\u00e8mes critiques, parmi lesquels les syst\u00e8mes embarqu\u00e9s construits autour d’un microprocesseur mono-c\u0153ur ex\u00e9cutant un logiciel d’application, ne sont pas \u00e0 l\u2019abri d\u2019interf\u00e9rences naturelles ou malveillantes qui peuvent provoquer des fautes transitoires. Ces Les fonctions d’analyse de criticit\u00e9 d\u00e9velopp\u00e9es dans le cadre de la m\u00e9thodologie propos\u00e9e sont \u00e9galement utilis\u00e9es pour \u00e9valuer l’impact des options de compilation sur la robustesse intrins\u00e8que du logiciel d’application. Et enfin, une technique d’augmentation de la robustesse des syst\u00e8mes d’exploitation par recouvrement au niveau processus a \u00e9t\u00e9 con\u00e7ue. Elle se base sur l’encapsulation des t\u00e2ches dans des transactions, avec l\u2019API RTSM, pour la r\u00e9cup\u00e9ration d\u2019un \u00e9tat coh\u00e9rent en cas de probl\u00e8me logiciel ou mat\u00e9riel.\n<\/p><\/blockquote>\n <\/p>\n","protected":false},"excerpt":{"rendered":" Augmentation de la robustesse de syst\u00e8mes et logiciels embarqu\u00e9s 18 avril 2014 LIP, salle B2, 14h30 Salma Bergaoui R\u00e9sum\u00e9: Les syst\u00e8mes critiques, parmi lesquels les syst\u00e8mes embarqu\u00e9s construits autour d’un microprocesseur mono-c\u0153ur ex\u00e9cutant un logiciel d’application, ne sont pas \u00e0 … Continue reading
\ntravaux portent sur des protections qui peuvent \u00eatre implant\u00e9es pour d\u00e9tecter les effets de telles fautes transitoires sans faire d’hypoth\u00e8ses sur la multiplicit\u00e9 des erreurs g\u00e9n\u00e9r\u00e9es.
\nTout d’abord, une nouvelle m\u00e9thode de v\u00e9rification de flot de contr\u00f4le est propos\u00e9e. Elle permet de v\u00e9rifier, sans modifier le syst\u00e8me initial, que les instructions du programme d\u2019application sont lues sans erreur et dans le bon ordre. Les erreurs sur les donn\u00e9es sont \u00e9galement prises en compte par une extension de la v\u00e9rification de flot de contr\u00f4le. La m\u00e9thode propos\u00e9e offre un bon compromis entre les diff\u00e9rents surco\u00fbts, le temps de latence de d\u00e9tection et la couverture des erreurs. Les surco\u00fbts peuvent aussi \u00eatre ajust\u00e9s aux besoins de l’application. La m\u00e9thode est mise en \u0153uvre sur un prototype, construit autour d\u2019un microprocesseur Sparc v8. <\/p>\n