Cette recherche explore le processus évaluatif tel qu'il se développe dans les disciplines scientifiques au collège, à l'initiative de professeurs. L'originalité et la nouveauté de cette investigation sont de focaliser les élèves dans les interactions évaluatives, inhérentes au processus évaluatif. L'enjeu est de contribuer à l'intelligibilité des comportements des élèves, c'est-à-dire d'expliquer et de justifier leurs actions et leurs réactions au comportement évaluatif du professeur. Alors que, dans les recherches antérieures, le comportement évaluatif du professeur est largement expliqué par ses intentions évaluatives et ses postures d'évaluateur, les travaux et les études ne donnent que très peu d'éléments concernant les élèves. Dans ce contexte : primo, l'existence d'un comportement d'un élève engagé dans une situation d'évaluation est postulé ; secundo, la notion de conscience évaluative individuelle d'un élève est proposée pour rendre compte de son comportement évaluatif et affirmer l'existence de l'élève-évalué ; tertio, l'étude des interactions évaluatives est menée à travers l'investigation et la caractérisation des écarts entre les intentions évaluatives du professeur-évaluateur et la conscience évaluative individuelle de chaque élève-évalué. La méthodologie mise au point a comme premier objectif de vérifier l'existence des intentions évaluatives et de la conscience évaluative, puis comme second objectif d'en étudier les écarts éventuels. Les études de cas sont adaptées à ces deux objectifs : les cas retenus sont des situations d'évaluation formelle particulières, organisées à l'initiative d'un professeur. Dix études de cas et une étude de cas multiples sont menées : les données ont été recueillies auprès de neuf professeurs, enseignant dans trois collèges différents de deux académies ; cent cinq élèves ont été sollicités, répartis dans cinq classes (4 classes de 5ème et 1 classe de 4ème). L'investigation, d'un point de vue didactique, privilégie les contenus de l'enseignement, le contrat et la négociation didactiques, les tâches prescrites. En effet, la place de ces concepts est centrale dans une situation d'évaluation parce que les acteurs - professeur et élèves - en ont une « compréhension symétrique » : cette bivalence en fait des outils permettant la comparaison des intentions évaluatives du professeur-évaluateur et de la conscience évaluative individuelle de chaque élève-évalué. Ces trois concepts apparaissent intriqués dans une situation d'évaluation formelle et y interfèrent en tant que système : dans toute situation d'évaluation formelle, aucun des trois éléments ne peut exister indépendamment des deux autres d'une part, et ce système est systématiquement présent d'autre part. En conclusion, cette recherche exploratoire montre l'existence de la conscience évaluative individuelle des élèves engagés dans une situation d'évaluation formelle. La corrélation entre les intentions évaluatives et la conscience évaluative est marquée par la présence d'écarts qui se manifestent dans le sens donné respectivement par le professeur et chacun de ses élèves, aux contenus de l'enseignement, au contrat didactique et aux tâches prescrites, globalement à l'ensemble des trois, considéré en tant que système. Ces écarts interrogent d'une façon inédite la fiabilité d'une situation d'évaluation formelle pour chaque élève et donc les inférences évaluatives induites. Cette recherche met surtout en lumière que l'élève est un acteur-clé de la situation d'évaluation formelle et pas seulement l'objet de l'évaluation à travers sa production. / This research explores the evaluative process as it is developing in science subjects at middle schools on the teachers' initiative. The originality and the novelty of this study consist of the focus on students in the evaluative interactions inherent in the evaluative process. The aim is to contribute to the intelligibility of students' behaviours, i.e. to explain and to justify the factors that affect student overall actions and reactions to the teacher's evaluative behaviour. While the teacher's evaluative behaviour has been largely explained in previous researches through his or her evaluative intentions and position as an evaluator educational literature has not yet collected sufficient data as regards student characteristics. In this context this investigation examines three interrelated topics denoted as follows. First, the existence of a behaviour characterising students involved in an evaluation situation is postulated. Second, the concept of individual evaluative awareness is proposed in order to take into greater account his or her evaluative behaviour and to establish the existence of the evaluated-student as equally effective. Third, the evaluative interactions are examined through the investigation and the characterisation of divergences between the evaluative intentions of the teacher-evaluator and the individual evaluative awareness of each evaluated-student. With the help of some new methodological approach, the primary goal is to explicit the existence of both evaluative intentions and evaluative awareness, and the second objective is to examine their potential divergences. The case studies are appropriate to these two objectives: the cases presented are specific formal evaluation situations organized to teacher's initiative. Ten case studies and a multiple case study have been carried out: data were collected from nine teachers teaching in three different middle schools belonging to two regional education academies; one hundred five students were contacted throughout five classes (4 classes of "5ème" and 1 class of "4ème", respectively 4 classes of 7th grade and 1 class of 8th grade). From a didactic perspective the investigation focuses on curricular contents, the didactic contract and negotiation, the tasks assigned. These concepts definitely hold a central place in any evaluation situation because the proficient users - teacher and students - have a "symmetrical understanding" of it: this bivalence produces tools for the comparison of the evaluator-teacher's evaluative intentions and the evaluated-student's evaluative awareness. These three concepts intertwined in a formal evaluation situation and conjugate as a system: in any formal evaluation situation, none of the three elements can exist independently from the two others on the one hand, and this system is always present on the second hand. In conclusion, this exploratory research shows the existence of the student individual evaluative awareness when involved in a formal evaluation situation. The correlation between the evaluative intentions and the evaluative awareness is defined by the presence of divergences that emerge concerning under the meaning given respectively by the teacher and each student to the curricular contents, the didactic contract and didactic negotiation, the tasks assigned, globally to the combination of the three concepts regarded as a system. These divergences call into question in an unprecedented manner the finality of a formal evaluation situation for each student and thus the evaluative inferences induced. This research more specifically highlights the idea that the student is a key-player of the formal evaluation situation and not only the object of the evaluation through his or her performance.

nombre croissant de dispositifs informatiques par le biais de technologies réseaux sans fil basées ou non sur des infrastructures (WLAN, Bluetooth, GSM, GPRS, UMTS). Une des problématiques majeures de l'informatique diffuse est de faire communiquer de façon dynamique, spontanée et transparente ces différents dispositifs entre eux indépendamment de leurs hétérogénéités matérielle et logicielle. Les intergiciels ont été introduits dans cet objectif, cependant étant donné leur diversité, une nouvelle source d'hétérogénéité de plus haut niveau apparaît, notamment au niveau de leur protocole d'interaction. Actuellement, deux méthodes permettent de résoudre ces incompatibilités : la substitution et la traduction de protocoles. La première requiert la conception de nouveaux intergiciels capables de s'adapter en fonction de leur environnement d'exécution afin de résoudre dynamiquement l'hétérogénéité des intergiciels existants. L'avantage de cette méthode est de fournir une interopérabilité dynamique. En revanche, son inconvénient est d'être non transparente : elle crée une nouvelle source d'hétérogénéité entre ces nouveaux intergiciels, et nécessite de développer des applications qui leur sont spécifiques. La seconde méthode, quant à elle, est transparente : elle ne requiert ni la conception de nouveaux intergiciels, ni le développement de nouvelles applications. Cependant, elle reste statique et planifiée contrairement à la précédente méthode. Dans le contexte de l'informatique diffuse, ces deux méthodes sont complémentaires. Notre contribution consiste à combiner ces deux approches. A l'aide des langages de processus, nous proposons, dans un premier temps, une spécification formelle de notre solution qui permet de résoudre l'hétérogénéité des intergiciels quels que soient la spécificité de leurs caractéristiques, de leurs protocoles et de leurs technologies. Dans un second temps, nous présentons deux systèmes, basés sur cette spécification, conçus pour résoudre : (i) les incompatibilités des protocoles de découverte de services, (ii) les incompatibilités des protocoles de communication. Leur particularité est d'assurer une interopérabilité dynamique et transparente sans requérir de modifications des applications et des intergiciels existants. A partir de nos différentes expérimentations, il apparaît que le surcoût de cette solution pour résoudre les incompatibilités de protocoles est raisonnable.

Les RCsF sont des réseaux ad hoc, sans fil, large échelle déployés pour mesurer des paramètres de l'environnement et remonter les informations à un ou plusieurs emplacements (nommés puits). Les éléments qui composent le réseau sont de petits équipements électroniques qui ont de faibles capacités en termes de mémoire et de calcul ; et fonctionnent sur batterie. Ces caractéristiques font que les protocoles développés, dans la littérature scientifique de ces dernières années, visent principalement à auto-organiser le réseau et à réduire la consommation d'énergie. Avec l'apparition d'applications critiques pour les réseaux de capteurs sans fil, de nouveau besoins émergent, comme le respect de bornes temporelles et de fiabilité. En effet, les applications critiques sont des applications dont dépendent des vies humaines ou l'environnement, un mauvais fonctionnement peut donc avoir des conséquences catastrophiques. Nous nous intéressons spécifiquement aux applications de détection d'événements et à la remontée d'alarmes (détection de feu de forêt, d'intrusion, etc), ces applications ont des contraintes temporelles strictes. D'une part, dans la littérature, on trouve peu de protocoles qui permettent d'assurer des délais de bout en bout bornés. Parmi les propositions, on trouve des protocoles qui permettent effectivement de respecter des contraintes temporelles mais qui ne prennent pas en compte les spécificités des RCsF (énergie, large échelle, etc). D'autres propositions prennent en compte ces aspects, mais ne permettent pas de garantir des bornes temporelles. D'autre part, les applications critiques nécessitent un niveau de confiance très élevé, dans ce contexte les tests et simulations ne suffisent pas, il faut être capable de fournir des preuves formelles du respect des spécifications. A notre connaissance cet aspect est très peu étudié pour les RcsF. Nos contributions sont donc de deux types : * Nous proposons un protocole de remontée d'alarmes, en temps borné, X-layer (MAC/routage, nommé RTXP) basé sur un système de coordonnées virtuelles originales permettant de discriminer le 2-voisinage. L'exploitation de ces coordonnées permet d'introduire du déterminisme et de construire un gradient visant à contraindre le nombre maximum de sauts depuis toute source vers le puits. Nous proposons par ailleurs un mécanisme d'agrégation temps-réel des alarmes remontées pour lutter contre les tempêtes de détection qui entraînent congestion et collision, et donc limitent la fiabilité du système. * Nous proposons une méthodologie de vérification formelle basée sur les techniques de Model Checking. Cette méthodologie se déroule en trois points, qui visent à modéliser de manière efficace la nature diffusante des réseaux sans fil, vérifier les RCsF en prenant en compte la non-fiabilité du lien radio et permettre le passage à l'échelle de la vérification en mixant Network Calculus et Model Checking. Nous appliquons ensuite cette méthodologie pour vérifier RTXP. / Wireless Sensor Networks (WSNs) are ad hoc wireless large scale networks deployed in order to monitor physical parameters of the environment and report the measurements to one or more nodes of the network (called sinks). The small electronic devices which compose the network have low computing and memory capacities and run on batteries, researches in this field have thus focused mostly on self-organization and energy consumption reduction aspects. Nevertheless, critical applications for WSNs are emerging and require more than those aspects, they have real-time and reliability requirements. Critical applications are applications on which depend human lives and the environment, a failure of a critical application can thus have dramatic consequences. We are especially interested in anomaly detection applications (forest fire detection, landslide detection, intrusion detection, etc), which require bounded end to end delays and high delivery ratio. Few WSNs protocols of the literature allow to bound end to end delays. Among the proposed solutions, some allow to effectively bound the end to end delays, but do not take into account the characteristics of WSNs (limited energy, large scale, etc). Others, take into account those aspects, but do not give strict guaranties on the end to end delays. Moreover, critical applications require a very high confidence level, simulations and tests are not sufficient in this context, formal proofs of compliance with the specifications of the application have to be provided. The application of formal methods to WSNs is still an open problem. Our contributions are thus twofold : * We propose a real-time cross-layer protocol for WSNs (named RTXP) based on a virtual coordinate system which allows to discriminate nodes in a 2-hop neighborhood. Thanks to these coordinates it is possible to introduce determinism in the accesses to the medium and to bound the hop-count, this allows to bound the end to end delay. Besides, we propose a real-time aggregation scheme to mitigate the alarm storm problem which causes collisions and congestion and thus limit the network lifetime. * We propose a formal verification methodology based on the Model Checking technique. This methodology is composed of three elements, (1) an efficient modeling of the broadcast nature of wireless networks, (2) a verification technique which takes into account the unreliability of the wireless link and (3) a verification technique which mixes Network Calculus and Model Checking in order to be both scalable and exhaustive. We apply this methodology in order to formally verify our proposition, RTXP.