To see the other types of publications on this topic, follow the link: Traceabilita.
Dissertations / Theses on the topic 'Traceabilita'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Traceabilita.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Byrtusová, Lucie. "Modul trasování šarží pro systém SCADA vprocesní výrobě." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2021. http://www.nusl.cz/ntk/nusl-442451.
Full textAbstract:
The master thesis is focused on implementing a module for batch traceability into the existing SCADA system MagmaView. First, the theoretical part is dedicated to the research of ANSI/ISA-95 standard and traceability problematics in the process industry. First, the practical part analyses the design of the data model and model for user interaction. The next topic is the implementation of the mentioned models using several software tools such as the graphical environment of MagmaView, Groovy scripting, and communication with SQL database. Part of the implementation is also a testing project simulating a simple production process and the needs of the operator to work with the batches.
2
Macourková, Kateřina. "Traceability (vysledovatelnost původu) v segmentu potravin." Master's thesis, Vysoká škola ekonomická v Praze, 2008. http://www.nusl.cz/ntk/nusl-4226.
Full textAbstract:
The target of this master thesis is to map situation of food traceabilty in European Union and in the Czech Republic, document food traceability systems and its echo testing. International and Word organizations which focus on traceabilty and the system of control cannot be left out of consideration .
3
Raja, Uzair Akbar, and Kashif Kamran. "Framework for Requirements Traceability." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3416.
Full textAbstract:
Requirements traceability provides support for many software engineering activities like impact analysis, requirements validation and regression testing. In addition requirements traceability is the recognized component of many software process improvement initiatives. Requirements traceability also helps to control and manage evolution of a software system. This thesis presents a systematic review and a framework for requirements traceability. The systematic review is aimed at presenting fair evaluation of research concerning requirements traceability over the period 1997 – 2007. The systematic review aims at identifying probable gaps in research about requirements traceability and opens new horizons to explore. Moreover, two companies have been interviewed to understand the practice of requirements traceability in industry. After the analysis of industrial interviews these companies have been classified into two categories of traceability users. These categories are high-end traceability users and low-end traceability users. Based on the analysis of systematic review results and industrial interviews, this thesis presents a framework for requirements traceability called ‘Three Level Framework for Requirements Traceability (TLFRT)’. This framework is composed of three levels. The level 0 of this framework focuses on pre-RS traceability where as level 1 and level 2 focuses on post-RS traceability. The level 1 provide traceability for the functional requirements, where as level 2 provide traceability for non-functional requirements. TLFRT provides guidelines to a process that can be tailored to fit the needs of the high-end traceability users and low-end traceability users as well. This framework has been statically validated in two companies. The validation of TLFRT in industry resulted in compilation of lessons learned, which ensures that this theoretical framework could also be used in real industrial environment. The results of the research presented in this thesis are aimed at supporting requirements traceability by taking its current issues/challenges into account.0046(0)707381947
4
Bergström, William, and Florian Haas. "Supply Chain Traceability : A framework for a future traceability system in the electrification industry." Thesis, KTH, Industriell produktion, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-278056.
Full textAbstract:
Society's demand for supply chain traceability is increasing. The need for traceability has been prevalent in food and pharmaceuticals for quite some time. However, the demand for traceability is now spreading to other industries, for instance, the electrification industry. This thesis aims to establish a traceability system framework for an electrification company that strives to have sustainable products of a specific origin. The framework must satisfy both the company's mission and existing legislation. Furthermore, both sustainability and having a supply chain of a specific origin is something that the food and pharmaceutical industries have used traceability systems to verify. The electrification industry could implement traceability systems similar to those in other industries. Therefore, the suggested traceability system framework is based on a literature review from other industries. The framework is also based on stakeholder analysis and a value tree analysis. The result is a framework presented through data flow and entity-relationship models. The suggested traceability system tracks data from customer RFQ and the most upstream sub-supplier to the end-of-life of the product. The result is a system that can verify the company's sustainability, quality, and the specific origin of the supply chain while complying with existing legislation.Samhällets efterfrågan av spårbarhet inom värdekedjor ökar. Behovet för spårbarhet har varit stort inom livsmedels- och läkemedelsindustrin under en längre tid. Nu börjar spårbarhet även bli relevant för andra industrier, till exempel, elektrifieringsindustrin. Uppsatsen syftar till att etablera ett ramverk för ett spårbarhetssystem för ett elektrifieringsbolag som strävar mot att leverera hållbara europeiska produkter. Ramverket måste tillfredsställa både bolagets affärsmodell och den lagstiftning som finns för spårbarhet som angår bolaget. Ytterligare, både hållbarhet och att ha en värdekedja med aktörer från ett visst område, är något som livsmedels- och läkemedelsindustrin har använt spårbarhet för att verifiera. Därför bör elektrifieringsindustrin anamma de lärdomar inom spårbarhet som finns i andra industrier. Således är spårbarhetssystemets ramverk baserat på litteraturstudier från andra industrier. Ramverket är också ett resultat av en intressentanalys och en multi-kriteriers beslutsmetod. Resultatet är ett ramverk som presenteras genom en dataflödesmodell och en enhetsrelationsmodell. Det föreslagna spårbarhetssystemet spårar data från kundens offertfråga och den första underleverantören i kedjan tills slutet av produktens liv. Detta resulterar i ett system som kan försäkra bolagets hållbarhet, kvalitet, och dess värdekedjas specifika ursprung, samt följa existerande lagstiftning.
5
Norvoll, Gyrd. "Quantification and Traceability of Requirements." Thesis, Norwegian University of Science and Technology, Department of Computer and Information Science, 2007. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-8723.
Full textAbstract:
Software development is a highly dynamic process, primarily caused by its foundation in the dynamic human world. Requirements traceability alleviates the detrimental effects of this dynamism by providing increased control over the artifacts of the software development processes and their interrelationships. This thesis investigates how an RT tool should be designed and implemented in order to assist with the tasks of requirements traceability, and outlines a tool that primarily focuses on reducing the work overhead associated with the tasks of implementing requirements traceability in software development projects. Preparatory to the development of the RT tool, the applicability of the traceability models presented in the in-depth study has been confirmed through empirical work. A detailed representation of the models has been compiled, elaborating on the internal representation of artifacts and traces. The models were extended to be able to represent organisational hierarchies, enabling trace information analysis to deduce the context of important decisions throughout the software development processes, an important tool in understanding how requirements are determined. The thesis presents a requirements specification and architecture with a firm foundation in the findings of the in-depth study, outlining an RT tool that addresses important issues concerning the implementation of requirements traceability, in particular focusing on reducing the associated work overhead. Based on the requirements specification and architecture, a evolutionary prototype is developed, giving its users an impression of the functionality of the outlined RT tool. The prototype addresses the issues pointed out by the requirements specification and architectural description, and, throughout development, attention is given the evolvability of the prototype. Consequently, the prototype provides a good foundation for the future development of a complete RT tool.
6
Clayton, Richard. "Anonymity and traceability in cyberspace." Thesis, University of Cambridge, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.444742.
Full text
7
Oghazi, Pejman. "Traceability in continuous grinding circuits /." Luleå : Division of Mineral Processing, Department of Chemical Engineering and Geosciences, Luleå University of Technology, 2008. http://epubl.ltu.se/1402-1757/2008/34/.
Full text
8
Ferreira, Denzil Sócrates Teixeira. "Meta, tracer - MOF with traceability." Master's thesis, Universidade da Madeira, 2009. http://hdl.handle.net/10400.13/80.
Full textAbstract:
The following document proposes a traceability solution for model-driven development. There as been already previous work done in this area, but so far there has not been yet any standardized way for
exchanging traceability information, thus the goal of this project developed and documented here is not to automatize the traceability process but to provide an approach to achieve traceability that follows OMG standards, making traceability information exchangeable between tools that follow the same standards. As such, we propose a traceability meta-model as an extension of MetaObject Facility (MOF)1. Using MetaSketch2 modeling language workbench, we present a modeling language for traceability information.
This traceability information then can be used for tool cooperation. Using Meta.Tracer (our tool developed for this thesis), we enable the users to establish traceability relationships between different traceability
elements and offer a visualization for the traceability information. We then demonstrate the benefits of using a traceability tool on a software development life cycle using a case study. We finalize by
commenting on the work developed.Orientador: Leonel Nóbrega
9
Gotel, Orlena Cara Zena. "Contribution structures for requirements traceability." Thesis, Imperial College London, 1995. http://hdl.handle.net/10044/1/8562.
Full text
10
Azevedo, Pedro Ricardo Granjo de. "Supply chain traceability using blockchain." Master's thesis, Instituto Superior de Economia e Gestão, 2019. http://hdl.handle.net/10400.5/18927.
Full textAbstract:
Mestrado em Gestão MBARastreabilidade é a capacidade de rastrear a origem, a história e a distribuição de produtos numa cadeia logística. Para implementar rastreabilidade completa, é crucial estabelecer uma cadeia de custódia, normalmente definida como uma sequência de procedimentos que valida a propriedade e o controle de produtos ao longo da cadeia de logística. No mercado atual globalizado, as cadeias de logística podem abranger um grande número de países e fronteiras e exigir a interoperabilidade de numerosas organizações. Esta vastidão e complexidade impacta a competitividade dos negócios e dificulta a segurança, e a transparência da cadeia de logística. A implementação da rastreabilidade é fundamental para que as organizações possam posteriormente demonstrar a rastreabilidade, proveniência e integridade e conformidade do produto. A tecnologia Blockchain, com os seus atributos de descentralização, transparência e imutabilidade, tem sido apontada como destinada a revolucionar vários setores, com aplicação ao gerenciamento de cadeias de logística. O presente estudo começa pela revisão da literatura publicada para encontrar aspetos que influenciam o problema e segue a Metodologia de Pesquisa de Projeto para analisar os requisitos e propor uma solução para um sistema de gestão de cadeia de logística com melhor rastreabilidade. Os resultados da tese são artefactos de arquitetura, incluindo um contracto inteligente para Ethereum e um sistema de autenticação baseado em certificados, que permitem a implementação de um sistema de cadeia de logística suportado em Ethereum Blockchain que providencia aos seus utilizadores e ao consumidor final, as funcionalidades de proveniência, rastreabilidade e cadeia de custódia.
Traceability is the ability to trace the origin, processing history, and the distribution of products in a Supply chain. In order to implement a complete traceability system, it is crucial to establish a chain of custody. Chain of Custody is typically defined as a sequence of procedures that validates the ownership and control of products along the supply chain. In the current global marketplace supply chains can span a huge number of countries and require interoperation of a multitude of organizations. This vastness of supply chains impacts business competitiveness since it adds complexity and can difficult securing traceability, chain of custody and transparency. In this work it is proposed a complete approach for organizations to be able to demonstrate traceability, provenance (proof of origin) and product integrity and compliance. Blockchain technology with its attributes of decentralization, transparency and immutability has been touted to revolutionize several industries, and most recently has been proposed for supply chain management (SCM). The present study reviews the published literature to find the aspects that influence the problem and then follows the Design Science Research Methodology to analyze the requirements and propose a solution to a more complete traceability in SCMs. The results of this thesis were architectural artifacts, including an Ethereum SC (Smart Contract) and a certificate-based authentication system. These deliverables would allow implementation of a supply chain system over the Ethereum Blockchain that can provide decentralized and trustful assurance of the provenance, chain of custody and traceability functionalities for the participants and consumers.
info:eu-repo/semantics/publishedVersion
11
Gemesi, Hafize Gunsu. "Food traceability information modeling and data exchange and GIS based farm traceability model design and application." [Ames, Iowa : Iowa State University], 2010. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:1476294.
Full text
12
Ahmadov, Vugar. "Choice of a traceability strategy for U.S. seafood market enhancement : traceability as a signal of quality." Online access for everyone, 2006. http://www.dissertations.wsu.edu/Thesis/Fall2006/v_ahmadov_112906.pdf.
Full text
13
Grunning, Lisa. "HOW TO ACHIEVE AND ENHANCE TRACEABILITY : A study about how traceability could beimproved within manufacturing processes." Thesis, KTH, Maskinkonstruktion (Avd.), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-251927.
Full textAbstract:
The trends for manufacturing organizations are continuously increased customer expectations and demands, together with globalization of both markets and competition. As we are currently approaching the fourth industrial revolution and in order to stay competitive, companies need to adopt technological changes, differentiate themselves and improve their digital maturity. In line with this, Atlas Copco Secoroc, a Swedish manufacturing company of mining equipment and tools, has shared a divisional vision stating that they will embrace the Internet of Things and introduce some of the latest technological and digital trends. This in turn, sets some requirements on a functional traceability system. This research investigates how traceability could be improved throughout Atlas Copco Secoroc’s production chain and manufacturing processes. This research is based on an empirical study consisting of observations and interviews, all conducted at the company Atlas Copco Secoroc in Fagersta, Sweden, as well as a coherent and iterative literature review. The results emphasize the importance of understanding the overall need, clearly defining a traceability strategy and setting a suitable target level. It is vital to acquire knowledge regarding the subject and to first focus on securing the internal traceability and then expand to cover the entire supply chain. Furthermore, the findings highlight existing shortcomings, present material and recommendations that should be taken into consideration before advancing further and in-dicate the synergies with total quality management. Moreover, the master thesis resulted in concrete actions regarding how Atlas Copco Secoroc can enhance traceability within their manufacturing processes. Due to confidential information these recommendations are shown to Atlas Copco only and are not included in the published master thesis.Trenderna för tillverkande företag är ständigt ökade kundkrav och förväntningar, tillsammans med globalisering av både marknader och konkurrens. För att vara fortsatt konkurrenskraftig när vi nu närmar oss den fjärde industrirevolutionen måste företagen adaptera tekniska förändringar, differentiera sig och förbättra den digitala mognaden. I linje med detta har Atlas Copco Secoroc, ett svenskt industriföretag som tillverkar gruvutrustning och verktyg, delat en divis-ionsvision som säger att de kommer att omfamna Internet of Things och introducera några av de senaste tekniska och digitala trenderna. Detta ställer i sin tur vissa krav på ett funktionellt spårbarhetssystem. Denna studie undersöker hur spårbarheten kan förbättras genom Atlas Copco Secorocs produktionskedja och tillhörande tillverkningsprocesser. Detta examensarbete baseras på en empirisk studie utförd hos Atlas Copco Secoroc i Fagersta. Studien bestod av ingående observationer och intervjuer samt en kontinuerlig och iterativ litteraturstudie. Resultaten betonar vikten av att förstå det övergripande behovet, tydligt definiera en spårbarhetsstrategi och sätta en lämplig spårbarhetsnivå. Det är viktigt att förvärva kunskap om ämnet och att först fokusera på att säkra den interna spårbarheten innan arbetet avser täcka hela försörjningskedjan. Vidare lyfter resultaten fram befintliga brister, material och rekommendationer som bör beaktas innan en vidareutveckling kan ske. Studien presenterar även synergierna till konceptet total kvalitetsledning.Slutligen, studien har resulterat i konkreta åtgärder avseende hur Atlas Copco Secoroc kan för-bättra spårbarheten inom sina tillverkningsprocesser. På grund av konfidentiell information presenteras dessa rekommendationer endast för Atlas Copco och ingår inte i det publicerade examensarbetet.
14
Arkley, Paul. "Benefits of traceability in software development." Thesis, University of Newcastle Upon Tyne, 2008. http://hdl.handle.net/10443/2063.
Full textAbstract:
For an engineer to be able to modify successfully a complex computer-based system, he will need to understand the system's functionality. Traceability can help the engineer to gain that understanding, but several surveys have observed that traceability information is poorly recorded. This thesis argues, based on a survey of nine aerospace projects, that one of the main causes of poor recording is that Traceability does not directly benefit the development process. The recording of traceability information is best performed by the engineers directly involved in the development process, yet it is precisely these engineers who seem to obtain no direct benefit in performing this task. This can be summarised as the Traceability Benefit Problem. To overcome this problem the recording of traceability data must provide immediate, tangible benefits to the engineers involved in the current development process. A related problem that occurs in large multi-team projects that follow development processes based on predictive models (such as Waterfall or VModel) is the changing of interface documentation without adequate negotiation (referred to as Throwing the Problem over the Wall). This thesis describes, in detail, how a small automotive sensor project addressed these problems by developing a Requirements Traceability system that enabled the reuse of software and provided a basis for the negotiation of changes with their customer. Analysis of the lessons learnt from the automotive sensor and aerospace projects lead to the definition of the Traceable Development Contract. The contribution of this thesis is the description and discussion of the Traceable Development Contract, a method of coordinating the interaction of related development teams in development process that is based on a predictive development model. The Traceable Development Contract is proposed as a means of controlling the upstream team bias with respect to the imposition of changes, by employing traceability to provide a basis for the negotiation of change. By VI employing traceability in this way, it becomes beneficial to the development engineers and therefore overcomes the Traceability Benefit Problem. Finally, the thesis considers how the Traceable Development Contract traceability information can be exploited further to provide solution maturity and design metrics.
15
Long, David A. "RATM: Requirements analyzer and traceability manager." Master's thesis, This resource online, 1992. http://scholar.lib.vt.edu/theses/available/etd-12162009-020026/.
Full text
16
PINTO, Rosa Candida Cavalcanti. "Improving traceability in agent oriented development." Universidade Federal de Pernambuco, 2008. https://repositorio.ufpe.br/handle/123456789/1505.
Full textAbstract:
Made available in DSpace on 2014-06-12T15:50:44Z (GMT). No. of bitstreams: 2
arquivo1986_1.pdf: 7023849 bytes, checksum: ba0e9dc1eb31198972dbb6ceaf580dba (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2008A engenharia de requisitos argumenta que, para o desenvolvimento de software complexo ser bem sucedido, é necessário que o processo de modelagem suporte mecanismos e ferramentas de rastreamento. Rastreabilidade de requisitos refere-se à habilidade de assegurar um alinhamento contínuo entre requisitos dos stakeholders e às várias saídas do processo de desenvolvimento de software. O processo de rastreamento de requisito descreve e segue a vida dos requisitos nas direções forward e backward (i.e. da sua origem, através do seu desenvolvimento e especificação, para sua subseqüente implementação e uso, e através de todos os períodos de refinamento e interação em qualquer uma dessas fases). Rastreamento de software é executado gerando, representando, armazenando e mantendo relações de rastreabilidade entre os artefatos de software tanto manualmente como automaticamente. Desenvolvedores de softwares têm usado agentes como uma forma de entender, modelar e desenvolver sistemas complexos mais naturalmente. Sistemas multiagentes (SMA) refletem a natureza descentralizada dos modernos sistemas distribuídos, dando suporte a situações dinâmicas e imprevisíveis nas quais se espera que o software opere atualmente, sendo apropriado para sistemas abertos nos quais seus componentes e padrões de interação mudam constantemente. O uso de agentes com uma maior dependência em conhecimento codificado, flexibilidade, adaptabilidade e autonomia, introduz novos desafios ao suporte de rastreamento de requisitos. As capacidades dos agentes e aspectos sociais devem ser consideradas. Uma contribuição neste campo é Tropos, um framework usado para modelar sistemas multiagentes. Ele faz uso das abstrações e conceitos das disciplinas organizacional e social para entender, modelar, analisar e projetar. Assim, Tropos fornece uma maior flexibilidade, e um conjunto de construtores de alto nível para tratar com um mundo operando mais nos princípios sociais do que nas regras mecanicistas. A flexibilidade, a adaptabilidade e a autonomia introduzidas pelos MAS apresentam novos desafios para as abordagens de rastreabilidade atuais. Nós advogamos que um modelo e um processo de rastreamento específico devem ser usados para tratar as necessidades específicas de um SMA de forma satisfatória. Nesta tese, nós propomos um Metamodelo de Rastreamento para facilitar a identificação das novas relações necessárias ao paradigma de agent system, the individual issues of each agent and their social aspects as well as the impact analysis when changes happen. The DBSitter-AS example will be used to illustrate how our proposal captures agent characteristics such as autonomy and cooperation
17
Kelleher, Justin. "New models and patterns for traceability." Doctoral thesis, University of Cape Town, 2008. http://hdl.handle.net/11427/10789.
Full textAbstract:
Includes bibliographical references.Traceability is a critical software engineering practice that manages activities across the product development lifecycle. It is the discipline of getting an entire organisation to work together to build better quality products. Traceability is also about relationships between traceability items, the management of change and requires good communication between personnel on matters that impact the system in any way. At the start of the 21st Century it is evident that there was a proliferation in new traceability research promoting techniques from a number of emerging research communities. However, some researchers still report that there are still many problems, in particular the lack of empirical data from small, medium and large organisations. In this study we address this shortcoming by performing two empirical studies. Firstly, we carry out a four year case study investigating traceability in a large multinational that develops complex enterprise systems. Ericsson's is a world leader in the development of large telecom's systems and is renowned for their mature development processes, tools and highly skilled staff. We examine the state of the art at Ericsson and the factors that influence traceability, paying particular attention to how these factors change during the study and the impact that these changes have on the traceability practices. Secondly, we execute an industrial survey across nineteen corporations to further our understanding of traceability in small and medium sized organisations. Using this empirical data as the major design inputs, we design and test a Traceability Framework consisting of three solution components namely, a TRAceability Model (TRAM), a TRAceability Process (TRAP) and Traceability Patterns. The TRAceability Model (TRAM) consists of semantic models, designed using a layered approach, with each layer presenting traceability semantics from different user perspectives. The TRAceability Process (TRAP) consists of process models also utilising a layered approach but in this case capturing process elements that can be used in the creation of a traceability process in a variety of different contexts. At the lowest layer the models represent the actual traceability situation in a project at Ericsson. While patterns are a widely accepted method for describing best practices and recurring problems in many aspects of software development, they have not been applied to the field of traceability. Structural patterns emerged from the semantic and process models. Furthermore, we utilise a pre-defined pattern template for formalising the findings of the empirical data and communicating the outcomes to different users. The three components together promote better communication, reusability and understandability of traceability concepts and practices.
18
Olsson, David. "Traceability : A key to software success." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik och datavetenskap, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3788.
Full textAbstract:
From one year to another an intuitive feeling has grown stronger. That feeling tells us that poor traceability is the underlying reason for many of the problems that the software industry struggles with today. This thesis was carried out to see if this was true and if so investigate how traceability was related to the problems in today's software industry. In order to do this we have taken two different approaches. The first approach has been to try to establish if there exist support for this claim in existing literature. In the second approach we have tried to do the same thing by performing our own empirical study. Within this empirical study we have interviewed some project managers and some developers in order to find out which problems that are perceived by the software community as the most troublesome ones when it comes to software development. Finally we have created a conceptual framework for increased traceability and then investigated if whether or not this framework could provide a good foundation for tackling the problems identified in literature as well as the problems discovered within the empirical study.
19
Sousa, André Luís Sequeira de. "Traceability support in software product lines." Master's thesis, FCT - UNL, 2008. http://hdl.handle.net/10362/1798.
Full textAbstract:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.Traceability is becoming a necessary quality of any modern software system. The complexity in modern systems is such that, if we cannot rely on good techniques and tools it becomes an unsustainable burden, where software artifacts can hardly be linked to their initial requirements. Modern software systems are composed by a many artifacts (models, code, etc.). Any change in one of them may have repercussions on many components. The assessment of this impact usually comes at a high cost and is highly error-prone. This complexity inherent to software development increases when it comes to Software Product Line Engineering. Traceability aims to respond to this challenge, by linking all the software artifacts that are used, in order to reason about how they influence each others. We propose to specify, design and implement an extensible Traceability Framework that will allow developers to provide traceability for a product line, or the possibility to extend it for other development scenarios. This MSc thesis work is to develop an extensible framework, using Model-Driven techniques and technologies, to provide traceability support for product lines. We also wish to provide basic and advanced traceability queries, and traceability views designed for the needs of each user.
20
Dahlström, Matilda. "Traceability in the Software Industry : A Case Study in Introducing Traceability in a Model-Based Testing Process." Thesis, Linköpings universitet, Programvara och system, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-179403.
Full textAbstract:
Traceability in the software industry is a topic which has been studied for a long time, but there still remain questions to be answered. This thesis looks into the state of software traceability in the software industry is today. It is also a case study in implementing traceability in a model-based testing process at a large automotive company. The thesis finds that while progress has been made in identifying the important aspects of traceability, there does not yet exist a clear consensus on general traceability models which can be used to implement traceability in an arbitrary company or project. Through a case study in implementing traceability in a model-based testing process, the thesis gives one example of how this could potentially be done.
21
Narmanli, Murat. "A Business Rule Approach To Requirements Traceability." Master's thesis, METU, 2010. http://etd.lib.metu.edu.tr/upload/12612399/index.pdf.
Full textAbstract:
In this thesis, a requirements traceability model is proposed in order to make efficient and effective change request impact analysis. The proposed model is a requirements &ndashrequirements traceability model. There are several researches regarding software requirements traceability problem. The main problem of these researches is that the proposed solutions can not be applied to software industry with affordable changes. However, current literature begins to see that describing all the software requirements in a huge black box is not so much applicable to today&rsquo
s more dynamic and bigger software projects, especially regarding change management. The proposed traceability model tries to be a solution to these problems. Change requests and business rules are two important and popular terms for today&rsquo
s software industry. The traceability model consists of three types of software requirements: data definitions, business rules and use cases. The traceability model proposes bidirectional traces between these types. Data definitions, business rules and use cases are related to each other and they all should be seen as parts of a software system which should work together to make the software system work properly. Empirical investigation is made on a real industrial software project. These types were configured in order to match to the project specific needs in a reconfigurable way. Experimental results show that the traceability model has an acceptable degree of correctness.
22
YAMAMOTO, Shuichiro, and Kenji TAKAHASHI. "An Analysis of Traceability in Requirements Documents." Institute of Electronics, Information and Communication Engineers, 1995. http://hdl.handle.net/2237/15018.
Full text
23
Elmqvist, Jonas. "Analysis of Intent Specification and SystemUpgrade Traceability." Thesis, Linköping University, Department of Computer and Information Science, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2108.
Full textAbstract:
The impact of computer programs in safety-critical systems has increased in the past decades and computer-based systems can now be found in a wide range of applications.
A new approach for developing dependable systems is documenting all design rationale that affects safety using Intent Specifications. A recent approach for developing complex systems efficiently and in an upgradeable manner is Component-Based System Engineering. In this thesis, these approaches are combined in the development and upgrade of a Remote Robot Control Unit by using the tool SpecTRM.
The case study showed that Intent Specifications and CBSE could successfully be combined. The tool SpecTRM was also studied during this work. It showed that traceability is of great importance during system upgrades. Since SpecTRM does not support formal verification of safety properties in design models, the SpecTRM-RL models were translated to Esterel code. Further analysis showed that functional verification can be efficient and useful when using the automatic model-checking tool available in Esterel Studio. This work also proposes a practical guideline for system upgrades in component-based systems, presented as the Sigma model.
The work also showed some shortcomings. First of all, the tool SpecTRM is at an early development stage and not yet mature for industrial use. Secondly, neither of the two languages SpecTRM-RL and Esterel was expressive enough for some of the numerical computations and data-exchange structures needed for navigation in the system. Finally, the verifier was not able to prove any data properties since valued signals are abstracted into pure signals during verification in Esterel Studio.
24
Faisal, Maha H. "Toward automating the discovery of traceability links." Diss., Connect to online resource, 2005. http://wwwlib.umi.com/dissertations/fullcit/3186933.
Full text
25
Taromirad, Masoumeh. "A Modelling Approach to Multi-Domain Traceability." Doctoral thesis, University of York, York, United Kingdom, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-29156.
Full textAbstract:
Traceability is an important concern in projects that span dierent engineering domains. Traceability can also be mandated, exploited and managed across the engineering lifecycle, and may involve defining connections between heterogeneous models. As a result, traceability can be considered to be multi-domain. This thesis introduces the concept and challenges of multi-domain traceability and explains how it can be used to support typical traceability scenarios. It proposes a model-based approach to develop a traceability solution which eectively operates across multiple engineering domains. The approach introduced a collection of tasks and structures which address the identified challenges for a traceability solution in multi-domain projects. The proposed approach demonstrates that modelling principles and MDE techniques cab help to address current challenges and consequently improve the eectiveness of a multi-domain traceability solution. A prototype of the required tooling to support the approach is implemented with EMF and atop Epsilon; it consists of an implementation of the proposed structures (models) and model management operations to support traceability. Moreover, the approach is illustrated in the context of two safety-critical projects where multi-domain traceability is required to underpin certification arguments.
26
Hirbli, Toufic. "Palm oil traceability : blockchain meets supply chain." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/117800.
Full textAbstract:
Thesis: M. Eng. in Supply Chain Management, Massachusetts Institute of Technology, Supply Chain Management Program, 2018.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged student-submitted from PDF version of thesis.
Includes bibliographical references (pages 36-38).
There is a current lack of visibility in the transfer of goods from farmers to oil mills, to manufacturers, to retail outlets and finally to the consumer in the palm oil industry. While leading brands have pledged to commit to a 100% sustainable certification, only 19% of global palm oil production is certified as sustainable. Emerging technologies, such as blockchain, a distributed ledger, can transform supply chain traceability as we know it and bring more transparency through the value chain, creating value to stakeholders. From a process perspective, the proposed solution leverages the mass balance, and book and claim traceability models that RSPO has defined. From a technology perspective, the proposed solution leverages blockchain, geospatial imagery classification, and IoT technologies to keep track of the flow of physical goods and sustainable palm oil certificates. From a people perspective, the proposed solution includes a set of incentive models that could be utilized in easing change management efforts.
by Toufic Hirbli.
M. Eng. in Supply Chain Management
27
Mukri, Farha. "Business-IT Traceability for Complex System Improvement." The Ohio State University, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=osu1250608349.
Full text
28
Williams, Jeandre Charisse. "A case study of pre-requirements specification traceability practices in a retail environment." Master's thesis, University of Cape Town, 2015. http://hdl.handle.net/11427/14130.
Full textAbstract:
Purpose: An exploration into the application of pre-requirements specification traceability (pre-RST) practices in Information Systems (IS) projects within a retail setting. Research Design/methodology: A qualitative study in the interpretivist tradition applied within a single case study setting was selected. Findings: Awareness and value-perception emerged as the most significant challenge to overcome with recommendations for a well-considered organisational change management programme to address this. The potential impact on the trust relationship amongst requirements practitioners and participants is a factor to be addressed. More readily accessible requirements engineering guides that include pre-RST as a prominent aspect is required to raise awareness levels amongst practitioners. Practical implications: The research points to a need to raise awareness amongst practitioners through improved and more readily accessible requirements engineering guides that include pre-RST as a prominent aspect. It also highlights what to consider when embarking upon pre-RST, most prominently the need for carefully considered change management programme to tackle value-perception. Originality/value: Addressing the paucity in case study insights, this research provides an understanding of practice, awareness, value-perception and perceived challenges to pre-RST. Considerations for pre-RST implementation, including careful consideration for the trust relationship amongst requirements practitioners and participants is highlighted. Limitations: The case study was limited to eleven interviews in the retail industry and therefore may not be generalisable to other industries or general practice.
29
Moreira, Sánchez José. "On codes for traceability schemes: constructions and bounds." Doctoral thesis, Universitat Politècnica de Catalunya, 2013. http://hdl.handle.net/10803/134702.
Full textAbstract:
A traceability or fingerprinting scheme is a cryptographic scheme that facilitates the identification of the source of leaked information. In a fingerprinting setting, a distributor delivers copies of a given content to a set of authorized users. If there are dishonest members (traitors) among them, the distributor can deter plain redistribution of the content by delivering a personalized, i.e., marked, copy to each user. The set of all user marks is known as a fingerprinting code. There is, however, another threat. If several traitors collude to create a copy that is a combination of theirs, then the pirated copy generated will contain a corrupted mark, which may obstruct the identification of traitors.
This dissertation is about the study and analysis of codes for their use in traceability and fingerprinting schemes, under the presence of collusion attacks. Moreover, another of the main concerns in the present work will be the design of identification algorithms that run efficiently, i.e., in polynomial time in the code length.
In Chapters 1 and 2, we introduce the topic and the notation used. We also discuss some properties that characterize fingerprinting codes known under the names of separating, traceability (TA), and identifiable parent property (IPP), which will be subject of research in the present work.
Chapter 3 is devoted to the study of the Kötter-Vardy algorithm to solve a variety of problems that appear in fingerprinting schemes. The concern of the chapter is restricted to schemes based on Reed-Solomon codes. By using the Kötter-Vardy algorithm as the core part of the identification processes, three different settings are approached: identification in TA codes, identification in IPP codes and identification in binary concatenated fingerprinting codes. It is also discussed how by a careful setting of a reliability matrix, i.e., the channel information, all possibly identifiable traitors can be found.
In Chapter 4, we introduce a relaxed version of separating codes. Relaxing the separating property lead us to two different notions, namely, almost separating and almost secure frameproof codes. From one of the main results it is seen that the lower bounds on the asymptotical rate for almost separating and almost secure frameproof codes are greater than the currently known lower bounds for ordinary separating codes. Moreover, we also discuss how these new relaxed versions of separating codes can be used to show the existence of families of fingerprinting codes of small error, equipped with polynomial-time identification algorithms.
In Chapter 5, we present explicit constructions of almost secure frameproof codes based on weakly biased arrays. We show how such arrays provide us with a natural framework to construct these codes. Putting the results obtained in this chapter together with the results from Chapter 4, shows that there exist explicit constructions of fingerprinting codes based on almost secure frameproof codes with positive rate, small error and polynomial-time identification complexity. We remark that showing the existence of such explicit constructions was one of the main objectives of the present work.
Finally, in Chapter 6, we study the relationship between the separating and traceability properties of Reed-Solomon codes. It is a well-known result that a TA code is an IPP code, and that an IPP code is a separating code. The converse of these implications is in general false. However, it has been conjectured for some time that for Reed-Solomon codes all three properties are equivalent. Giving an answer to this conjecture has importance in the field of fingerprinting, because a proper characterization of these properties is directly related to an upper bound on the code rate i.e., the maximum users that a fingerprinting scheme can allocate. In this chapter we investigate the equivalence between these properties, and provide a positive answer for a large number of families of Reed-Solomon codes.Un sistema de trazabilidad o de fingerprinting es un mecanismo criptogr afi co que permite identi car el origen de informaci on que ha sido fi ltrada. En el modelo de aplicación de estos sistemas, un distribuidor entrega copias de un determinado contenido a un conjunto de usuarios autorizados. Si existen miembros deshonestos (traidores) entre ellos, el distribuidor puede disuadir que realicen una redistribuci on ingenua del contenido entregando copias personalizadas, es decir, marcadas, a cada uno de los usuarios. El conjunto de todas las marcas de usuario se conoce como c ódigo de fingerprinting. No obstante, existe otra amenaza m as grave. Si diversos traidores confabulan para crear una copia que es una combinación de sus copias del contenido, entonces la copia pirata generada contendr a una marca corrompida que di ficultar a el proceso de identificaci on de traidores. Esta tesis versa sobre el estudio y an alisis de c odigos para su uso en sistemas de trazabilidad o de fi ngerprinting bajo la presencia de ataques de confabulaci on. Otra de las cuestiones importantes que se tratan es el diseño de algoritmos de identi caci on e ficientes, es decir, algoritmos que se ejecuten en tiempo polin omico en la longitud del c odigo. En los Cap tulos 1 y 2 presentamos el tema e introducimos la notaci on que utilizaremos. Tambi en presentaremos algunas propiedades que caracterizan los c odigos de fi ngerprinting, conocidas bajo los nombres de propiedad de separaci on, propiedad identi cadora de padres (IPP) y propiedad de trazabilidad (TA), que est an sujetas a estudio en este trabajo. El Cap tulo 3 est a dedicado al estudio del algoritmo de decodi caci on de lista con informaci on de canal de Kötter-Vardy en la resoluci on de determinados problemas que aparecen en sistemas de fingerprinting. El ambito de estudio del cap ítulo son sistemas basados en c odigos de Reed-Solomon. Empleando el algoritmo de Kötter-Vardy como parte central de los algoritmos de identifi caci on, se analizan tres propuestas en el cap ítulo: identi caci on en c odigos TA, identifi caci on en c odigos IPP e identifi caci on en c odigos de fingerprinting binarios concatenados. Tambi en se analiza c omo mediante un cuidadoso ajuste de una matriz de abilidad, es decir, de la informaci on del canal, se pueden encontrar a todos los traidores que es posible identi car e ficientemente. En el Capí tulo 4 presentamos una versi on relajada de los c odigos separables. Relajando la propiedad de separaci on nos llevar a a obtener dos nociones diferentes: c odigos cuasi separables y c odigos cuasi seguros contra incriminaciones. De los resultados principales se puede observar que las cotas inferiores de las tasas asint oticas para c odigos cuasi separables y cuasi seguros contra incriminaciones son mayores que las cotas inferiores actualmente conocidas para c odigos separables ordinarios. Adem as, tambi en estudiamos como estas nuevas familias de c odigos pueden utilizarse para demostrar la existencia de familias de c odigos de ngerprinting de baja probabilidad de error y dotados de un algoritmo de identi caci on en tiempo polin omico. En el Capí tulo 5 presentamos construcciones expl citas de c odigos cuasi seguros contra incriminaciones, basadas en matrices de bajo sesgo. Mostramos como tales matrices nos proporcionan una herramienta para construir dichos c odigos. Poniendo en com un los resultados de este cap tulo con los del Capí tulo 4, podemos ver que, bas andonos en c odigos cuasi seguros contra incriminaciones, existen construcciones expl ícitas de c odigos de fi ngerprinting de tasa positiva, baja probabilidad de error y con un proceso de identi caci on en tiempo polin omico. Demostrar que existen dichas construcciones expl citas era uno de los principales objetivos de este trabajo. Finalmente, en el Capí tulo 6, estudiamos la relaci on existente entre las propiedades de separaci on y trazabilidad de los c odigos de Reed-Solomon. Es un resultado bien conocido el hecho que un c odigo TA es un c odigo IPP, y que un c odigo IPP es un c odigo separable. Las implicaciones en el sentido opuesto son falsas en general. No obstante, existe una conjetura acerca de la equivalencia de estas tres propiedades en el caso de cóodigos de Reed-Solomon. Obtener una respuesta a esta conjetura es de una importancia relevante en el campo del fi ngerprinting, puesto que la caracterización de estas propiedades est a directamente relacionada con una cota superior en la tasa del c odigo, es decir, con el n umero de usuarios que puede gestionar un sistema de fi ngerprinting. En este cap ítulo investigamos esta equivalencia y proporcionamos una respuesta afirmativa para un gran n umero de familias de c odigos de Reed-Solomon. Los resultados obtenidos parecen sugerir que la conjetura es cierta.
30
Sherba, Susanne A. "Towards automating traceability: An incremental and scalable approach." Diss., Connect to online resource, 2005. http://wwwlib.umi.com/dissertations/fullcit/3178340.
Full text
31
Kodali, Manvisha. "TRACEABILITY OF REQUIREMENTS IN SCRUM SOFTWARE DEVELOPMENT PROCESS." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28326.
Full textAbstract:
Incomplete and incorrect requirements might lead to sub-optimal software products, which might not satisfy customers’ needs and expectations. Software verification and validation is one way to ensure that the software products meets the customers’ expectations while delivering the correct functionality. In this direction, the establishment and the maintenance of traceability links between requirements and test cases have been appointed as promising technique towards a more efficient software verification and validation. Through the last decades, several methodologies supporting traceability have been proposed, where most of them realize traceability by implicitly exploiting existing documents and relations. Nevertheless, parts of the industry is reluctant to implement traceability within software development processes due to the intrinsic overhead it brings. This is especially true for all those light-weight, code-centric software development processes, such as scrum, which focus on the coding activities, trying to minimizing the administrative overhead. In fact, the lack of documentation finishes to hamper the establishment of those trace links which are the means by which traceability is realized. In this thesis, we propose a methodology which integrates traceability within a scrum development process minimizing the development effort and administrative overhead. More precisely we i) investigate the state-of-the-art of traceability in a scrum development process, ii) propose a methodology for supporting traceability in scrum and iii) evaluate such a methodology upon an industrial case study provided by Westermo.
32
Rahman, Anisur. "A Domain-Specific Language for Traceability in Modeling." Thesis, Université d'Ottawa / University of Ottawa, 2013. http://hdl.handle.net/10393/24346.
Full textAbstract:
Requirements are a key aspect of software development. Requirements are also related with other software artefacts including designs, test cases and documentation. These artefacts are often captured with specialized models. However, many tools lack support for traceability relationships between requirements artefacts and model artefacts, leading to analysis issues. To establish traceability between models and other types of requirements artefacts, this thesis proposes a new Domain-Specific Language (DSL) for describing the concepts of a modeling language that would be intended to be traced using a Requirements Management System (RMS), with tool support handling the evolution of models and of their traceability links.
In the first part of this thesis, the syntax and metamodel of the Model Traceability DSL (MT-DSL) are defined, together with an editor implemented using Xtext. In the second part of the thesis, a library of import and maintenance functions is generated automatically (using Xtend) from model traceability descriptions written using MT-DSL. The target language for this library is the DOORS eXtension Language (DXL), the scripting language of a leading commercial RMS with traceability support, namely IBM Rational DOORS.
The implementation has been tested successfully for importing and evolution scenarios with two different modeling languages (User Requirements Notation and Finite State Machines).
This work hence contributes a reliable mechanism to define and support traceability between requirements and models.
33
Mason, Paul Andrew James. "MATrA : meta-modelling approach to traceability for avionics." Thesis, University of Newcastle Upon Tyne, 2002. http://hdl.handle.net/10443/582.
Full textAbstract:
Traceability is the common term for mechanisms to record and navigate relationships between artifacts produced by development and assessment processes. Effective management of these relationships is critical to the success of projects involving the development of complex aerospace products. Practitioners use a range of notations to model aerospace products (often as part of a defined technique or methodology). Those appropriate to electrical and electronic systems (avionics) include Use Cases for requirements, Ada for development and Fault Trees for assessment (others such as PERT networks support product management). Most notations used within the industry have tool support, although a lack of well-defined approaches to integration leads to inconsistencies and limits traceability between their respective data sets (internal models). Conceptually, the artifacts produced using such notations populate four traceability dimensions. Of these, three record links between project artifacts (describing the same product), while the fourth relates artifacts across different projects (and hence products), and across product families within the same project. The scope of this thesis is to define a meta-framework that characterises traceability dimensions for aerospace projects, and then to propose a concrete framework capturing the syntax and semantics of notations used in developing avionics for such projects which enables traceability across the four dimensions. The concrete framework is achieved by exporting information from the internal models of tools supporting these notations to an integrated environment consisting of. i) a Workspace comprising a set of structures or meta-models (models describing models) expressed in a common modelling language representing selected notations (including appropriate extensions reflecting the application domain); ii) well-formedness constraints over these structures capturing properties of the notations (and again, reflecting the domain); and iii) associations between the structures. To maintain consistency and identify conflicts, elements of the structures are verified against a system model that defines common building blocks underlying the various notations. The approach is evaluated by (partial) tool implementation of the structures which are populated using case study material derived from actual commercial specifications and industry standards.
34
Leszczynski, Kirsti. "Advances in traceability of solar ultraviolet radiation measurements." Helsinki : University of Helsinki, 2002. http://ethesis.helsinki.fi/julkaisut/mat/fysik/vk/leszczynski/.
Full text
35
Flodin, Jens. "On fingerprint traceability in the forestry supply chain /." Luleå : Luleå University of Technology, 2008. http://epubl.ltu.se/1402-1757/2008/49/.
Full text
36
Möller, Carl-Johan. "Development of Fingerprint Traceability in a Modern Sawmill." Thesis, Umeå universitet, Institutionen för fysik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-158235.
Full text
37
Cuddeback, David. "Automated Requirements Traceability: the Study of Human Analysts." DigitalCommons@CalPoly, 2010. https://digitalcommons.calpoly.edu/theses/317.
Full textAbstract:
The requirements traceability matrix (RTM) supports many software engineering and software verification and validation (V&V) activities such as change impact analysis, reverse engineering, reuse, and regression testing. The generation of RTMs is tedious and error-prone, though. Thus RTMs are often not generated or maintained. Automated techniques have been developed to generate candidate RTMs with some success. Automating the process can save time and potentially improve the quality of the results. When using RTMs to support the V&V of mission- or safety-critical systems, however, a human analyst is required to vet the candidate RTMs. The focus thus becomes the quality of the final RTM. This thesis introduces an experimental framework for studying human interactions with decision support software and reports on the results from a study which applies the framework to investigate how human analysts perform when vetting candidate RTMs generated by automated methods. Specifically, a study was undertaken at two universities and had 33 participants analyze RTMs of varying accuracy for a Java code formatter program. The study found that analyst behavior differs depending on the initial candidate RTM given to the analyst, but that all analysts tend to converge their final RTMs toward a hot spot in the recall-precision space.
38
Maté, Alejandro. "Data Warehouses: Traceability and Alignment with Corporate Strategies." Doctoral thesis, Universidad de Alicante, 2013. http://hdl.handle.net/10045/36383.
Full text
39
Ruiz, Carmona Luz Marcela. "TraceME: Traceability-based Method for Conceptual Model Evolution." Doctoral thesis, Universitat Politècnica de València, 2016. http://hdl.handle.net/10251/64553.
Full textAbstract:
[EN] Renewing software systems is one of the most cost-effective ways to protect software investment, which saves time, money and ensures uninterrupted access to technical support and product upgrades. There are several motivations to promote investment and scientific effort for specifying systems by means of conceptual models and supporting its evolution. In order to contribute to the requirements engineering field with automated software production methods, we design TraceME to cover the spectrum of activities from requirements to code focusing on organisational evolution. In this sense, the spectrum of activities involves various information system perspectives of analysis that need to be integrated. In this complex setting, traceability and conceptual models are key concepts. Mechanisms to trace software specifications from requirements to code are important to justify evolution processes; versions of information systems should be traced in order to get the connection between old and new specifications. Moreover, it is necessary to find mechanisms to facilitate change specifications, measurement, and interpretation.
To design this thesis we follow Design Science by Roel Wieringa. Design Science gives us the hints on how to conduct the research, be rigorous, and put in practice scientific rules. Besides Design Science has been a key factor for structuring our research, we acknowledge the application of this framework since it has helps us to report clearly our findings.
We build TraceME by making a method engineering effort, which shapes its fragmented nature in chunks. The architecture of TraceME opens a wide window of opportunities for its application in real world situations. To facilitate industrial adoption, we develop open source tools to support the implementation of the TraceME chunks. For example, one case study and one action-research protocols have been executed in two different organisations in Spain.
The validation of TraceME has taken place in laboratory demonstrations, controlled experiments, action research and case study experiences in industry. Thanks to the validations various lessons learnt have been gathered and greatly influenced the maturity of the method. For example: the importance to consider end-users' perceptions for discovering needs to mitigate, and the significance to get knowledge from the application of TraceME in different contexts. The evidences from the validations demonstrate that TraceME is feasible to be applied to support evolution projects. In addition, future research is needed for promoting the implementation of TraceME. We envision short term and future-term work that motivate us to tackle the challenge to support evolution projects.[ES] La evolución de sistemas software es una de las actividades mas importantes que permiten minimizar el tiempo de puesta en producción de actualizaciones y nuevos desarrollos, reducir los costos que implica desarrollar una aplicación desde cero, y además asegura el acceso ininterrumpido de servicios. Existen variadas motivaciones para promover la investigación y desarrollo de soluciones para especificar y evolucionar sistemas de información mediante modelos conceptuales. Para contribuir al campo de la ingeniería de requisitos con métodos automáticos de producción de software, hemos diseñado el método TraceME para cubrir el espectro de actividades desde requisitos a código con un enfoque de evolución organizacional. De este modo, el espectro de actividades involucra diferentes perspectivas de análisis de sistemas de información que necesitan ser integradas. En este escenario tan complejo, la trazabilidad y los modelos conceptuales son conceptos clave. Es necesario disponer de mecanismos para trazar especificaciones de software desde requisitos a código con el fin de justificar procesos de evolución. Las versiones de los sistemas de información deben ser trazables con el fin de establecer la conexión entre especificaciones obsoletas y actuales. Adicionalmente, es necesario encontrar mecanismos para facilitar la especificación del cambio, su medición e interpretación. Para diseñar esta tesis hemos seguido el marco de Design Science de Roel Wieringa. Design Science nos ha proporcionado las claves para conducir esta investigación, ser rigurosos y poner en práctica reglas científicas. Además de que Design Science ha sido un factor clave para estructurar nuestra investigación, reconocemos que la aplicación de este marco nos ha ayudado a reportar claramente nuestros hallazgos. Hemos aplicado ingeniería de métodos para diseñar y construir TraceME. Gracias a esto, la naturaleza de TraceME es conformada mediante fragmentos de método. La arquitectura de TraceME abre una amplia ventana de oportunidades para su aplicación en situaciones de la vida real. Para facilitar la adopción industrial de TraceME, hemos desarrollado herramientas de software libre para dar soporte a los fragmentos de TraceME. Por ejemplo, un caso de estudio y una experiencia de action research han sido ejecutadas en dos organizaciones en España. La validación de TraceME ha sido llevada a cabo mediante demostraciones de laboratorio, experimentos controlados, un caso de estudio y una experiencia de action research en industria. Como resultado, TraceME ha sido mejorado considerablemente; además hemos descubierto investigaciones a realizar a corto, mediano y largo plazo con el fin de implementar TraceME en la industria. Las evidencias obtenidas como resultado de las validaciones demuestra la factibilidad de TraceME para ser aplicado en proyectos de evolución organizacional. El trabajo futuro nos motiva a afrontar los retos que conlleva el soporte de proyectos de evolución de sistemas de información.
[CAT] L'evolució dels sistemes programari és una de les activitats més importants que permeten minimitzar el temps de posada en producció d'actualitzacions i nous desenvolupaments, reduir els costos que involucra desenvolupar una aplicació des de cero, a més d' assegurar l'accés ininterromput de serveis. Existixen diverses motivacions per promoure la investigació i desenvolupament de solucions per a especificar i evolucionar sistemes de informació mitjançant models conceptuals. Per tal de contribuir al camp de l'enginyeria de requisits amb mètodes automàtics de producció de programari, hem dissenyat el mètode TraceME per cobrir l'espectre d'activitats des de requisits a codi en un enfocament d'evolució organitzacional. Així, l'espectre d'activitats involucra diferents perspectives d'anàlisi de sistemes d'informació que necessiten ser integrades. En aquest escenari tan complex, la traçabilitat i els models conceptuals són conceptes clau. És necessari disposar de mecanismes per traçar especificacions de programari des de requisits a codi amb la fi de justificar processos d'evolució. Les versions dels sistemes d'informació deuen ser traçables amb la fi d'establir la connexió entre especificacions obsoletes i actuals. Addicionalment, és necessari trobar mecanismes per facilitar l'especificació del canvi, la seua mesura i interpretació. Per tal de dissenyar aquesta tesi, hem seguit el marc de Design Science de Roel Wieringa. Design Science ens ha proporcionat les claus per conduir aquesta investigació, ser rigorosos i posar en pràctica regles científiques. A més a més, Design Science ha sigut un factor clau per estructurar la nostra investigació, reconeixem que l'aplicació de aquest marc ens a ajudat a reportar clarament els nostres resultats. Hem aplicat enginyeria de mètodes per dissenyar i construir TraceME. Gràcies a açò, la natura de TraceME es conforma mitjançant fragments de mètodes. L'arquitectura de TraceME obri una ampla finestra d'oportunitats per a la seua aplicació en situacions de la vida real. Per facilitar l'adopció industrial de TraceME, hem desenvolupat ferramentes de programari lliure per tal de donar suport als fragments de TraceME. Per exemple, un cas d'estudi i una experiència de action research han sigut executades en dos organitzacions a Espanya. La validació de TraceME ha sigut portada a cap mitjançant demostracions de laboratori, experiments controlats , un cas d'estudi i una experiència de action research en l'industria. Com a resultat, TraceME ha sigut millorada considerablement; a més a més, hem descobert investigacions a realitzar a curt, mig i llarg termini amb la fi d'implementar TraceME a l'industria. Les evidències obtingudes com a resultat de les validacions, demostren la factibilitat de TraceME per ser aplicat en projectes d'evolució organitzacional. El treball futur presenta nous reptes que ens motiven a afrontar el suport de projectes d'evolució de sistemes d'informació.
Ruiz Carmona, LM. (2016). TraceME: Traceability-based Method for Conceptual Model Evolution [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/64553
TESIS
40
Lapeña, Martí Raúl. "Traceability Links Recovery among Requirements and BPMN models." Doctoral thesis, Universitat Politècnica de València, 2020. http://hdl.handle.net/10251/149391.
Full textAbstract:
[EN] Throughout the pages of this document, I present the results of the research that was carried out in the context of my PhD studies.
During the aforementioned research, I studied the process of Traceability Links Recovery between natural language requirements and industrial software models. More precisely, due to their popularity and extensive usage, I studied the process of Traceability Links Recovery between natural language requirements and Business Process Models, also known as BPMN models.
In order to carry out the research, I focused my work on two main objectives: (1) the development of the Traceability Links Recovery techniques between natural language requirements and BPMN models, and (2) the validation and analysis of the results obtained by the developed techniques in industrial domain case studies. The results of the research have been redacted and published in forums, conferences, and journals specialized in the topics and context of the research.
This thesis document introduces the topics, context, and objectives of the research, presents the academic publications that have been published as a result of the work, and then discusses the outcomes of the investigation.[ES] A través de las páginas de este documento, presento los resultados de la investigación realizada en el contexto de mis estudios de doctorado. Durante la investigación, he estudiado el proceso de Recuperación de Enlaces de Trazabilidad entre requisitos especificados en lenguaje natural y modelos de software industriales. Más concretamente, debido a su popularidad y uso extensivo, he estudiado el proceso de Recuperación de Enlaces de Trazabilidad entre requisitos especificados en lenguaje natural y Modelos de Procesos de Negocio, también conocidos como modelos BPMN. Para llevar a cabo esta investigación, mi trabajo se ha centrado en dos objetivos principales: (1) desarrollo de técnicas de Recuperación de Enlaces de Trazabilidad entre requisitos especificados en lenguaje natural y modelos BPMN, y (2) validación y análisis de los resultados obtenidos por las técnicas desarrolladas en casos de estudio de dominios industriales. Los resultados de la investigación han sido redactados y publicados en foros, conferencias y revistas especializadas en los temas y contexto de la investigación. Esta tesis introduce los temas, contexto y objetivos de la investigación, presenta las publicaciones académicas que han sido publicadas como resultado del trabajo, y expone los resultados de la investigación.
[CA] A través de les pàgines d'aquest document, presente els resultats de la investigació realitzada en el context dels meus estudis de doctorat. Durant la investigació, he estudiat el procés de Recuperació d'Enllaços de Traçabilitat entre requisits especificats en llenguatge natural i models de programari industrials. Més concretament, a causa de la seua popularitat i ús extensiu, he estudiat el procés de Recuperació d'Enllaços de Traçabilitat entre requisits especificats en llenguatge natural i Models de Processos de Negoci, també coneguts com a models BPMN. Per a dur a terme aquesta investigació, el meu treball s'ha centrat en dos objectius principals: (1) desenvolupament de tècniques de Recuperació d'Enllaços de Traçabilitat entre requisits especificats en llenguatge natural i models BPMN, i (2) validació i anàlisi dels resultats obtinguts per les tècniques desenvolupades en casos d'estudi de dominis industrials. Els resultats de la investigació han sigut redactats i publicats en fòrums, conferències i revistes especialitzades en els temes i context de la investigació. Aquesta tesi introdueix els temes, context i objectius de la investigació, presenta les publicacions acadèmiques que han sigut publicades com a resultat del treball, i exposa els resultats de la investigació.
Lapeña Martí, R. (2020). Traceability Links Recovery among Requirements and BPMN models [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/149391
TESIS
41
Li, Hanbing. "Extraction and traceability of annotations for WCET estimation." Thesis, Rennes 1, 2015. http://www.theses.fr/2015REN1S040/document.
Full textAbstract:
Les systèmes temps-réel devenaient omniprésents, et jouent un rôle important dans notre vie quotidienne. Pour les systèmes temps-réel dur, calculer des résultats corrects n’est pas la seule exigence, il doivent de surcroît être produits dans un intervalle de temps borné. Connaître le pire cas de temps d’exécution (WCET - Worst Case Execution Time) est nécessaire, et garantit que le système répond à ses contraintes de temps. Pour obtenir des estimations de WCET précises, des annotations sont nécessaires. Ces annotations sont généralement ajoutées au niveau du code source, tandis que l’analyse de WCET est effectuée au niveau du code binaire. L’optimisation du compilateur est entre ces deux niveaux et a un effet sur la structure du code et annotations. Nous proposons dans cette thèse une infrastructure logicielle de transformation, qui pour chaque optimisation transforme les annotations du code source au code binaire. Cette infrastructure est capable de transformer les annotations sans perte d’information de flot. Nous avons choisi LLVM comme compilateur pour mettre en œuvre notre infrastructure. Et nous avons utilisé les jeux de test Mälardalen, TSVC et gcc-loop pour démontrer l’impact de notre infrastructure sur les optimisations du compilateur et la transformation d’annotations. Les résultats expérimentaux montrent que de nombreuses optimisations peuvent être activées avec notre système. Le nouveau WCET estimé est meilleur (plus faible) que l’original. Nous montrons également que les optimisations du compilateur sont bénéfiques pour les systèmes temps-réelReal-time systems have become ubiquitous, and play an important role in our everyday life. For hard real-time systems, computing correct results is not the only requirement. In addition, the worst-case execution times (WCET) are needed, and guarantee that they meet the required timing constraints. For tight WCET estimation, annotations are required. Annotations are usually added at source code level but WCET analysis is performed at binary code level. Compiler optimization is between these two levels and has an effect on the structure of the code and annotations.We propose a transformation framework for each optimization to trace the annotation information from source code level to binary code level. The framework can transform the annotations without loss of flow information. We choose LLVM as the compiler to implement our framework. And we use the Mälardalen, TSVC and gcc-loops benchmarks to demonstrate the impact of our framework on compiler optimizations and annotation transformation. The experimental results show that with our framework, many optimizations can be turned on, and we can still estimate WCET safely. The estimated WCET is better than the original one. We also show that compiler optimizations are beneficial for real-time systems
42
Darr, Timothy, Ronald Fernandes, John Hamilton, and Charles Jones. "Verification, Validation and Completeness Support for Metadata Traceability." International Foundation for Telemetering, 2010. http://hdl.handle.net/10150/605983.
Full textAbstract:
ITC/USA 2010 Conference Proceedings / The Forty-Sixth Annual International Telemetering Conference and Technical Exhibition / October 25-28, 2010 / Town and Country Resort & Convention Center, San Diego, CaliforniaThe complexity of modern test and evaluation (T&E) processes has resulted in an explosion of the quantity and diversity of metadata used to describe end-to-end T&E processes. Ideally, it would be possible to integrate metadata in such a way that disparate systems can seamlessly access the metadata and easily interoperate with other systems. Unfortunately, there are several barriers to achieving this goal: metadata is often designed for use with specific tools or specific purposes; metadata exists in a variety of formats (legacy, non-legacy, structured and unstructured metadata); and the same information is represented in multiple ways across different metadata formats.
43
Bennet, Gregory Scott. "Identity preservation & traceability the state of the art - from a grain perspective (status of agricultural quality systems / traceability / certification systems) /." [Ames, Iowa : Iowa State University], 2008.
Find full text
44
Kyrkander, Sara. "Traceability of Single-Use Medical Devices through the Hospital Supply Chain. Reflections and Recommendations for Implementation of Single-Use Medical Devices Traceability." Thesis, KTH, Medicinteknik och hälsosystem, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-279140.
Full textAbstract:
There is an increased need for complete medical device traceability in the healthcare industry. The two main reasons are the healthcare industry's global supply chain and decentralised adverse events reporting, where different laws apply for each country and where each country has their own database for incidents without international governance. The idea of improving traceability procedures in the surgical department at Karolinska University Hospital was formed in the light of a near miss event where guidelines regarding incident management of a Single-Use Medical Device (SUMD) were not followed properly. Hence, this thesis project will investigate the issue of finding an effective way to trace SUMDs at Karolinska University Hospital, in order to improve the incident management process and suggest improvements of patient safety at other Swedish hospitals as well. The collection of data consisted of different data sources; observations at the research site and interviews with relevant participants. By employing multiple sources to this study, a more holistic approach could be achieved. In addition to observing the current situation of device registration, it was of importance to ask individuals with competence and different perspectives on the issue of traceability of SUMDs. To answer the research questions, the acquired data was categorized into the different identified cornerstones of traceability of SUMDs. These were registration process, perioperative supply chain and incidents management. Each section was divided into an investigation of the current process, issues and suggested improvements, in order to clearly answer to the research questions. Furthermore, these acquired answers and insights, from observations and interviews, were translated and summarized to form a basis for the results. Based on the data acquisition and compilation from the different perspectives, key findings and themes are presented in the results. The thesis proposal include a visual representation that show the physical flow of a SUMD from the point of being delivered to the hospital by the distributor, through different entities where registration occur, until it is either discarded or saved for incidents reporting. In order to avoid many of the current issues and to realize the acquired suggestions from this thesis, interoperability between the systems within the healthcare organization as well as between the different entities throughout the entire supply chain is an essential part of the solution, which should be further studied.
45
Harrington, Gale Alicia Rondeau Kathleen Marie. "An investigation of requirements traceability to support systems development /." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1993. http://handle.dtic.mil/100.2/ADA273167.
Full textAbstract:
Thesis (M.S. in Information Technology Management) Naval Postgraduate School, September 1993.Thesis advisor(s): B. Ramesh ; Tung X. Bui. "September 1993." Bibliography: p. 84-85. Also available online.
46
Qin, Zhifeng, and 秦志锋. "RFID-enabled life-cycle traceability in pharmaceutical supply chain." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2011. http://hub.hku.hk/bib/B46975068.
Full text
47
Abbott, Ann Grayson, and Mona R. Busch. "An investigation of requirements traceability to support systems development." Thesis, Monterey, California. Naval Postgraduate School, 1992. http://hdl.handle.net/10945/38561.
Full textAbstract:
Approved for public release, distribution unlimitedA primary concern in the development of large-scale, real-time, complex, computer-intensive systems is ensuring that the system meets the specified requirements. Further, the requirements themselves evolve and undergo many changes during the development process. In such a context, it is essential to maintain traceability of requirements to various outputs to ensure that the systems meets the current set of requirements. An empirical study, utilizing focus group and protocol analysis techniques, was conducted with students from the Naval Postgraduate School. Their input, along with current literature, was used to explore factors to be taken into account while developing a model of traceability, and the appropriateness of the two data collection methods in future research.
48
Fourie, LCH, A. Evans, and R. Olivier. "Automated traceability in fruit export chains in South Africa." Southern African Business Review, 2007. http://encore.tut.ac.za/iii/cpro/DigitalItemViewPage.external?sp=1001263.
Full textAbstract:
A B S T R A C T
Deregulation of the South African fruit export industry in 1997 caused
fragmentation in the supply chain. This led to significant inefficiencies
and difficulty in responding to increasingly stringent legal and traderelated
traceability requirements. Currently, the South African fruit
export industry does not provide a sufficient level of traceability at
supply chain level.
The consumer packaged goods industry has developed e-commerce building blocks based on global standards. These building blocks offer
automated traceability of fruit exports, as well as significant benefits
impacting the bottom line, to companies of all sizes. The e-commerce
building blocks also provide solutions to the two main challenges faced
by the fresh produce supply chains, namely traceability requirements
and the need for additional efficiencies.
The e-commerce building blocks are available to the South African
fruit export industry to enable traceability, as well as to provide
significant efficiency benefits. It has been found that early adoption of
the e-commerce building blocks will result in a strategic advantage over
the southern hemisphere competitors and that automated traceability is
feasible for the South African fruit export industry. This article describes
the cohesiveness, willingness to participate and supportive thinking of
representatives from the important fruit export industry in South Africa,
which are necessary to create the critical mass for the implementation of
such an automated traceability system.
49
Pritchard, Jeffrey W. "The Advanced Traceability and Control system performance data analysis." Thesis, Monterey, California. Naval Postgraduate School, 1992. http://hdl.handle.net/10945/23520.
Full text
50
Harrington, Gale Alicia, and Kathleen Marie Rondeau. "An investigation of requirements traceability to support systems development." Thesis, Monterey, California. Naval Postgraduate School, 1993. http://hdl.handle.net/10945/39948.
Full textAbstract:
Approved for public release; distribution is unlimited.Department of Defense Standard 2167A mandates that requirements traceability be conducted during the development of government systems. This and other standards, as well as current literature, however, do not provide a comprehensive model of what informat