Discussion:Isolation des systèmes temps réel

message: :Le titre est au pluriel, je crois qu'on utilise plutôt le singulier lorsque l'on parle de systèmes à criticité mixte. --Edouard DELBAR (discuter) 4 février 2018 à 17:26 (CET)
replies: text: Modifications prises en compte. PierreCaruyer (discuter) 11 février 2018 à 08:33 (CET)

text: Dans la phrase "sans qu'il soit nécessaire de prévoir les cas particuliers", pourriez vous préciser de quels cas particuliers il s'agit ? J'ai cherché dans la page donnée en référence (http://dx.doi.org/10.1109%2FRTCSA.2014.6910550, p1), je n'ai pas retrouvé cette idée. Faites vous référence à cette phrase "The latter issue [interference between applications] forces designers to assume the worst case latency for every individual memory transaction" ? --Edouard DELBAR (discuter) 4 février 2018 à 17:26 (CET)
replies: text: Cette partie de la définition fait plus référence à la conception d'un framework d'isolation. PierreCaruyer (discuter) 11 février 2018 à 08:33 (CET)

text: Pourriez-vous préciser comment un niveau de confiance hétérogène permet d'éviter la propagation des erreurs ? Je crains que le lien implicite entre le niveau de confiance et la propagation des erreurs soit difficile à percevoir et introduise de la confusion dans la définition générale. --Edouard DELBAR (discuter) 4 février 2018 à 17:26 (CET)
replies: text: Ici, ce que nous avons essayé d'expliquer, c'est qu'à chaque processus est attribué un niveau de criticité qui correspond un niveau de confiance que ce processus se doit de respecter : plus le niveau de criticité de ce processus sera élevé, plus cela signifie que la confiance que l'on attribue à ce processus est forte et donc que ce processus doit terminer son exécution dans un intervalle court, par exemple. Mais surtout, plus le niveau de criticité sera élevé, plus on aura besoin que ce processus soit isolé des autres processus et moins il doit avoir de chance d'être corrompu par les erreurs des autres processus. PierreCaruyer (discuter) 8 février 2018 à 06:45 (CET)

text: Dans la phrase "Un processus dans un système à criticités mixtes se distingue des autres systèmes par des paramètres spécifiques", on pourrait croire que vous comparez "un processus" avec "les autres systèmes". Que pensez-vous de la remplacer par la phrase "Un processus dans un système à criticités mixtes se distingue d'un processus dans les autres types de systèmes par des paramètres spécifiques" ? --Edouard DELBAR (discuter) 4 février 2018 à 17:26 (CET)
replies: text: En effet, ça éviterait les confusions. On va changer ça. PierreCaruyer (discuter) 7 février 2018 à 08:20 (CET)

text: Il y a deux liens externes vers la définition du temps d'exécution dans le pire des cas, et le second pointe vers une archive qui donne un résultat à peu de choses près identique au premier, à mon avis il faudrait en retirer au moins un. J'irais même plus loin, il n'est peut-être pas nécessaire d'en donner la définition, il me semble que c'est une notion suffisamment intuitive, en particulier pour un public d'informaticiens.--Edouard DELBAR (discuter) 4 février 2018 à 17:26 (CET)
replies: text: C'est une notion qui en effet assez simple mais qui, je pense, reste intéressante car il couvre plusieurs domaines du temps réel. Par ailleurs les liens externes n'en donnaient qu'une définition succinte, les deux liens ont été remplacés par un lien vers un article wikipedia assez complet sur le sujet qui mériterait d'être lu par qui serait intéressé par le sujet.PierreCaruyer (discuter) 8 février 2018 à 06:43 (CET)

text: À mon avis il serait bon d'annoncer les deux sous-titres ("Partage & partitionnement" et "Délai d'accès aux ressources") dans l'introduction de la section "Problématiques" pour faire la transition. En l'état j'ai peur que l'introduction soit exposée de manière trop brutale pour le lecteur, la phrase ne laisse pas deviner un développement futur. Par ailleurs ça permettrait de justifier implicitement l'utilisation du pluriel dans le titre de la section ("Problématiques"). Par exemple, on pourrait ajouter "Le temps d'exécution dépend notamment du partage et du partitionnement des ressources, ainsi que du délai d'accès aux ressources." --Edouard DELBAR (discuter) 4 février 2018 à 17:27 (CET)
replies: text: D'accord, en effet cela rendrait plus lisible les deux sous-parties de la partie "problématiques" ainsi que de l'article . PierreCaruyer (discuter) 12 février 2018 à 23:48 (CET)
thread_title:  Systèmes à criticités mixtes 

message: :Dans la phrase "sans qu'il soit nécessaire de prévoir les cas particuliers", pourriez vous préciser de quels cas particuliers il s'agit ? J'ai cherché dans la page donnée en référence (http://dx.doi.org/10.1109%2FRTCSA.2014.6910550, p1), je n'ai pas retrouvé cette idée. Faites vous référence à cette phrase "The latter issue [interference between applications] forces designers to assume the worst case latency for every individual memory transaction" ? --Edouard DELBAR (discuter) 4 février 2018 à 17:26 (CET)
replies: text: Cette partie de la définition fait plus référence à la conception d'un framework d'isolation. PierreCaruyer (discuter) 11 février 2018 à 08:33 (CET)

text: Pourriez-vous préciser comment un niveau de confiance hétérogène permet d'éviter la propagation des erreurs ? Je crains que le lien implicite entre le niveau de confiance et la propagation des erreurs soit difficile à percevoir et introduise de la confusion dans la définition générale. --Edouard DELBAR (discuter) 4 février 2018 à 17:26 (CET)
replies: text: Ici, ce que nous avons essayé d'expliquer, c'est qu'à chaque processus est attribué un niveau de criticité qui correspond un niveau de confiance que ce processus se doit de respecter : plus le niveau de criticité de ce processus sera élevé, plus cela signifie que la confiance que l'on attribue à ce processus est forte et donc que ce processus doit terminer son exécution dans un intervalle court, par exemple. Mais surtout, plus le niveau de criticité sera élevé, plus on aura besoin que ce processus soit isolé des autres processus et moins il doit avoir de chance d'être corrompu par les erreurs des autres processus. PierreCaruyer (discuter) 8 février 2018 à 06:45 (CET)

text: Dans la phrase "Un processus dans un système à criticités mixtes se distingue des autres systèmes par des paramètres spécifiques", on pourrait croire que vous comparez "un processus" avec "les autres systèmes". Que pensez-vous de la remplacer par la phrase "Un processus dans un système à criticités mixtes se distingue d'un processus dans les autres types de systèmes par des paramètres spécifiques" ? --Edouard DELBAR (discuter) 4 février 2018 à 17:26 (CET)
replies: text: En effet, ça éviterait les confusions. On va changer ça. PierreCaruyer (discuter) 7 février 2018 à 08:20 (CET)

text: Il y a deux liens externes vers la définition du temps d'exécution dans le pire des cas, et le second pointe vers une archive qui donne un résultat à peu de choses près identique au premier, à mon avis il faudrait en retirer au moins un. J'irais même plus loin, il n'est peut-être pas nécessaire d'en donner la définition, il me semble que c'est une notion suffisamment intuitive, en particulier pour un public d'informaticiens.--Edouard DELBAR (discuter) 4 février 2018 à 17:26 (CET)
replies: text: C'est une notion qui en effet assez simple mais qui, je pense, reste intéressante car il couvre plusieurs domaines du temps réel. Par ailleurs les liens externes n'en donnaient qu'une définition succinte, les deux liens ont été remplacés par un lien vers un article wikipedia assez complet sur le sujet qui mériterait d'être lu par qui serait intéressé par le sujet.PierreCaruyer (discuter) 8 février 2018 à 06:43 (CET)
thread_title: Définition

message: :À mon avis il serait bon d'annoncer les deux sous-titres ("Partage & partitionnement" et "Délai d'accès aux ressources") dans l'introduction de la section "Problématiques" pour faire la transition. En l'état j'ai peur que l'introduction soit exposée de manière trop brutale pour le lecteur, la phrase ne laisse pas deviner un développement futur. Par ailleurs ça permettrait de justifier implicitement l'utilisation du pluriel dans le titre de la section ("Problématiques"). Par exemple, on pourrait ajouter "Le temps d'exécution dépend notamment du partage et du partitionnement des ressources, ainsi que du délai d'accès aux ressources." --Edouard DELBAR (discuter) 4 février 2018 à 17:27 (CET)
replies: text: D'accord, en effet cela rendrait plus lisible les deux sous-parties de la partie "problématiques" ainsi que de l'article . PierreCaruyer (discuter) 12 février 2018 à 23:48 (CET)
thread_title:  Problématiques 

message: :À mon avis le titre est trop court, et il manque une introduction succincte à cette section pour définir le cadre du sujet. Plus bas dans l'article je vois que vous parlez également de sécurité, dès lors le lecteur peut se demander quelle différence il y a entre sûreté et sécurité, et pourquoi l'isolation temporelle est liée au thème de la sûreté, tandis que l'isolation mémoire est liée au thème de la sécurité. Vous ne dites pas non plus à quoi s'appliquent ces deux notions (sûreté et sécurité du système en général, de l'accès aux ressources, etc... ?). --Edouard DELBAR (discuter) 4 février 2018 à 18:35 (CET)
replies: text: Nous avons rajouté un lien vers l'article principal et nous allons définir la notion de sûreté en début de partie. PierreCaruyer (discuter) 12 février 2018 à 23:48 (CET)

text: Vous dites "les tâches Ti sont définies par une période (la fréquence d'exécution)", or la période est la durée d'un phénomène répétitif, tandis que la fréquence correspond au nombre de répétitions de ce phénomène pendant un intervalle de temps donné. Il me semble que ce sont deux concepts différents, on ne peut donc pas dire "période égal fréquence". De plus, l'article que vous citez désigne une tâche par le symbole grec "τ", et la période par la lettre "T", il me semble que vous faites l'amalgame. --Edouard DELBAR (discuter) 4 février 2018 à 17:59 (CET)
replies: text: C'est vrai que cette formulation laisse à désirer, nous allons retravailler dessus pour qu'elle soit plus proche de ce qui définit réellement la période d'une tâche. PierreCaruyer (discuter) 11 février 2018 à 08:33 (CET)
thread_title:  Sûreté 

message: :Vous dites "les tâches Ti sont définies par une période (la fréquence d'exécution)", or la période est la durée d'un phénomène répétitif, tandis que la fréquence correspond au nombre de répétitions de ce phénomène pendant un intervalle de temps donné. Il me semble que ce sont deux concepts différents, on ne peut donc pas dire "période égal fréquence". De plus, l'article que vous citez désigne une tâche par le symbole grec "τ", et la période par la lettre "T", il me semble que vous faites l'amalgame. --Edouard DELBAR (discuter) 4 février 2018 à 17:59 (CET)
replies: text: C'est vrai que cette formulation laisse à désirer, nous allons retravailler dessus pour qu'elle soit plus proche de ce qui définit réellement la période d'une tâche. PierreCaruyer (discuter) 11 février 2018 à 08:33 (CET)
thread_title:  Systèmes à criticité mixte et isolation temporelle 

message: :Vous pouvez vous référer aux remarques faites plus haut sur la section "Sûreté". Je remarque que la section "Sécurité" n'a qu'une seule sous-section, "Isolation mémoire", cela veut-il dire que la sécurité est entièrement définie par l'isolation mémoire ? Si tel est le cas, il pourrait être utile de fournir quelques explications au lecteur. --Edouard DELBAR (discuter) 4 février 2018 à 18:43 (CET)
replies: text: Nous avons rajouté un lien vers l'article principal et nous allons définir la notion de s en début de partie. PierreCaruyer (discuter) 12 février 2018 à 23:48 (CET)
thread_title:  Sécurité 

message: :La première source "Mixed Criticality Systems - A Review" ne semble pas correctement renseignée. "Dep. Computer Science" n'est pas un périodique, c'est le nom du département de l'université de York à l'origine de l'article ("Department of Computer Science, University of York, York, UK"). La source elle-même (résultat Google : https://www-users.cs.york.ac.uk/burns/review.pdf) est probablement une relecture (non officielle : https://www-users.cs.york.ac.uk/) d'un article publié dans l'ACM Computing Surveys :
::Merci de d'avoir pointé du doigt cet oubli, c'est corrigé :) --Pierre Caruyer (discuter) 22 janvier 2018 à 13:20 (CET)
thread_title: Sources