Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2017-05-19T17:39:41Z No. of bitstreams: 2 Tese - Leandro Alexandre Freitas - 2017.pdf: 10640805 bytes, checksum: 61b69f91cb32e17075d698eecf19b8c4 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-05-22T10:42:45Z (GMT) No. of bitstreams: 2 Tese - Leandro Alexandre Freitas - 2017.pdf: 10640805 bytes, checksum: 61b69f91cb32e17075d698eecf19b8c4 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-05-22T10:42:45Z (GMT). No. of bitstreams: 2 Tese - Leandro Alexandre Freitas - 2017.pdf: 10640805 bytes, checksum: 61b69f91cb32e17075d698eecf19b8c4 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-04-04 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / The growth and popularization of wireless connectivity and of mobile devices has allowed the development of smart spaces that were previously only envisaged in the approach proposed by Mark Weiser. These smart spaces are composed of many computational resources, such as devices, services and applications, along with users, who must be able to associate with these features. However, programming these environments is a challenging task, since smart spaces have a dynamic nature, resources are heterogeneous, and it is necessary that interactions between users and devices are coordinated with one another. In this work, we present a new approach for smart spaces programming using Models@RunTime. In this regard, we propose a high level modeling language, called Smart Spaces Modeling Language (2SML), in which the user is able to model the smart space with all elements that can be part of it. Such models are developed by the users, interpreted and effected in the physical space by a model execution engine, called Smart Space Virtual Machine (2SVM), whose development is part of this work. / O crescimento e a popularização cada vez maior da conectividade sem fio e dos dispositivos móveis, tem permitido a construção de espaços inteligentes que antes eram vislumbrados apenas na proposta de computação ubíqua do cientista da Xerox PARK, Mark Weiser. Esses espaços inteligentes são compostos por diversos recursos computacionais, como dispositivos, serviços e aplicações, além de usuários, que devem ser capazes de se associar a esses recursos. Entretanto, a programação destes ambientes é uma tarefa desa- fiadora, uma vez que os espaços inteligentes possuem uma natureza dinâmica, os recursos se apresentam de forma heterogênea e é necessário que as interações entre usuários e dispositivos sejam coordenadas. Neste trabalho desenvolvemos uma nova abordagem para programação de espaços inteligentes, por meio de modelos em tempo de execução. Para isso, propomos uma linguagem de modelagem de alto nível, denominada Smart Space Modeling Language (2SML), em que o usuário é capaz de modelar o espaço inteligente com todos os elementos que dele podem fazer parte. Esse modelo desenvolvido pelo usuá- rio é interpretado e realizado no espaço físico por uma máquina de execução de modelos, denominada Smart Space Virtual Machine (2SVM), cujo desenvolvimento é parte deste trabalho.

This project extended COLLDESIGN, an interactive collaborative modeling tool that was developed by Mr. Hara Totapally. The initial version included a collaborative framework comprised of configurable client and server components. This project accomplished a complete implementation of the Class Diagram view. In addition, extending the framework, text messaging and audio conferencing features have been implemented to allow for real-time textual and audio communication between team members working on a particular project. VideoClient is the GUI of the application.

The thesis is focused on software development process and its products from initial designs through the way of implementation until final delivery to customer. The thesis brings up some basic facts about software engineering with further detailed description of one of its parts, the modern models of software life cycles with focus on the agile life cycle because of its significant benefits and effective implementation. This model is represented by Agile Model Driven Development which has been submitted not only theoretically but in practice. Finally, there is also a short description of Unified Modeling Language which is used as a modeling language.

The diploma thesis focuses on analysis of software tools used in a softwarehouse company. It contains detailed assessment of a used project management information system, business process design and information system modification. The thesis also includes complete implementation of a module for cost calculation of software projects. The module is based on Use Case Points method.

1 EINFÜHRUNG Der Beitrag diskutiert ein Vorgehensmodell zur Übertragung eines Vernetzungsansatzes für sehr kleine Wertschöpfungseinheiten, vornehmlich aus dem Maschinenbau, in die Domäne Dezentrale Energieversorgung. Es handelt sich dabei um den kompetenzzellenbasierten Vernetzungsansatz (KVA), ein Artefakt des DFG-Forschungsprojektes „Hierarchielose regionale Produktionsnetze“ (Sonderforschungsbereich 457). Das Lernen setzt die Analyse sowie das Erkennen und Verstehen des Forschungsgegenstandes KVA voraus. Von besonderem Interesse sind die Forschungsergebnisse zu den aufbau- und ablauforganisatorischen Grundbetrachtungen über die Zusammenarbeit von Kompetenzzellen. Können diese Ergebnisse einen wissenschaftlichen und praktischen Nutzen für die Organisation von Anbietergemeinschaften aus Stromerzeugern und -verbrauchern stiften? Dazu werden das Gestaltungskonzept Zwei-Ebenen-Kooperation und das Konzept der Kompetenzzelle untersucht. Für die Übertragung wird die Modellierungssprache Unified Modeling Language 2 (UML2) zur Beschreibung von Struktur, Funktion und Organisation vorgeschlagen.

The project focuses on the packaging process of the smart card manufacturing industry. The idea of the project concerns how to increase production packaging efficiency by introducing a control system. After taking an in-depth look at the current production environment, the following system goals were defined: packaging time reduction, cost reduction, decrease in human errors, and reducing the number of customer complaints. To achieve these goals, the thesis project was divided into the following tasks: discovering a feasible solution, actual system development, testing, and evaluation. The proposed system is based on hardware (i.e. barcode scanner, and barcode printer) integrated with customized control software. The barcode scanner acts as a bridge between the system and the production process by scanning a barcode printed on each product. The system prints the required information label for the product’s package according to the scanned product. This label is pasted on the product’s box and is used as a tracking tool during further production steps. The system is very flexible and suits any packaging model. Other functional properties maintained in the system include data security, product traceability, and real time production monitoring. Testing of the system was done in an actual production environment at an Oberthur Technologies manufacturing site. Two production lines were selected to test the system’s functionality, specifically the SIM card production packaging line and the Scratch card/ Bank Card production packaging line. The results obtained during the evaluation phase of the proposed system show that the proposed solution decreased the packaging processing time by (27.3%) over the previous values. Moreover, the resulting human error rate is close to (zero%). / Projektet fokuserar på förpackningen processen smartkortet tillverkningsindustrin. Tanken med projektet handlar om hur att öka effektiviteten produktionen förpackningar genom att införa ett styrsystem. Efter att ha tagit en fördjupad titt på den nuvarande produktionsmiljö, var följande systemkrav mål definieras: nedsättning förpackning tid, minskade kostnader, minskad mänskliga fel och minska antalet kundklagomål. För att uppnå dessa mål var examensarbetet indelad i följande uppgifter: att upptäcka en genomförbar lösning, faktisk systemutveckling, testning och utvärdering. Det föreslagna systemet bygger på hårdvara (dvs streckkodsläsare och streckkod skrivare) integreras med skräddarsydd styrprogram. Den streckkodsläsare fungerar som en bro mellan systemet och produktionsprocessen genom att läsa en streckkod tryckt på varje produkt. Systemet skriver den erforderliga informationen etiketten för produktens förpackning enligt den scannade produkten. Denna etikett klistras in på produktens ask och används som ett verktyg för spårning under ytterligare produktionssteg. Systemet är mycket flexibelt och passar varje förpackning modell. Andra funktionella egenskaper bibehålls i systemet inkluderar datasäkerhet, spårbarhet och i realtid övervakning av produktionen. Testning av systemet gjordes i en verklig produktionsmiljö i ett Oberthur Technologies tillverkningsanläggning. Två produktionslinjer valdes för att testa systemets funktionalitet, särskilt i SIM-kortet produktionen förpackning linje och skrapkort / Bank kortproduktion förpackningslinje. De resultat som erhållits under utvärderingsfasen av det föreslagna systemet visar att den föreslagna lösningen minskade tiden förpackningen behandling av (27,3 %) jämfört med föregående värden. Dessutom är den resulterande mänskliga fel som ligger nära (noll %).

Die Konfrontation mit innovativen IT-Technologien und deren Beurteilung gehört heute zu den Kernaufgaben des Informationsmanagements. Es muss permanent entscheiden, ob neue IT-Technolgien im Unternehmen nutzenstiftend eingesetzt werden können. Zur Beurteilung von IT-Projekten liefert die Teildisziplin des IT-Controllings, die Elemente der Wirtschaftsinformatik und des Controllings vereint, diverse Methoden und Ansätze. Diese Ansätze bilden die Basis für die vorliegende Arbeit, in der insbesondere der Aspekt der Nutzenbewertung von IT-Innovationen diskutiert wird. Bei der Bewertung von IT-Innovationen treten spezifische Probleme auf, denen der Autor mit der Fortentwicklung der vorhandenen Instrumente begegnet. Der Einsatz von unscharfen Methoden (Fuzzy Logik) führt zu einer adäquaten Darstellung von vagen Größen in Form von Zugehörigkeitsfunktionen. Durch den Einsatz von Regelbasen wird ein Expertenwissen repräsentiert, das die Analysemethode nach außen hin vereinfacht und somit zu einer effizienteren Nutzenbetrachtung führt. Die Auswahl und Initiierung von innovativen IT-Projekten wird durch ein Vorgehensmodell gestützt, das bei der fundamentalen Fragestellung nach Schwachstellen und Verbesserungspotentialen im Unternehmen ansetzt. Für diese Analyse wird auf die Erfolgsfaktorenanalyse zurückgegriffen, die durch individuelle Faktoren angepasst wird. Aus den analysierten Schwachstellen werden innovative IT-Projekte abgeleitet und definiert. Die Aufstellung der Nutzenkriterien erfolgt aus einem allgemeinen Nutzenkatalog, der mit den analysierten Erfolgsfaktoren korrespondiert. Die konkrete Bewertung der Projekte erfolgt durch die fuzzybasierte Nutzenbewertung und liefert prägnante Empfehlungen zu den einzelnen Projekten. Die Integration des Vorgehensmodells in das IT-Controlling erfordert eine automatisierte Form, die aufgrund der UML Notation generiert werden kann. Die prototypische Umsetzung und Verwendung der unscharfen Nutzenanalyse haben gezeigt, dass die Methodik für den praktischen Einsatz tauglich ist.

This dissertation develops systems engineering and machine learning models for aviation maintenance support. With the constant increase in demand for air travel, aviation organizations compete to maintain airworthy aircraft to ensure the safety of passengers. Given the importance of aircraft safety, the aviation sector constantly needs technologies to enhance the maintenance experience, ensure system safety, and limit aircraft downtime. Based on the current literature, the aviation maintenance sector still relies on outdated technologies to maintain aircraft maintenance documentation, including paper-based technical orders. Aviation maintenance documentation contains a mixture of structured and unstructured technical text, mainly inputted by operators, making them prone to error, misunderstanding communication, and inconsistency. This dissertation intends to develop decision support models based on systems engineering and artificial intelligence models that can automate the maintenance documentation system, extract useful information from maintenance work orders, and predict the aircraft's top degrader signals based on textual data. The first chapter of this dissertation introduces the significant setbacks of the aviation industry and provides a working ground for the following chapters. The dissertation's second chapter develops a system engineering framework using model-based systems engineering (MBSE) methodology to model the aviation maintenance process using the systems engineering language (SysML). The outcome of this framework is the design of an automated maintenance system model that can be used to automate maintenance documentation, making it less prone to error. The third chapter of the dissertation uses textual data in maintenance work orders to develop a hybrid approach that uses natural language processing (NLP) and transformer models to predict the readiness of a legacy aircraft. The model was tested using a real-life case study of the EA-6B military aircraft. The fourth chapter of this dissertation develops an ensemble transformer model based on three different transformer models. The ensemble model leverages the benefits of three different transformer architectures and is used to classify events based on an aviation log-based dataset. This dissertation's final and fifth chapter summarizes key findings, proposes future work directions, and provides the dissertation's limitations.

[pt] Valores de usuário são um fator importante no design de software, mas nem sempre são considerados de forma explícita no processo de design. Ao tomar decisões de design, valores de usuários podem se perder junto aos viéses dos designers relacionados a seus próprios valores. Para evitar esse problema, este trabalho estuda a integração de valores de usuários com técnicas de design rationale, especificamente Questões, Opções e Critérios (QOC), e como essa integração é refletida em um artefato de design resultante (um diagrama de interação usando MoLIC). Conduzimos dois estudos separados com estudantes de Ciência da Computação no Rio de Janeiro. No primeiro estudo, vimos que valores de usuários podem ser integrados com design rationale usando notações informais, como circulando ou sublinhando as opções ou critérios associados a valores de usuários. As decisões tomadas com o método QOC usando valores de usuário resultaram em impactos relevantes nos diagramas MoLIC. Participantes que realizaram as atividades para usuários com valores bem definidos tiveram resultados mais ricos do que aqueles com usuários mais genéricos. No segundo estudo, vimos que designers conseguem reconhecer quando valores de usuários são incorporados em artefatos de design. Esses resultados são estimulantes para continuar a pesquisar valores de usuários, com possibilidades de desenvolver novos métodos ou de atualizar técnicas e notações existentes, como QOC ou MoLIC, para dar suporte a valores de usuários. / [en] User values are a significant part of designing software, but are not always considered explicitly in the design process. When making design decisions, user values can get lost among the designers own biases regarding their values. To avoid this pitfall, this work studies the integration of user values with design rationale techniques, namely Questions, Options, and Criteria (QOC), and how this integration reflects on a resulting design artifact (in particular, an interaction diagram using MoLIC). We performed two separate studies with Computer Science students in Rio de Janeiro. In the first study, we found that user values can be integrated into design rationale using informal notations, such as circling or underlining the options or criteria related to user values. The decisions made with the QOC method using user values did result in relevant impacts on MoLIC diagrams. Participants who performed activities for users with strong values had richer results than those for more generic users. In a second study, we found that designers can recognize when user values are embedded into design artifacts. These results are encouraging to continue research regarding user values, with possibilities of developing new methods or updating existing techniques and notations such as QOC or MoLIC to explicitly support user values.

This dissertation proposes two novel ideas to enhance the business strategy alignment to customer needs. The proposed business alignment clock is a new illustration to the relationships between customer requirements, business strategies, capabilities and processes. To line up the clock and reach the needed alignment for the enterprise, a proposed clock mechanism is introduced. The mechanism integrates the Enterprise Business Architecture (EBA) with the House of Quality (HoQ). The relationship matrix inside the body of the house is defined using multivariate data analysis techniques to accurately measure the strength of the relationships rather than defining them subjectively. A statistical tool, multivariate data analysis, can be used to overcome the ambiguity in quantifying the relationships in the house of quality matrix. The framework is proposed in the basic conceptual model context of the EBA showing different levels of the enterprise architecture; the goals, the capabilities and the value stream architecture components. In the proposed framework, the goals and the capabilities are inputs to two houses of quality, in which the alignment between customer needs and business goals, and the alignment between business goals and capabilities are checked in the first house and the second house, respectively. The alignment between the business capabilities and the architecture components (workflows, events and environment) is checked in a third HoQ using the performance indicators of the value stream architecture components, which may result in infrastructure expansion, software development or process improvement to reach the needed alignment by the enterprise. The value of the model was demonstrated using the Accreditation Board of Engineering and Technology (ABET) process at the Industrial Engineering and Management Systems department at the University of Central Florida. The assessment of ABET criteria involves an evaluation of the extent to which the program outcomes are being achieved and results in decisions and actions to improve the Industrial Engineering program at the University of Central Florida. The proposed framework increases the accuracy of measuring the extent to which the program learning outcomes have been achieved at the department. The process of continuous alignment between the educational objectives and customer needs becomes more vital by the rapid change of customer requirements that are obtained from both internal and external constituents (students, faculty, alumni, and employers in the first place).