This study sets out to investigate the connection between digitally achieved traceability and the production personnel's view of traceability. The results presents a number of factors to consider when designing traceability solutions in a manufacturing setting. The study was conducted in a qualitative manner, with the main data collection done through interviews. The results show that the production worker's stand point towards traceability is based on three factors: performance measurement, surveillance, and increased workload. Each of these factors should be taken in to consideration when designing traceability solutions. These factors, and suggestions for how to work with them, is put into the context of a steel manufacturer that is in the process of implementing traceability in their production process.

A large number of software projects exist and will continue to be developed that have textual requirements and textual design elements where the design elements should fully satisfy the requirements. Current techniques to assess the satisfaction of requirements by corresponding design elements are largely manual processes that lack formal criteria and standard practices. Software projects that require satisfaction assessment are often very large systems containing several hundred requirements and design elements. Often these projects are within a high assurance project domain, where human lives and millions of dollars of funding are at stake. Manual satisfaction assessment is expensive in terms of hours of human effort and project budget. Automated techniques are not currently applied to satisfaction assessment. This dissertation addresses the problem of automated satisfaction assessment for English, textual documents and the generation of candidate satisfaction assessments that can then be verified by a human analyst with far less effort and time expenditure than is required to produce a manual satisfaction assessment. Validation results to date show that automated satisfaction methods produce candidate satisfaction assessments sufficient to greatly reduce the effort required to assess the satisfaction of textual requirements by textual design elements.

Diagrams are increasingly used in many design methods, and are being taught in a variety of contexts in higher education such as database conceptual design or software design in computer science. They are an important part of many assessments. Currently computer aided assessments are widely used for multiple choice questions. They lack the ability to assess a student's knowledge in a more comprehensive way, which is required for diagram-type student work. The aim of this research is to develop a semi-automatic assessment framework, which enables the use of computer to support the assessment process of diagrammatic solutions, with the focus of ensuring the consistency of grades and feedback on solutions. A novel trace model, that captures design traces of student solutions, was developed as a part of the framework and was used to provide the matching criteria for grouping the solutions. A new marking style, partial marking, was developed to mark these solution groups manually. The Case-Based Reasoning method is utilised in the framework to mark some of the groups automatically. A guideline for scenario writing was proposed to increase the efficiency of automatic marking. A prototype diagram editor, a marking tool and scenario writing environment were implemented for the proposed framework in order to demonstrate proof of concept. The results of experiments show that the framework is feasible to use in the formative assessment and it provides consistent marking and personalised feedback to the students. The framework also has the potential to significantly reduce the time and effort required by the examiner to mark student diagrams. Although the constructed framework was specifically used for the assessment of database diagrams, the framework is generic enough to be used for other types of graph-based diagram.

The thesis examines two related combinatorial objects, namely fingerprinting codes and separating hash families. Fingerprinting codes are combinatorial objects that have been studied for more than 15 years due to their applications in digital data copyright protection and their combinatorial interest. Four well-known types of fingerprinting codes are studied in this thesis; traceability, identifiable parent property, secure frameproof and frameproof. Each type of code is named after the security properties it guarantees. However, the power of these four types of fingerprinting codes is limited by a certain condition. The first known attempt to go beyond that came out in the concept of two-level traceability codes, introduced by Anthapadmanabhan and Barg (2009). This thesis extends their work to the other three types of fingerprinting codes, so in this thesis four types of two-level fingerprinting codes are defined. In addition, the relationships between the different types of codes are studied. We propose some first explicit non-trivial con- structions for two-level fingerprinting codes and provide some bounds on the size of these codes. Separating hash families were introduced by Stinson, van Trung, and Wei as a tool for creating an explicit construction for frameproof codes in 1998. In this thesis, we state a new definition of separating hash families, and mainly focus on improving previously known bounds for separating hash families in some special cases that related to fingerprinting codes. We improve upper bounds on the size of frameproof and secure frameproof codes under the language of separating hash families.

Healthcare is an important arena for improvement and innovation by the use of e-health solutions. But many obstacles exist, such as insufficiency in interoperability and usability. One reason for this problematic situation is that the development process has been inadequate. Swedish healthcare serves under regulations for public procurement. Hence, almost every e-health solution has to be procured to prevent an orientation towards illegal direct award of contracts. Specifying requirements that explain what the customer and users needs and why, is one of the most critical parts of that process. The customer gets what asked for, but often the requirements are on a high level of interpretation and not explicit or traceable enough. This prevents interoperability and usability from being a vital part of the prioritizing activity. Today knowledge about requirement processes and traceability is fragmented, and often more based on ideal models than on practical, real life experiences. The aim of this work is therefore to understand how traceability is managed and how it can be improved. I investigate who is most suitable to perform the “traceability activity” and, maybe even more important, the skill needed to fulfil that task. With a practice-based and ethnographical approach several studies have been conducted in different healthcare settings in Sweden, all closely connected to the design- and development process in e-health projects. The research shows that traceability maintains the relation between needs and solutions by providing a reality check for every step in the procurement and development. To accomplish that, requirements must be made explicit and interpretable for different stakeholders. The actors best suited for this “traceability activity” must have a holistic approach and know how to identify needs and relate them to the context. This demands a domain-specific knowledge about the healthcare setting and understanding how the organisation works practically and politically. It is crucial to also be skilled at usability, design, development and procurement. In addition, implementing IT in healthcare cannot be separated from business development. I argue that it is time to update the way healthcare development is managed and by whom. First, healthcare management must pay more attention on usability and the crucial role that healthcare professionals have as change leaders and needfinders to strengthening existing initiatives. Second, the design community must match existing initiatives and roles in healthcare with the designers’ special knowledge to support innovation and design processes.

Les échanges commerciaux s'intensifient et s'étendent à l'ensemble de la planète. Le consommateur est exigeant et sensible à la qualité et à l'origine des produits alimentaires qu'il achète. Devant la difficulté de mettre en place des systèmes documentaires dans les pays d'Afrique sub-saharienne, des nouvelles stratégies de traçabilité émergent. Parmi les nouveaux moyens de tracer les produits d'origine végétale, l'idée de créer un « code barre biologique » basé sur l'analyse des ADN de microorganismes présents sur les fruits est une piste intéressante. Cette thèse est l'objet d'étude d'un WP dirigé par D. Montet obtenu dans le cadre du projet Inco Innovkar géré par JM Bouvet de l'UR 39. Cette méthode repose sur l'hypothèse que la microflore commensale du fruit de karité est spécifique entre autre d'une zone géographique de production. L'écologie des bactéries, levures et moisissures seront étudiées par le thésard sur le karité et le Physalis, une plante à fruit de la même zone géographique à fort potentiel commercial. L'analyse biochimique des fruits ainsi que l'activité antimicrobienne de certaines molécules sera étudiée (physaline). / Trade intensified and spread to the entire planet. The consumer is demanding and sensitive to the quality and origin of food products they buy. Given the difficulty of setting up documentation systems in countries in sub-Saharan Africa, new strategies are emerging traceability. Among the new means of tracing products of plant origin, the idea of creating a "biological bar code" based on the analysis of DNA of microorganisms on fruit is an interesting idea. This thesis is the subject of a study conducted by D. Montet WP obtained under the Inco project managed by JM Bouvet Innovkar of UR 39. This method assumes that the commensally microflora of the fruit of Shea is among other a specific geographical area of production. The ecology of bacteria, yeasts and molds will be reviewed by the PhD student on Shea butter and Physalis, a plant with fruit of the same geographical area with high commercial potential. Biochemical analysis of fruit and antimic robial activity of certain molecules will be studied (physaline).

Fringe projection is a commonly used optical technique for measuring the shapes of objects with dimensions of up to about 1 m across. There are however many instances in the aerospace and automotive industries where it would be desirable to extend the benefits of the technique (e.g., high temporal and spatial sampling rates, non-contacting measurements) to much larger measurement volumes. This thesis describes a process that has been developed to allow the creation of a large global measurement volume from two or more independent shape measurement systems. A new 3-D large volume calibration artefact, together with a hexapod positioning stage, have been designed and manufactured to allow calibration of volumes of up to 3 x 1 x 1 m3. The artefact was built from carbon fibre composite tubes, chrome steel spheres, and mild steel end caps with rare earth rod magnets. The major advantage over other commonly used artefacts is the dimensionally stable relationship between features spanning multiple individual measurement volumes, thereby allowing calibration of several scanners within a global coordinate system, even when they have non-overlapping fields of view. The calibration artefact is modular, providing the scalability needed to address still larger measurement volumes and volumes of different geometries. Both it and the translation stage are easy to transport and to assemble on site. The artefact also provides traceabitity for calibration through independent measurements on a mechanical CMM. The dimensions of the assembled artefact have been found to be consistent with those of the individual tube lengths, demonstrating that gravitational distortion corrections are not needed for the artefact size considered here. Deformations due to thermal and hygral effects have also been experimentally quantified. The thesis describes the complete calibration procedure: large volume calibration artefact design, manufacture and testing; initial estimation of the sensor geometry parameters; processing of the calibration data from manually selected regions-of-interest (ROI) of the artefact features; artefact pose estimation; automated control point selection, and finally bundle adjustment. An accuracy of one part in 17 000 of the global measurement volume diagonal was achieved and verified.

Le domaine extrêmement sensible de la production de services aux personnes est fortement dynamisé par de puissantes associations qui administrent des établissements et services professionnels avec une efficacité reconnue. Pour autant, la puissance publique qui finance très largement ces établissements a engagé par la voie réglementaire une dynamique de modernisation organisationnelle qui implique une évolution extrêmement sensible des pratiques, des conceptions, des logiques d’action collective, des métiers et professions, et des formes organisationnelles. Cette évolution, inscrite dans l’ordonnance du 24 avril 1996 pour le secteur sanitaire et la loi du 2 janvier 2002 pour le secteur médico-social, suppose que ce secteur professionnel soit capable d’imaginer des solutions innovantes, notamment pour l’évaluation des processus professionnels et l’amélioration continue de la qualité des services. Dans un contexte de crise générale des modalités de management des ressources, les innovations organisationnelles sont imaginées dans des logiques d’autonomie au travail et de traçabilité. Les problèmes de communication et de recompositions organisationnelles, d’écriture et de langages professionnels, et autres particularités micro-culturelles sont analysées dans le cadre d’une observation-participante afin de comprendre les mutations professionnelles. à l’oeuvre depuis la loi du 2 janvier 2002 et l’ordonnance du 24 avril 1996 / The highly sensitive domain of services delivery to persons is mostly under the command of powerful NGO’s managing institutions and professional services with high efficiency. Meanwhile, the state which is the main financial source of these institutions has initiated through regulations a movement of organizational modernization which leads to extremely controversial changes in interventions, in representations, in strategies of collective actions, among trades and professions as well as in organizational structures. This development, present in the regulation of April 24, 1996, for the health domain, and the law of January 2nd, 2002, for the medico-social domain, implies that the professional domain be able to formulate innovative solutions, especially with regard to the evaluation of professional actions, and to the on-going improvement of the quality of services. In a context of a global crisis concerning the ways of managing resources, organizational innovations are conceived according to an approach centering on work autonomy and follow-up. Problems of communication and organization overhaul, of professional discourses and stylistics, and other mini-cultural issues are analyzed through a method of participant-observation in order to understand professional mutations taking place since the law of January 2nd, 2002, and of the regulation of April 24th, 1996

En médecine, le diagnostic est la démarche par laquelle le médecin, généraliste ou spécialiste vadéterminer l’affection dont souffre le patient, et qui va permettre de proposer un traitement. Il reposesur la recherche des causes (pathologie) et des effets (symptômes) de l’affection. Un diagnosticmédical efficace doit aujourd’hui int égrer des analyses multidisciplinaires tant au niveau des donnéesque des experts: et compte tenu de la r épartition géographique (par exemple de la désertificationm´ edicale), il peut être compliqué de réunir au même endroit les experts.L’ évolution des technologies de communication, en particulier Internet, a ouvert de nouvelles possibilités dans le domaine des applications collaboratives à distance et tout particulièrement celuidu t élé-diagnostic médical : par exemple un panel d’experts distants se réunit virtuellement parl’intermédiaire d’une salle d’examen virtuelle qui favorisera la collaboration afin de coproduire undiagnostic. Mais dans le domaine de la médecine, l’aspect médico-l égal est crucial, et il a freinéledéveloppement de ces pratiques à distances.Dans ce contexte, nous avons développé une plateforme appelée COOVADIS (COllabOrative VAscularDIagnoSis) qui permet la traçabilité dans de telles applications en s’appuyant sur trois ontologiesoriginales (ontologie de la pathologie, ontologie du diagnostic et ontologie de traçabilité). Cette plateformed’aide `a la collaboration entre professionnels de santé à été implémentée en mode SaaS(Software as a Service) sous la forme d’un serveur Web, et validé d’un point de vue théorique et clinique. / In medicine, physicians (general practitioner or specialist) realize a diagnosis to determine patients’disease and propose an adapted treatment. This diagnosis is based on research of causes (pathologies)and effects (symptoms) of affection. Today, to realize an effective medical diagnosis, it isimportant to realize a multidisciplinary analysis at a data level. But it is also important to make worktogether experts from different domains. A problem can happen if these experts do not work in thesame place. Thus, how is it possible to ease the way to collaborate together?With evolutions of communication technologies and more particularly Internet, it is easier to developremote collaborative applications. One of the fields covered by theses applications is telemedicineand telediagnosis. Thus, a remote panel of experts can meet together virtually through a virtual roomto ease diagnosis collaboration and co-production. Despite everything, forensic aspects slowed downdevelopment of remote practices due to privacy and personal information sharing.In this context, we developed a platform called COOVADIS (COllabOrative VAscular DIagnoSis) thatenables traceability in such applications based on three original ontologies (pathologies ontology,diagnosis ontology and traceability ontology). This framework was implemented in SaaS (Softwareas a Service) as a web server, to support the collaborative work between health professionals. It wasalso validated from a theoretical and clinical point of view.

Ces travaux de thèse, menés dans le cadre du projet FUI Traçaverre, visent à optimiser le rappel pour un processus qui n'est pas de type batch avec une traçabilité unitaire des articles produits. L'objectif étant de minimiser le nombre d'articles rappelés tout en s'assurant que tous les articles avec défaut sont rappelés. Pour cela, nous avons proposé un processus de rappel efficient qui intègre, d'une part, les possibilités offertes par la traçabilité unitaire et, d'autre part, utilise une fonction de diagnostic devenue indispensable avant le rappel effectif des produits. Dans le cas des systèmes industriels complexes pour lesquels l'expertise humaine est insuffisante et dont nous n'avons pas de modèle physique, la traçabilité unitaire offre une possibilité pour mieux comprendre et analyser le procédé de fabrication par une reconstitution de la vie du produit à travers les données de traçabilité. Le couplage des données de traçabilité unitaire produit/process représente une source potentielle de connaissance à mettre en oeuvre et à exploiter. Ces travaux de thèse proposent un modèle de données pour le couplage de ces données. Ce modèle de données est basé sur deux standards, l'un dédié à la production et l'autre portant sur la traçabilité. Après l'identification et l'intégration des données nécessaires, nous avons développé une fonction de diagnostic à base de données. La construction de cette fonction diagnostic a été réalisée par apprentissage et comprend l'intégration des connaissances sur le système pour réduire la complexité de l'algorithme d'apprentissage. Dans le processus de rappel proposé, lorsque l'équipement à l'origine du défaut nécessitant le rappel est identifié, l'état de santé de cet équipement au voisinage de l'instant de fabrication du produit contrôlé défectueux est évalué afin d'identifier les autres produits susceptibles de présenter le même défaut. L'approche globale proposée est appliquée à deux études de cas. La première étude a concerné l'industrie verrière. Le second cas d'application a porté sur le process benchmark Tennessee Eastman / This thesis, which is part of the Traçaverre Project, aims to optimize the recall when the production process is not batch type with a unit traceability of produced items. The objective is to minimize the number of recalled items while ensuring that all items with defect are recalled. We propose an efficient recall procedure that incorporates possibilities offered by the unitary traceability and uses a diagnostic function. For complex industrial systems for which human expertise is not sufficient and for which we do not have a physical model, the unitary traceability provides opportunities to better understand and analyse the manufacturing process by a re-enactment of the life of the product through the traceability data. The integration of product and process unitary traceability data represents a potential source of knowledge to be implemented and operate. This thesis propose a data model for the coupling of these data. This data model is based on two standards, one dedicated to the production and the other dealing with the traceability. We developed a diagnostic function based on data after having identified and integrated the necessary data. The construction of this diagnosis function was performed by a learning approach and comprises the integration of knowledge on the system to reduce the complexity of the learning algorithm. In the proposed recall procedure, when the equipment causing the fault is identified, the health status of this equipment in the neighbourhood of the manufacturing time of the defective product is evaluated in order to identify other products likely to present the same defect. The global proposed approach was applied to two case studies. The first study focuses on the glass industry. The second case of application deals with the benchmark Tennessee Eastman process