Ce document résume mon activité de recherche depuis 1991. Elle a porté sur deux thématiques connexes : la modélisation et la validation de langages métier de l'automatisme et le contrôle à distance de systèmes mécaniques sur des réseaux de communication non fiables. Le premier axe de recherche portait plus précisément sur la définition formelle des langages classiques de l'automatisme (langage à relais et Grafcet) à l'aide des formalismes synchrones tels que Signal ou Lustre. L'intérêt d'un tel travail était de pouvoir exprimer les différentes interprétations possibles d'un même programme afin de pouvoir les comparer ; les environnements développés autour des formalismes synchrones permettant alors la réalisation directe de simulateurs ainsi que l'ouverture vers des outils autorisant la validation des programmes. Dans ce dernier domaine, différentes pistes ont été étudiées avant de retenir une modélisation à l'aide d'automates temporisés permettant alors l'expression de propriétés temporelles sur les programmes modélisés. Le deuxième axe de travail avait et a pour objectif d'étudier la faisabilité de l'introduction des nouvelles technologies, et en particulier des technologies réseau, dans le contrôle supervisé de systèmes mécaniques. Le réseau est ici vu comme un réseau sans qualité de service, de type Internet, alors que l'une des préoccupations majeures des automaticiens est d'assurer une sécurité maximale. Dans un premier temps, nous avons proposé une architecture logicielle permettant la communication entre l'opérateur et le système à contrôler. Basée sur un noyau de services complété par des pilotes spécifiques aux applications cibles, elle est facilement extensible. Pour prendre en compte les aléas réseau, la méthodologie Gemma, utilisée en ingéniérie des automatismes, a été étendue afin d'intégrer des informations en provenance d'un capteur réseau. Ce dernier permet d'estimer la qualité de la connexion d'un bout à l'autre du système de communication et doit être pris en compte automatiquement, et en permanence, par le système afin d'assurer la sécurité du contrôle supervisé. Bien que différentes, ces deux thématiques se rejoignent sur de nombreux points : --- Le domaine d'application, c'est à dire le contrôle de systèmes en environnement de production industriel. D'un côté, on a cherché à assurer une meilleure qualité, de la spécification à l'implantation en passant par la vérification des applications. De l'autre en proposant l'utilisation des nouvelles technologies de communication pour améliorer la productivité globale de l'entreprise. --- L'utilisation et l'introduction des méthodes et des outils de l'informaticien auprès de la communauté des automaticiens. Dans mon premier domaine de recherche, par l'intermédiaire du monde dit "synchrone" et dans le deuxième par la mise en oeuvre des technologies autour de l'Internet. Dans les deux cas, les technologies informatiques se sont placées au service d'autres disciplines tout en essayant de faire ressortir les points difficiles et de proposer des solutions innovantes. --- Le souci permanent de construire des applications sûres et de valider, si possible de manière formelle, les résultats obtenus. Cet aspect est surtout visible dans le cadre de la première activité de recherche, mais des travaux, non encore achevés, ont également porté sur la validation de l'architecture logicielle proposée pour le contrôle à distance. Ils sont directement issus des connaissances et de l'expérience acquises dans le premier thème.

The thesis is studying an influence of the reflection on implementing support service in distance for patients dealing with diabetes mellitus. This new type of a service aims to support patients with this chronical illness to achieve and maintain satisfactory compensation of diabetes. Number of the people dealing with diabetes mellitus is increasing every year and there is a permanent development and ongoing modernization in methods of treating this disease. Because the basis of diabetes treatment is regular self-monitoring of patients, the disease offers the possibility of sharing and monitoring the data by another side to provide support in the period between doctor visits. The service described in thesis is based on a distance monitoring of data collected by patients and consists in a regular phone calls between a patient and a service worker that should serve as a support of the patient to achieve and then maintain his individual goals set by his endocrinologist. The objective of the thesis is to managerially implement this new support service in distance into a practice and research the role reflection plays in all the process - whether there exists any reflection, when it appears, how reflection influences the formation and working of the whole service of distance support, and how workers of...

The main purpose of the study was to design, develop, deliver and evaluate a new distance web design course for the needs of students in a vocational higher education institution. Proactive action research was used as a framework during the research process. This research focused on the analysis of the existing face-to-face course to mitigate its problems in the new design. Then, accomplishments and insufficiencies of the new design in the new context were investigated. For this study, data were collected in two different semesters, in a vocational higher education institution. In the first semester, an existing course was investigated to see the problems and the needs. The results revealed that there were problems associated with &ldquo / motivational&rdquo / , &ldquo / interactional&rdquo / , &ldquo / instructional activities&rdquo / , &ldquo / support materials&rdquo / , &ldquo / up-to-date content&rdquo / , &ldquo / technologic&rdquo / , and &ldquo / non-technologic&rdquo / aspects of the existing course. Before the delivery of the new distance course in the second semester, it was completely redesigned with the new characteristics to mitigate some of the predetermined problems of the existing course. In this new structure, an instructor from Ankara gave the course via smart class to this vocational institution located in another city. In the second semester, data were collected to understand what the accomplishments of the new course, and what aspects of the new course needed to be modified. To triangulate qualitative findings, two questionnaire were conducted to see the students&rsquo / attitude towards web-based instruction and students&rsquo / perceptions about learning environment. With the findings of these data collection procedures, the accomplishments of the new design can be categorized in five main headings. These are &ldquo / working with an experienced instructor&rdquo / , &ldquo / extended learning opportunities&rdquo / , &ldquo / increased future expectations of students&rdquo / , &ldquo / fulfilled software requirements&rdquo / , and &ldquo / applicability of a distance vocational course&rdquo / . On the other hand, in the new structure of the course, new problems emerged such as &ldquo / course delivery problems&rdquo / and &ldquo / students&rsquo / readiness&rdquo / , because technology use in education sometimes comes with its unique problems including the solutions. Those accomplishments and insufficiencies points of the new design would be helpful in the new distance course design projects.