Sécurité temps réel dans les systèmes embarqués critiques
La croissance des flux d'information à travers le monde est responsable d'une importante utilisation de systèmes embarqués temps-réel, et ce notoirement dans le domaine des satellites. La présence de ces systèmes est devenue indispensable pour la géolocalisation, la météorologie, ou les co...
Main Author: | Buret, Pierrick |
---|---|
Other Authors: | Limoges |
Language: | fr |
Published: |
2015
|
Subjects: | |
Online Access: | http://www.theses.fr/2015LIMO0140/document |
Similar Items
-
Systèmes véhiculaires à domaines de sécurité et de criticité multiples : une passerelle systronique temps réel
by: Thierry, Philippe
Published: (2014) -
Parametric WCET Analysis
by: Bygde, Stefan
Published: (2013) -
Extending WCET benchmark programs
by: Islam, mohammad Nazrul
Published: (2012) -
Détermination de propriétés de flot de données pour améliorer les estimations de temps d'exécution pire-cas
by: Ruiz, Jordy
Published: (2017) -
Automates d'annotation de flot pour l'expression et l'intégration de propriétés dans l'analyse de WCET
by: Mussot, Vincent
Published: (2016)