Contributions à la conception sûre des systèmes embarqués sûrs
| Autor: | Girault, Alain |
|---|---|
| Jazyk: | francouzština |
| Rok vydání: | 2006 |
| Předmět: |
[INFO:INFO_NI] Computer Science/Networking and Telecommunication
systèmes embarqués méthodes formelles programmation synchrone répartition automatique de programmes sûreté de fonctionnement tolérance aux fautes fiabilité ordonnancement statique multi-processeurs synthèse de contrôleurs discrets transformations automatiques de programmes autoroutes automatisées véhicules autonomes loi de commande longitudinale |
| Druh dokumentu: | habilitation ࠤiriger des recherches |
| Popis: | Je présente dans ce document mes résultats de recherche sur la conception sûre de systèmes embarqués sûrs. La première partie concerne la répartition automatique de programmes synchrones. Le caractère automatique de la répartition apporte un réel degré de sûreté dans la conception de systèmes répartis car c'est la partie la plus délicate de la spécification qui est automatisée. Grâce à cela, l'absence d'inter-blocage et l'équivalence fonctionnelle entre le programme source centralisé et le programme final réparti peuvent être formellement démontrées. La deuxième partie traite le sujet de l'ordonnancement et de la répartition de graphes de tâches flots-de-données sur des architectures à mémoire répartie, avec contraintes de tolérance aux fautes et de fiabilité. Je présente principalement des heuristiques d'ordonnancement statique multiprocesseur avec pour but la tolérance aux fautes et la fiabilité des systèmes, mais également l'utilisation de méthodes formelles telles que la synthèse de contrôleurs discrets ou les transformations automatiques de programmes. Enfin, la troisième partie concerne les autoroutes automatisées, avec deux volets : la commande longitudinale de véhicules autonomes et les stratégies d'insertion dans les autoroutes automatisées. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|