Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
fr:research:security [2021/04/06 11:47] apeiron |
fr:research:security [2024/02/17 15:24] (Version actuelle) apeiron |
||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| + | FIXME (outdated) | ||
| + | |||
| ====== Titre ====== | ====== Titre ====== | ||
| Ligne 22: | Ligne 24: | ||
| Ces valeur de propriétés extra-fonctionnelles peuvent ensuite être utilisées dans le reste du code, permettant au développeur de raisonner sur elles comme sur n'importe quelle autre variable. | Ces valeur de propriétés extra-fonctionnelles peuvent ensuite être utilisées dans le reste du code, permettant au développeur de raisonner sur elles comme sur n'importe quelle autre variable. | ||
| Les variantes non pertinentes d'un code sont éliminées, mais les variantes sur le front de Pareto sont des candidats pouvant être utilisés par l'aspect coordination du projet afin de satisfaire des contraintes en temps, énergie ou sécurité sur des architectures mono- ou multi-cœurs potentiellement hétérogènes. | Les variantes non pertinentes d'un code sont éliminées, mais les variantes sur le front de Pareto sont des candidats pouvant être utilisés par l'aspect coordination du projet afin de satisfaire des contraintes en temps, énergie ou sécurité sur des architectures mono- ou multi-cœurs potentiellement hétérogènes. | ||
| + | |||
| + | ===== Expression et contrats des propriétés extra-fonctionnelles ===== | ||
| + | |||
| + | ===== Sécurisation logicielle par échelonnement ===== | ||
| + | |||
| + | ===== Sécurisation des systèmes embarqués ===== | ||
| + | |||
| + | ===== Quantification des vulnérabilités par canal auxiliaire ===== | ||