Dissertations / Theses on the topic 'Cyber-Physical Systems (CPSs)'

Cyber-Physical Systems (CPSs) represent the next generation of computing that is ubiquitous, wireless and intelligent. These networked sens- ing systems are at the intersection of sensing, communication, control, and computing [16]. Such systems will have applications in numerous elds such as vehicular systems and transportation, medical and health care systems, smart homes and buildings, etc. The proliferation of such sensing systems will trigger an exponential increase in the computational devices that exchange data over existing network infrastructure.

Transporting data at scale in such systems is a challenge [21] mainly due to the underlying network infrastructure which is still resource con- strained and bandwidth-limited. Eorts have been made to improve the network infrastructure [5] [2] [15]. The focus of this thesis is to put forward information-centric strategies that optimize the data transport over existing network infrastructure.

This thesis proposes four dierent information-centric strategies: (1) Strategy to minimize network congestion in a generic sensing system by estimating data with adaptive updates, (2) An adaptive information exchange strategy based on rate of change of state for static and mobile networks, (3) Spatio-temporal strategy that maintains spatial resolution by reducing redundant transmissions, (4) Proximity-dependent data transfer strategy to ensure most updated information in high-density regions. Each of these strategies is experimentally veried to optimize the data transport in their respective setting.

Les CPS intègrent des composants physiques et des composants logiciels. Ils sont particulièrement difficiles à modéliser et à vérifier. En effet, de par la nature hétérogène de leurs composants, leur conception nécessite l’utilisation de différents formalismes de modélisation. Les modèles de ces systèmes combinent à la fois des formalismes à temps continu, et d’autres à événements discrets, pour représenter respectivement leurs composants physiques et logiciels. La vérification de l'ensemble du système nécessite donc la composition de ces composants. La vérification globale peut être réalisée par co-simulation des différents composants. En particulier, la norme FMI offre une interface normative pour coupler plusieurs simulateurs dans un environnement de co-simulation, nommé « Master ». Celui-ci est chargé de fournir un algorithme pour une synchronisation efficace des différents composants du système, nommés FMU. Cependant, FMI est initialement conçu pour la co-simulation des processus physiques, avec un support limité des formalismes à événements discrets qui est modèle de calcul et de communication largement utilisé dans les environnements de modélisation spécifiques au logiciel. En particulier, aucune des solutions actuelles de co-simulation basées sur FMI ne permet de le prendre en considération les modèle UML. La thèse défendue dans ce document est que l'ingénierie système en général bénéficierait de l’intégration des modèles UML dans une approche de co-simulation basée sur la norme FMI. Cela permettra à un grand nombre de concepteurs logiciels d’évaluer le comportement de leurs composants logiciels dans un environnement simulé, et donc de les aider à faire les meilleurs choix de conception le plus tôt possible dans leur processus de développement. Cela pourrait également ouvrir de nouvelles perspectives intéressantes pour les ingénieurs système des CPS, en leur permettant d'envisager l’utilisation d’un langage largement utilisé pour la modélisation des composants logiciels de leurs systèmes. L'objectif de cette thèse est de définir et formaliser un environnement de co-simulation basé sur la norme FMI pour les CPS et intégrant des modèles UML pour la partie logicielle. Nous abordons principalement la question d’adaptation entre la sémantique d’exécution définie dans UML et celle de FMI. Notre contribution intervient à deux niveaux : localement, au niveau des modèles UML, et globalement au niveau du « Master ». Localement, nous mettons en place une approche incrémentale où nous abordons différents types de systèmes à événements discrets caractérisant les composants logiciels. Nous basons nos propositions sur les normes OMG fUML et PSCS qui définissent une sémantique d’exécution précise pour un sous-ensemble de UML. Ces deux normes constitue notre socle de définition nous donne une base intéressante et formelle pour l'intégration des modèles UML dans les approches de co-simulation de CPS. Pour chaque type de système, nous identifions d'abord un ensemble de règles pour le modéliser avec UML et les éventuelles extensions à fUML dans le cas où la sémantique d'exécution des éléments UML requis n’est pas définie dans fUML. Ensuite, au niveau global, nous proposons un algorithme de « Master » pour chaque type de systèmes. Les algorithmes de « Master » reposent sur l'adaptation de la sémantique d’exécution des modèles UML et celle de FMI. Sur cette base, le « Master » est capable de propager les données entre les composants et de les stimuler aux bonnes dates durant la simulation. L'approche est illustrée par des cas d'utilisation du domaine des bâtiments intelligents, où l’objectif est d’évaluer différentes stratégies de gestion d'énergie. Ces stratégies représentent des composants logiciels à différents niveaux de contrôle d’un bâtiment pour des fins d’optimisation de son auto-consommation en électricité
Cyber Physical Systems (CPS) are integrations of physical and computational components. CPS are difficult to model and verify because the heterogeneous nature of their components requires many different modeling formalisms. The global verification of the system can be achieved by co-simulation. FMI standard offers a standard interface to couple two or more simulators in a co-simulation environment, known as master. This latter is responsible for providing an algorithm with efficient orchestration and synchronization of the involved components, known as FMUs. However, FMI was originally intended for co-simulation of physical processes, with limited support for formalisms such as DE and Dara-Flow, even if this kind of formalisms are commonly used to model the logic of software parts of a system. In particular, while UML is the reference standard for software modeling and is very commonly used in industry, none of the present-day FMI-based co-simulation solutions consider UML models. Our thesis is that system engineering in general would greatly benefit from the consideration of UML in FMI-based co-simulation approach. It would indeed enable a significant number of software designers to evaluate the behavior of their software components in their simulated environment, as soon as possible in their development processes, and therefore make early and better design decisions. It would also open new interesting perspectives for CPS system engineers, by allowing them to consider a widely used modeling language for the software parts of their systems. In this context, the objective of this work is to define an FMI-based co-simulation environment for CPS with integration of UML models for software part. Our contribution is twofold: locally at the level of UML models, and globally at the master level. At the local level, we set up an incremental approach where we address different kinds of discrete event systems characterizing the computational components. We base our proposals on OMG standards fUML and PSCS which define precise execution semantics for a subset of UML. They provide an interesting and formal basis for the integration of UML models in CPSs co-simulation approaches. For each kind of system, we first identify a set of rules to model it with UML and potential extensions to fUML in case where execution semantics of the required UML elements are not defined by fUML. Then, at the global level, we propose a master algorithm for each kind of systems. The proposed masters take into account not only external and internal dependencies between components and their capabilities, but also and especially their models of time. They rely on adaptation of fUML semantics to that of the FMI API. Based on these adaptations, the master algorithm is able both to propagate data between components and to trigger them at the correct points of time. The approach is illustrated with use cases from the energy domain where the purpose is to verify energy management strategies defined as software components at different levels of the control module of an energy system

A key cryptographic research interest is developing an automatic, black-box method to provide a relative security strength measure for symmetric ciphers, particularly for proprietary cyber-physical systems (CPS) and lightweight block ciphers. This thesis work extends the work of the recently-developed neural cryptanalysis method, which trains neural networks on a set of plaintext/ciphertext pairs to extract meaningful bitwise relationships and predict corresponding ciphertexts given a set of plaintexts. As opposed to traditional cryptanalysis, the goal is not key recovery but achieving a mimic accuracy greater than a defined base match rate. In addition to reproducing tests run with the Data Encryption Standard, this work applies neural cryptanalysis to round-reduced versions and components of the SIMON/SPECK family of block ciphers and the Advanced Encryption Standard. This methodology generated a metric able to rank the relative strengths of rounds for each cipher as well as algorithmic components within these ciphers. Given the current neural network suite tested, neural cryptanalysis is best-suited for analyzing components of ciphers rather than full encryption models. If these models are improved, this method presents a promising future in measuring the strength of lightweight symmetric ciphers, particularly for CPS.
Master of Science
Cryptanalysis is the process of systematically measuring the strength of ciphers, algorithms used to secure data and information. Through encryption, a cipher is applied to an original message or plaintext to generate muddled message or ciphertext. The inverse of this operation, translating ciphertext back into plaintext, is decryption. Symmetric ciphers only require one shared secret key that is used during for both encryption and decryption. Machine learning is a data analysis method that automates computers to learn certain data properties, which can be used to predict outputs given a set of inputs. Neural networks are one type of machine learning used to uncover relationships, chaining a series of nodes together that individually perform some operations to determine correlations. The topic of this work is neural cryptanalysis, a new approach to evaluate cipher strength relying on machine learning. In this method, the goal is to "learn" the ciphers, using machine learning to predict what the ciphertext will be for an inputted plaintext. This is done by training the networks on plaintext/ciphertext pairs to extract meaningful relationships. If a cipher is easier to predict, it is easier to crack and thus less secure. In this work, neural cryptanalysis was applied to different real-world symmetric ciphers to rank their relatively security. This technique worked best on analyzing smaller components of the cipher algorithms rather than the entire cipher, as the ciphers were complex and the neural networks were simpler.

Traffic Collision Avoidance Systems (TCAS) are safety-critical, unauthenticated, ranging systems required in commercial aircraft. Previous work has proposed TCAS vulnerabilities to attacks from malicious actors with low cost software defined radios (SDR) and inexpensive open-source software (GNU radio) where spoofing TCAS radio signals in now possible. This paper outlines a proposed threat model for several TCAS vulnerabilities from an adversarial perspective. Periodic and aperiodic attack models are explored as possible low latency solutions to spoof TCAS range estimation. A TCAS test bed is established with commercial avionics to demonstrate the efficacy of proposed vulnerabilities. SDRs and Vector Waveform Generators (VWGs) are used to achieve desired latency. Sensor inputs to the TCAS system are spoofed with micro-controllers. These include Radar Altimeter, Barometric Altimeter, and Air Data Computer (ADC) heading and attitude information transmitted by Aeronautical Radio INC (ARINC) 429 encoding protocol. TCAS spoofing is attempted against the test bed and analysis conducted on the timing results and test bed performance indicators. The threat model is analyzed qualitatively and quantitatively.
Master of Science
Traffic Collision Avoidance Systems (TCAS), or Airborne Collision Avoidance Systems ACAS), are safety-critical systems required by the Federal Aviation Administration (FAA) in commercial aircraft. They work by sending queries to surrounding aircraft in the form of radio transmission. Aircraft in the who receive these transmissions send replies. Information in these replies allow the TCAS system to determine if a nearby aircraft may travel too close to itself. TCAS can then determine help both pilots avoid a mid-air collision. Information in the messages can be faked by a malicious actor. To explore these vulnerabilities a test bed is built with commercial grade TCAS equipment. Several types of attacks are evaluated.

Master’s dissertation in Production Engineering
Cyber-Physical Production Systems are widely recognized as the key to unlock the full potential benefits of the Industry 4.0 paradigm. Cyber-Physical Production Systems Design, Development and Deployment methodology is a systematic approach in assessing necessities, identifying gaps and then designing, developing and deploying solutions to fill such gaps. It aims to support and drive enterprise’s evolution to the new working environment promoted by the availability of Industry 4.0 paradigms and technologies while challenged by the need to increment a continuous improvement culture. The proposed methodology considers the different dimensions within enterprises related with their levels of organization, competencies and technology. It is a two-phased sequentially-stepped process to enable discussion, reflection/reasoning, decision-making and action-taking towards evolution. The first phase assesses an enterprise across its Organizational, Technological and Human dimensions. The second phase establishes sequential tasks to successfully deploy solutions. Is was applied to a production section at a Portuguese enterprise with the development of a new visual management system to enable shop floor management. This development is presented as an example of Industry 4.0 technology and it promotes a faster decision-making, better production management, improved data availability as well as fosters more dynamic workplaces with enhanced reactivity to problems.

A Cyber-physical System (CPS) can be described as a network of interlinked, concurrent computational components that interact with the physical world. Such a system is usually of reactive nature and must satisfy strict timing requirements to guarantee a correct behaviour. The components can be of mixed-criticality which implies different progress models and communication models, depending whether the focus of a component lies on predictability or resource efficiency. In this dissertation I present a novel approach that bridges the gap between stream processing models and Labelled Transition Systems (LTSs). The former offer powerful tools to describe concurrent systems of, usually simple, components while the latter allow to describe complex, reactive, components and their mutual interaction. In order to achieve the bridge between the two domains I introduce the novel LTS Synchronous Interface Automaton (SIA) that allows to model the interaction protocol of a process via its interface and to incrementally compose simple processes into more complex ones while preserving the system properties. Exploiting these properties I introduce an analysis to identify permanent blocking situations in a network of composed processes. SIAs are wrapped by the novel component-based coordination model Process Network with Synchronous Communication (PNSC) that allows to describe a network of concurrent processes where multiple communication models and the co-existence and interaction of heterogeneous processes is supported due to well defined interfaces. The work presented in this dissertation follows a holistic approach which spans from the theory of the underlying model to an instantiation of the model as a novel coordination language, called Streamix. The language uses network operators to compose networks of concurrent processes in a structured and hierarchical way. The work is validated by a prototype implementation of a compiler and a Run-time System (RTS) that allows to compile a Streamix program and execute it on a platform with support for ISO C, POSIX threads, and a Linux operating system.

Aus der Einleitung: "Auf der Hannovermesse 2011 wurde zum ersten Mal der Begriff "Industrie 4.0" der Öffentlichkeit bekannt gemacht. Die Akademie der Technikwissenschaften hat in einer Arbeitsgruppe diese Grundidee der vierten Revolution der Industrieproduktion weiterbearbeitet und 2013 in einem Abschlussbericht mit dem Titel „Umsetzungsempfehlungen für das Zukunftsprojekt Industrie 4.0“ veröffentlicht (BmBF, 2013). Die Grundidee besteht darin, wandlungsfähige und effiziente Fabriken unter Nutzung moderner Informationstechnologie zu entwickeln. Basistechnologien für die Umsetzung der intelligenten Fabriken sind: — Cyber-Physical Systems (CPS) — Internet of Things (IoT) und Internet of Services (IoS) — Big Data Analytics and Prediction — Social Media — Mobile Computing Der Abschlussbericht fokussiert den Wertschöpfungsschritt der Produktion, während die Fragen der Produktentwicklung weitgehend unberücksichtigt geblieben sind. Die intelligente Fabrik zur Herstellung intelligenter Produkte setzt aber auch die Weiterentwicklung der Produktentwicklungsmethoden voraus. Auch hier gibt es einen großen Handlungsbedarf, der sehr stark mit den Methoden des „Modellbasierten Systems-Engineering“ einhergeht. ..."

Every year, one out of three adults over the age of 65 falls, and about 30% of the falls result in moderate to severe injuries. The high rate of fall-related hospitalizations and the fact that falls are a major source of morbidity and mortality in older adults have motivated extensive interdisciplinary clinical and engineering research with a focus on fall prevention. This research is aimed at developing a medical Cyber Physical System (CPS) composed of a human supervised mobile robot and ambient intelligence sensors to provide continuous evaluation of environmental risks in the home. As a preventive measure to avoid falls, we propose use of mobile robots to detect possible fall risks inside a house. As a step-up to that, we also define a control framework for intelligent, networked mobile robots to semi-autonomously perform assistive and preventive tasks. This framework is integrated in a smart home that provides monitoring and control capabilities of environmental conditions such as objects blocking pathways or uneven surfaces. The main outcome of this work is the realization of this system at Worcester Polytechnic Institute's (WPI) @Home testbed.

Aktuelle ökonomische Trends, wie die zunehmende Globalisierung und die wachsende Technisierung und Individualisierung vieler Konsumgüter, führen im Hinblick auf die zur Fertigung dieser Güter eingesetzte Automatisierungstechnik zu steigender Komplexität und hohen Flexibilitätsanforderungen. Ein Konzept zur Adressierung dieser Anforderungen ist die Auslegung von automatisierten Anlagen als modulares System flexibel kombinierbarer cyber-physischer Komponenten. Die namensgebende Einheit von mechatronischem Bauteil und lokaler Rechenkapazität ermöglicht Herstellern solcher Komponenten, Softwarebausteine für typische Steuer-, Bedien- oder Diagnoseaufgaben gebrauchsfertig vorzubereiten und so den (Re-)Engineeringaufwand bei der (Um-)Gestaltung des Gesamtsystems deutlich zu reduzieren. Allerdings stellt diese Vision hohe Ansprüche an die zugrundeliegende Softwarearchitektur, die von den derzeit zur Realisierung automatisierter Systeme eingesetzten Technologien nicht vollständig erfüllt werden. Das Paradigma der Agentenorientierung ist ein tragfähiger Ansatz zur Realisierung solcher lose gekoppelten verteilten Systeme und stellt durch leistungsfähige Interaktionsmechanismen sowie die enge Integration von semantischem Wissen zusätzliche Funktionalität in Aussicht: Als Agenten ausgelegte Komponenten könnten auch die logische Vernetzung untereinander während der Inbetriebnahme, nach Umrüstungen oder in Reaktion auf Betriebsstörungen teilweise selbst übernehmen. Dadurch ergeben sich Fähigkeiten wie Selbstkonfiguration und Selbstregeneration, die in der Fachliteratur unter dem Begriff Self-X zusammengefasst werden. Die fehlende Echtzeitfähigkeit, insbesondere in Bezug auf besagte Interaktionsmechanismen, hat jedoch bisher die Einsetzbarkeit von Agentensystemen in der Automatisierung limitiert und die Ausschöpfung der genannten Potentiale behindert. Deshalb wird in dieser Dissertation eine echtzeitfähige Laufzeitumgebung für Softwareagenten entworfen und anschließend die Überarbeitung bestehenden Kommunikationsmechanismen im Hinblick auf ihre Echtzeitfähigkeit vorgenommen. In diesem Kontext wird mit dem Konzept der semantischen Adressierung eine vielfältig einsetzbare Möglichkeit geschaffen, Nachrichten an ausgewählte Gruppen von Agenten mit bestimmten, semantisch beschriebenen Eigenschaften zur verschicken. Die dabei zur Wissensrepräsentation genutzten Taxonomie-Bäume bieten ein für viele Aufgabenstellungen ausreichendes Maß an Ausdrucksstärke und erlauben zudem die Verarbeitung unter harten Echtzeitbedingungen. Abschließend werden die geschaffenen Mechanismen in einem Antwortzeitmodell abgebildet, mit dem das rechtzeitige Reagieren eines Agentensystems auf lokal oder verteilt zu behandelnde Ereignisse überprüft und nachgewiesen werden kann. Damit wird ein Hauptkritikpunkt von Agentensystemen adressiert, was zu einer nachhaltigen Steigerung der Akzeptanz des Agentenparadigmas führen könnte. Während große Teile der erarbeiten Lösung als allgemeingültige Grundlagenforschung verstanden werden können, wird bei der Formulierung von Anforderungen, der Darstellung von Beispielen und der Erläuterung von Entwurfsentscheidungen immer wieder auf automatisierungstechnische Belange Bezug genommen. Außerdem wird am Ende der Arbeit eine kritische Bewertung der Ergebnisse vor dem Hintergrund eines möglichen Einsatzes in zukünftigen Automatisierungssystemen durchgeführt und damit das Gesamtbild abgerundet.

Depuis plusieurs années, nous assistons à une convergence entre les systèmes cyber-physiques (CPS) et l’Internet des Objets (IoT). Les CPS intègrent les systèmes embarqués avec leur environnement physique et humain en assurant une communication entre différents capteurs et actionneurs. L’IoT vise le réseau et les protocoles de communication entre les objets connectés. Cette convergence offre des perspectives d’applications diverses allant des véhicules connectés aux réseaux électriques intelligents ainsi qu’aux usines du futur. Le but de cette thèse est d’assurer et garantir la sûreté de fonctionnement des systèmes CPS-IoT. Pour ceci, nous avons considéré un cas d’étude spécifique tout au long de la thèse qui est les drones. Dans un premier temps, on s’est focalisé sur les différentes méthodes d’analyse de sûreté de fonctionnement qui sont déjà existantes. Ces méthodes ont fait leurs preuves pour la conception et la réalisation des systèmes embarqués. Tout au long de ce process, on a essayé de répondre à la question suivante: est-ce que ces méthodes existantes sont adéquates pour réaliser les analyses de sûreté de fonctionnement nécessaires pour les CPS-IoT? On a conclu la nécessité de nouvelles approches pour analyser la sûreté de fonctionnement des systèmes CPS-IoT du fait de la complexité significative de ces systèmes. Dans un second temps, on a proposé une méthodologie pour l’analyse prédictive de la résilience des CPS-IoT. La résilience est définie comme étant la capacité d’un système à tolérer les pannes, à continuer à fournir le service demandé tout en considérant les différentes contraintes internes et externes au système. On a différencié deux types différents de résilience qui sont la résilience endogène et exogène. La résilience endogène est la capacité inhérente du système à détecter et à traiter les défauts internes et les attaques malveillantes. La résilience exogène est la capacité permanente du système à maintenir un fonctionnement sûr dans son environnement ambiant. La dernière partie de notre travail a consisté à investiguer l’impact de l’intelligence artificielle sur la sûreté de fonctionnement des CPS-IoT. Plus spécifiquement, on s’est intéressé à comment serait-il possible d’utiliser l’intelligence artificielle pour accroître la sûreté des drones lors de la phase de planification de chemin. Les résultats obtenus ont été comparés avec les algorithmes de planification existants
For several years, we have been witnessing a convergence between cyber-physical systems (CPS) and the Internet of Things (IoT). CPS integrate embedded systems with their physical and human environment by ensuring communication between different sensors and actuators. The IoT targets the network and communication protocols between connected objects. This convergence offers prospects for various applications ranging from connected vehicles to smart grids and the factories of the future. The aim of this thesis is to ensure and guarantee the operational safety of CPS-IoT systems. For this, we have considered a specific case study throughout the thesis which is UAVs. Initially, we focused on the different methods of analysis of operational safety that already exist. These methods have proved their worth for the design and implementation of on-board systems. Throughout this process, we tried to answer the following question: are these existing methods adequate to perform the necessary safety analyses for CPS-IoT? It was concluded that new approaches to analyse the safety of operation of CPS-IoT systems are needed due to the significant complexity of these systems. As a second step, a methodology for predictive analysis of the resilience of CPS-IoTs was proposed. Resilience is defined as being the ability of a system to tolerate failures, to continue to provide the requested service while considering the various internal and external constraints of the system. Two different types of resilience have been differentiated: endogenous and exogenous resilience. Endogenous resilience is the inherent ability of the system to detect and deal with internal faults and malicious attacks. Exogenous resilience is the ongoing ability of the system to maintain safe operation in its surrounding environment. The last part of our work was to investigate the impact of artificial intelligence on the safe operation of CPS-IoTs. More specifically, we looked at how artificial intelligence could be used to enhance UAV safety in the path planning phase. The results obtained were compared with existing planning algorithms

Purpose: The purpose of this paper is to identify the opportunities that Industry 4.0 brings within the framework of applying Cyber Physical Systems in an environment of a Smart Factory. This paper shall identify the changes within daily business processes and the impact of these changes on the daily business life. Design/Methodology/Approach: The research is carried out as a case study research. Due to a qualitative approach for this case study interviews are conducted and the results are analyzed and discussed. Findings: Industry 4.0 will change the way we are working today and influence businesses and business processes in many ways. Data handling, processes and efficiency will change and the way we perceive manufacturing will change in a long term view. Further Research: It would be recommended to expand this research by conducting more research in this particular field as well as impacts on the employee should be studied more in detail.

Les Systèmes Cyber-Physiques (SCP) sont un sujet de recherche mature qui interagissent avec l'intelligence artificielle (IA) et les systèmes embarqués (SE). Un SCP peut être défini comme un SE en réseau qui peut analyser un environnement physique, via des capteurs, et prendre des décisions à partir de son état actuel pour l'affecter vers un résultat souhaité, via des actionneurs. Ces SCP nécessitent des algorithmes puissants associés à des architectures matérielles robustes. D'une part, l'Apprentissage en Profondeur (AP) est proposé comme algorithme principal. D'autre part, les méthodologies de conception et de prototypage standard pour SE ne sont pas adaptées au SCP moderne basé sur de l'AP. Dans cette thèse, nous étudions la conception d'IA pour SCP autour de l'AP embarquée avec une plate-forme hybride CPU/FPGA. Nous avons proposé une méthodologie pour développer des applications d'AP pour SCP qui est basée sur l'utilisation d'un accélérateur de réseau de neurones et d'un logiciel d'automatisation pour accélérer le temps de prototypage. Nous présentons la conception et le prototypage de notre accélérateur matériel de réseau de neurones. Enfin, nous validons notre travail à l'aide d'un cas d'usage: un LIDAR (LIght Detection And Ranging) intelligent. Ce cas d'usage est accompagné de plusieurs algorithmes de détection de piétons à l'aide du nuage de points 3D d'un LIDAR
Cyber-Physical Systems (CPSs) are a mature research technology topic that deals with Artificial Intelligence (AI) and Embedded Systems (ES). A CPS can be defined as a networked ES that can analyze a physical environment, via sensors, and make decisions from its current state to affect it toward a desired outcome via actuators. These CPS deal with data analysis, which need powerful algorithms combined with robust hardware architectures. On one hand, Deep Learning (DL) is proposed as the main solution algorithm. On the other hand, the standard design and prototyping methodologies for ES are not adapted to modern DL-based CPS. In this thesis, we investigate AI design for CPS around embedded DL using a hybrid CPU/FPGA platform. We proposed a methodology to develop DL applications for CPS which is based on the usage of a neural network accelerator and an automation software to speed up the prototyping time. We present our hardware neural network accelerator design and prototyping. Finally, we validate our work using a smart LIDAR (LIght Detection And Ranging) application use-case with several algorithms for pedestrians detection using a 3D point cloud from a LIDAR

The term hydrobatics refers to the agile maneuvering of underwater vehicles. Hydrobatic capabilities in autonomous underwater vehicles (AUVs) can enable increased maneuverability without a sacrifice in efficiency and speed. This means innovative robot designs and new use case scenarios are possible. Benefits and technical challenges related to hydrobatic AUVs are explored in this thesis. The dissertation contributes to new knowledge in simulation, control and field applications, and provides a structured approach to realize hydrobatic capabilities in real world impact areas. Three impact areas are considered - environmental monitoring, ocean production and security. A combination of agility in maneuvering and efficiency in performance is crucial for successful AUV applications. To achieve such performance, two technical challenges must be solved. First, these AUVs have fewer control inputs than degrees of freedom, which leads to the challenge of underactuation. The challenge is described in detail and solution strategies that use optimal control and model predictive control (MPC) are highlighted. Second, the flow around an AUV during hydrobatic maneuvers transitions from laminar to turbulent flow at high angles of attack. This renders flight dynamics modelling difficult. A full 0-360 degree envelope flight dynamics model is therefore derived, which combines a multi-fidelity hydrodynamic database with a generalized component-buildup approach. Such a model enables real-time (or near real-time) simulations of hydrobatic maneuvers including loops, helices and tight turns. Next, a cyber-physical system (CPS) is presented -- it safely transforms capabilities derived in simulation to real-world use cases in the impact areas described. The simulator environment is closely integrated with the robotic system, enabling pre-validation of controllers and software before hardware deployment. The small and hydrobatic SAM AUV (developed in-house at KTH as part of the Swedish Maritime Robotics Center) is used as a test platform. The CPS concept is validated by using the SAM AUV for the search and detection of a submerged target in field operating conditions. Current research focuses on further exploring underactuated control and motion planning. This includes development of real-time nonlinear MPC implementations running on AUV hardware, as well as intelligent control through feedback motion planning, system identification and reinforcement learning. Such strategies can enable real-time robust and adaptive control of underactuated systems. These ideas will be applied to demonstrate new capabilities in the three impact areas.
Termen hydrobatik avser förmåga att utföra avancerade manövrer med undervattensfarkoster. Syftet är att, med bibehållen fart och räckvidd, utvigda den operationella förmågan i manövrering, vilket möjliggör helt nya användningsområden för maximering av kostnadseffektivitet. I denna avhandling undersöks fördelar och tekniska utmaningar relaterade till hydrobatik som tillämpas på undervattensrobotar, vanligen kallade autonoma undervattensfarkoster (AUV). Avhandlingen bidrar till ny kunskap i simulering, reglering samt tillämpning i experiment av dessa robotar genom en strukturerad metod för att realisera hydrobatisk förmåga i realistiska scenarier.  Tre nyttoområden beaktas - miljöövervakning, havsproduktion och säkerhet. Inom dessa nyttoområden har ett antal scenarios identifierats där en kombination av smidighet i manövrerbarhet samt effektivitet i prestanda är avgörande för robotens förmåga att utföra sin uppgift. För att åstadkomma detta måste två viktiga tekniska utmaningar lösas. För det första har dessa AUVer färre styrytor/trustrar än frihetsgrader, vilket leder till utmaningen med underaktuering. Utmaningen beskrivs i detalj och lösningsstrategier som använder optimal kontroll och modellprediktiv kontroll belyses. För det andra är flödet runt en AUV som genomför hydrobatiska manövrar komplext med övergång från laminär till stark turbulent flöde vid höga anfallsvinklar. Detta gör flygdynamikmodellering svår. En full 0-360 graders flygdynamikmodell härleds därför, vilken kombinerar en multi-tillförlitlighets hydrodynamisk databas med en generaliserad strategi för komponentvis-superpositionering av laster. Detta möjliggör prediktering av hydrobatiska manövrar som t.ex. utförande av looping, roll, spiraler och väldigt snäva svängradier i realtids- eller nära realtids-simuleringar. I nästa steg presenteras ett cyber-fysikaliskt system (CPS) – där funktionalitet som härrör från simuleringar kan överföras till de verkliga användningsområdena på ett effektivt och säkert sätt. Simulatormiljön är nära integrerad i robot-miljön, vilket möjliggör förvalidering av reglerstrategier och mjukvara innan hårdvaruimplementering. En egenutvecklad hydrobatisk AUV (SAM) används som testplattform. CPS-konceptet valideras med hjälp av SAM i ett realistiskt sceanrio genom att utföra ett sökuppdrag av ett nedsänkt föremål under fältförhållanden. Resultaten av arbetet i denna licentiatavhandling kommer att användas i den fortsatta forskningen som fokuserar på att ytterligare undersöka och utveckla ny metodik för reglering av underaktuerade AUVer. Detta inkluderar utveckling av realtidskapabla ickelinjära MPC-implementeringar som körs ombord, samt AI-baserade reglerstrategier genom ruttplaneringsåterkoppling, autonom systemidentifiering och förstärkningsinlärning. Sådan utveckling kommer att tillämpas för att visa nya möjligheter inom de tre nyttoområdena.
SMaRC

This thesis describes the implementation of a Digital Twin tied to Virtual Reality environment thatcould, by easy means be expanded to Augmented Reality-solution. The field is of interest due to thefact that movement into Industry 4.0 puts the traditional operator in a new seat of work. Previoushands-on tasks are replaced with system monitoring and supervision roles. New interconnectedindustrial hardware allows for extensive data collection, while interactive technology like VR/ARhelps monitoring live systems in completely new manners. An operator can overview and debugindustrial systems while not even being in close proximity of the physical system. This provides theopportunity to increase the level of system information presented to the operator. The Cyber PhysicalFactory created by Festo was targeted to be represented as a digital twin. The question asked: What arethe advantages and/or disadvantages of monitoring and troubleshooting a Festo CP-Factory by meansof a digital twin-driven visualization? proved to be extensive and the work included mapping ofimportant factory data and DRM-research to find visual improvements between the provided solutionsby Festo, and an implemented digital twin. The solution we produced focuses on overview anddebugging and it connects to OPC-servers on each mapped module of the Cyber Physical Factory andacquires the data. This data can then be used to expand, test and debug previous sessions. Each realimplementation of a factory has some type of logging of data, our solution allows visualization of thoselog entries as close to reality as possible, reducing the need to search databases for indications ofproblems. The Unity 3D created software also handles dynamic connections where the operator canmodify which nodes to connect to in an intuitive way, this enables our software to abstract and modifyinformation outside of the source code.

Networked control over wireless networks is of growing importance in many application domains such as industrial control, building automation and transportation systems. Wide deployment however, requires systematic design tools to enable efficient resource usage while guaranteeing close-loop control performance. The control system may be greatly affected by the inherent imperfections and limitations of the wireless medium and malfunction of system components. In this thesis, we make five important contributions that address these issues.  In the first contribution, we consider event- and self-triggered control and investigate how to efficiently tune and execute these paradigms for appropriate control performance. Communication strategies for aperiodic control are devised, where we jointly address the selection of medium-access control and scheduling policies. Experimental results show that the best trade-off is obtained by a hybrid scheme, combining event- and self-triggered control together with contention-based and contention-free medium access control. The second contribution proposes an event-based method to select between fast and slow periodic sampling rates. The approach is based on linear quadratic control and the event condition is a quadratic function of the system state. Numerical and experimental results show that this hybrid controller is able to reduce the average sampling rate in comparison to a traditional periodic controller, while achieving the same closed-loop control performance. In the third contribution, we develop compensation methods for out-of-order communications and time-varying delays using a game-theoretic minimax control framework. We devise a linear temporal coding strategy where the sensor combines the current and previous measurements into a single packet to be transmitted. An experimental evaluation is performed in a multi-hop networked control scenario with a routing layer vulnerability exploited by a malicious application. The experimental and numerical results show the advantages of the proposed compensation schemes. The fourth contribution proposes a distributed reconfiguration method for sensor and actuator networks. We consider systems where sensors and actuators cooperate to recover from faults. Reconfiguration is performed to achieve model-matching, while minimizing the steady-state estimation error covariance and a linear quadratic control cost. The reconfiguration scheme is implemented in a room heating testbed, and experimental results demonstrate the method's ability to automatically reconfigure the faulty system in a distributed and fast manner. The final contribution is a co-simulator, which combines the control system simulator Simulink with the wireless network simulator COOJA. The co-simulator integrates physical plant dynamics with realistic wireless network models and the actual embedded software running on the networked devices. Hence, it allows for the validation of the complete wireless networked control system, including the study of the interactions between software and hardware components.

QC 20140929

To ease development and lower the entry barrier for new adopters many development environments offer visual means to edit complex data. Cyber-physical systems are a perfect candidate for such manipulations since they are usually described in the form of isolated, well defined components that can be manipulated individually. The physical parts of such systems often can be directly translated into real world objects and allowing the developer to interact with those in a familiar manner can greatly increase the usability and agility of the development process. In this thesis we focus on the exploration of interactive manipulation of hybrid system models. Our research examines a solution based on the Acumen simulation environment. We describe the tight integration between the textual model and 3D visualisation, go into detailed analysis of the implementation and use case-studies to illustrate concrete applications

Submitted by Emanuel Varela Cardoso (emanuel.varela@ufcg.edu.br) on 2018-05-04T17:30:47Z No. of bitstreams: 1 ALDENOR FALCÃO MARTINS – DISSERTAÇÃO (PPGEE) 2015.pdf: 15602466 bytes, checksum: 608173ca67ff68da8ae45b321aa82204 (MD5)
Made available in DSpace on 2018-05-04T17:30:47Z (GMT). No. of bitstreams: 1 ALDENOR FALCÃO MARTINS – DISSERTAÇÃO (PPGEE) 2015.pdf: 15602466 bytes, checksum: 608173ca67ff68da8ae45b321aa82204 (MD5) Previous issue date: 2015-04-24
Segundo o IBGE em 2013, o Brasil apresentava 13% de sua população composta por pessoas acima de 65 anos, somado a isto, o estilo de vida das sociedades ocidentais tem facilitado o aparecimento de doenças crônicas cada vez mais cedo. A premissa é que tornemos mais eficiente a utilização do nosso sistema de saúde, pois este é um recurso escasso. Uma forma de melhorar esta eficiência é assegurar que os tratamentos prescritos serão devidamente seguidos. Quando o paciente se encontra no hospital uma gama de recursos monitora a saúde do paciente oferecendo acompanhamento seguro na eventualidade de um desvio, alertando e armazenando as informações do paciente no decorrer de suas atividades. Um recurso que ajuda no acompanhamento deste paciente é a monitoração remota do paciente, que possibilita que sensores enviem a informação da condição de saúde do paciente e permitam o acompanhamento do mesmo. Sistemas Físicos Cibernéticos (SFC) são entidades computacionais ligadas em rede que operam entidades no mundo físico de maneira cooperativa. Tais sistemas podem ser utilizados em redes de monitoramento remoto de pacientes com o fim de apresentar e ajustar o tratamento de acordo com as recomendações do médico. Este trabalho propõe um passo na direção da autonomia, que permita uma melhor qualidade de vida ao paciente crônico, permitindo que situações conhecidas e dentro de um regime de segurança previamente determinado pelo médico sejam ajustadas. Este trabalho apresenta uma proposta de um Sistema Físico Cibernético (SFC), que permite que adequações ao tratamento previamente elaboradas sejam colocadas em planos de tratamento por meio de agentes inteligentes e de planejadores SAT e sejam disponibilizadas de acordo com a mudança da condição do paciente, através de uma rede monitoramento do paciente, seguindo padrões estabelecidos para dispositivos médicos utilizados em casa que disponibiliza o tratamento ao paciente. O modelo proposto é indicado para o acompanhamento em casa de doenças crônicas através de um coletor central responsável pela coordenação do acompanhamento do paciente.
According to IBGE in 2013 13% of the population had 60 or more years old. As the national population ages, we have to move towards more efficient use of SUS. A way to improve is the closer followup of patient’s evolution by the healthcare professional. At the hospital the patient has access to a set of equipments and expert knowledge capable to correct the treatment path. From this scenario it is easy to imply the need for a change, the current status quo is unbearable financially and cumbersome for patient and doctor routines. A resource that helps is the remote patient monitoring (RPM) , where sensors provide the latest information about patient’s health status and are able to suggest a course correction on the treatment path. A Cyber-Physical System (CPS) is a network of interacting computational entities with physical inputs and outputs that work together towards a goal. A CPS can be part of a RPM in order to present and adjust the treatment according to the healthcare professional recommendations. This work offers a framework for situations where the medical expert knowledge is complete allowing changes on the treatment path be adjusted with minimum risk. Our proposal to deal with the problem is a CPS based remote patient monitoring network where a model for the system is developed based on Multiagent Agent System (MAS) and automatic planning system based on SAT, allowing safe and minimal course correction on treatment paths already set for a patient. This proposal operates through a central hub element responsible to coordinate the followup of the patient.

The thesis reviews the current situation related to the Industry 4.0 and puts it into context. In the first part of the thesis, there is an introduction to the current economic situation and the major challenges. The concept and vision of Industry 4.0 is introduced together with the world's leading initiatives and examples of Industry 4.0 technologies in manufacturing processes presented by tech leaders. The thesis also includes examples of readiness models and simulated calculation ROCE. The finding of the thesis is that, although the very concept of Industry 4.0 is not well known, digitization and automation of production continues and both are considered a necessity. Interviews with experts from the business practice in the Czech Republic introduces key opportunities and challenges arising from new technologies and when they might become the new standard.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-05-09T17:24:59Z No. of bitstreams: 1 LENARDO CHAVES E SILVA - TESE PPGCC 2015..pdf: 9863003 bytes, checksum: b4ff7a7517f3ec159596b4b3c8730219 (MD5)
Made available in DSpace on 2018-05-09T17:24:59Z (GMT). No. of bitstreams: 1 LENARDO CHAVES E SILVA - TESE PPGCC 2015..pdf: 9863003 bytes, checksum: b4ff7a7517f3ec159596b4b3c8730219 (MD5) Previous issue date: 2015-11-12
Capes
Sistemas Médicos Físico-Cibernéticos (SMFC) são sistemas críticos cientes de contexto que têm a segurança do paciente como principal requisito, demandando processos rigorosos de validação para garantir a conformidade com os requisitos do usuário e a corretude orientada à especificação. Neste trabalho é proposta uma arquitetura baseada em modelos para validação de SMFC, focando em promover a reúso e a produtividade. Tal abordagem permite que desenvolvedores de sistemas construam modelos formais de SMFC baseados em uma biblioteca de modelos de pacientes e dispositivos médicos, bem como simular o SMFC para identificar comportamentos indesejados em tempo de projeto. A abordagem proposta foi aplicada a três diferentes cenários clínicos para avaliar seu potencial de reúso para diferentes contextos. A abordagem foi também validada por meio de uma avaliação empírica com desenvolvedores para avaliar o reúso e a produtividade. Finalmente, os modelos foram formalmente verificados considerando os requisitos funcionais e de segurança, além da cobertura dos modelos.
Medical Cyber-Physical Systems (MCPS) are context-aware, life-critical systems with patient safety as the main concern, demanding rigorous processes for validation to guarantee user requirement compliance and specification-oriented correctness. In this article, we propose a model-based approach for early validation of MCPS, focusing on promoting reusability and productivity. It enables system developers to build MCPS formal models based on a library of patient and medical device models, and simulate the MCPS to identify undesirable behaviors at design time. Our approach has been applied to three different clinical scenarios to evaluate its reusability potential for different context. We have also validated our approach through an empirical evaluation with developers to assess productivity and reusability. Finally, our models have been formally verified considering functional and safety requirements and model coverage.

The power grid has changed a great deal from what has been generally viewed as a traditional power grid. The modernization of the power grid has seen an increase in the integration and incorporation of computing and communication elements, creating an interdependence of both physical and cyber assets of the power grid. The fast-increasing connectivity has transformed the grid from what used to be primarily a physical system into a Cyber- Physical System (CPS). The physical elements within a power grid are well understood by power engineers; however, the newly deployed cyber aspects are new to most researchers and operators in this field. The new computing and communications structure brings new vulnerabilities along with all the benefits it provides. Cyber security of the power grid is critical due to the potential impact it can make on the community or society that relies on the critical infrastructure. These vulnerabilities have already been exploited in the attack on the Ukrainian power grid, a highly sophisticated, multi-layered attack which caused large power outages for numerous customers. There is an urgent need to understand the cyber aspects of the modernized power grid and take the necessary precautions such that the security of the CPS can be better achieved. The power grid is dependent on two main cyber infrastructures, i.e., Supervisory Control And Data Acquisition (SCADA) and Advanced Metering Infrastructure (AMI). This thesis investigates the AMI in power grids by developing a testbed environment that can be created and used to better understand and develop security strategies to remove the vulnerabilities that exist within it. The testbed is to be used to conduct and implement security strategies, i.e., an Intrusion Detections Systems (IDS), creating an emulated environment to best resemble the environment of the AMI system. A DoS flooding attack and an IDS are implemented on the emulated testbed to show the effectiveness and validate the performance of the emulated testbed.
M.S.
The power grid is becoming more digitized and is utilizing information and communication technologies more, hence the smart grid. New systems are developed and utilized in the modernized power grid that directly relies on new communication networks. The power grid is becoming more efficient and more effective due to these developments, however, there are some considerations to be made as for the security of the power grid. An important expectation of the power grid is the reliability of power delivery to its customers. New information and communication technology integration brings rise to new cyber vulnerabilities that can inhibit the functionality of the power grid. A coordinated cyber-attack was conducted against the Ukrainian power grid in 2015 that targeted the cyber vulnerabilities of the system. The attackers made sure that the grid operators were unable to observe their system being attacked via Denial of Service attacks. Smart meters are the digitized equivalent of a traditional energy meter, it wirelessly communicates with the grid operators. An increase in deployment of these smart meters makes it such that we are more dependent on them and hence creating a new vulnerability for an attack. The smart meter integration into the power grid needs to be studied and carefully considered for the prevention of attacks. A testbed is created using devices that emulate the smart meters and a network is established between the devices. The network was attacked with a Denial of Service attack to validate the testbed performance, and an Intrusion detection method was developed and applied onto the testbed to prove that the testbed created can be used to study and develop methods to cover the vulnerabilities present.

Företags framtid ligger i dess egna händer; beroende på hur väl de anpassar sig till nya förutsättningar i alla dess former så kommer vissa att överleva medan andra går i graven. Under flera hundra år har utvecklingen inom industrin medfört att företag kommit och gått. Idag står vi enligt flera inför randen till en ny teknisk era med en fjärde industriell revolution som följd, Industri 4.0. Vi har en evolution mot en mer automatiserad tillverkningsindustri där allt fler moment sker utan en människas händer bakom spakarna. Industri 4.0 ses av många som en vision om hur framtiden kommer att se ut inom tillverkningsindustrin. Många av de idéer samt teknik som finns inom denna vision går att ta del av redan idag och möjligheterna till att förbereda sig för framtiden finns redan och det gäller att så snabbt som möjligt börja ställa om för detta. I takt med att industrin och dess konkurrens förändras kommer kraven på kvalité öka samtidigt som tillverkningen måste blir mer resurseffektiv. Området är mycket viktigt att belysa då det är ett nytt område där det tidigare inte skett mycket forskning. Att belysa detta område kan även komma att inspirera andra till ytterligare studier inom området och främja utvecklingen för fler företag än endast fallföretaget i denna studie: HordaGruppen. Syftet med studien har varit att inledningsvis få en förståelse för vilka tankar och idéer om framtiden som finns inom industrin idag för att senare kunna testa lösningar baserade på dessa idéer på några befintliga problem inom HordaGruppen, vars verksamhet finns inom plastindustrin. Lösningarna kan ses som de första stegen mot Industri 4.0 för att underlätta för företaget ifråga inför en framtida utveckling och ger även företaget möjlighet att börja samla in data kring processen, vilket i framtiden ger företag som HordaGruppen en fördel gentemot konkurrenter som påbörjar sin omställning senare. Utgångspunkten för studien har varit en kvalitativ studie med aktionsforskning och fallstudie som angreppsätt. Fallstudien har utförts genom en intervju med John Lejon, affärsutvecklare på HordaGruppen och en öppen diskussion med produktionsledare Valdet Berisha angående maskinen som är fokuserad på. Data till studien har erhållits genom artiklar skrivna inom området samt en intervju med grundaren till ett stort statligt projekt i Tyskland, Philipp Ramin, där de startat ett innovationscentrum för Industri 4.0. Resultatet i rapporten är att med hjälp av dagens teknik går det att ta de första stegen mot visionen Industri 4.0. All teknik finns självklart inte, men med hjälp av den teknik som finns idag kan olika företag inom tillverkningsindustrin dra fördelar av att starta omställningen mot Industri 4.0 redan idag.
The future of industry is in companies own hands. Today we are going to a more automated manufacturing industry where human beings are less involved and it is more crucial than ever before to adapt to new changes in the industry and technology. Internet of things and cyber physical systems are becoming a bigger part of our lives. This case study on HordaGruppen is focused on how HordaGruppen from the plastic industry can develop with some ideas from the vision Industry 4.0 in order to ensure the quality of the product. Most of the technology needed for Industry 4.0 is available today and there is no reason not to start using it. The study will introduce to Industry 4.0 and the basic ideas that the vision stands for and then try to define and solve some problems within one machine in one of their plants. The results presented in this study shows that using sensors and other technology available today you can take the first steps towards Industry 4.0.

Cyber-Physical Systems (CPS) have become one of the greatest research topics today; because they pose a new complex discipline, which addresses big existing and future systems as the Internet, the Internet of Things, sensors networks and smart grids. As a recent discipline, there are many possibilities to improve the state of the art, interoperability being one of the most relevant. Thus, this thesis has been created within the framework of interoperability for CPS, by using the SOS (Sensor Observation Service) standard, which belongs to the SWE (Sensor Web Enablement) framework of the OGC (Open Geospatial Consortium). It has been developed to give rise to a new line of research within the Distributed Real-Time Systems and Applications group (SATRD for its acronym in Spanish) from the Communications Department of the Polytechnic University of Valencia (UPV for its acronym in Valencian). The approach, with which the interoperability in the CPS has been addressed, is of synthetic type (from parts to whole), starting from a verifiable and workable solution for interoperability in sensor networks, one of the most significant CPSs because it is integrated in many other CPSs, next adapting and testing the solution in more complex CPS, such as the Internet of Things. In this way, an interoperability solution in sensor networks is proposed based on the SOS, but adapted to some requirements that makes of this mechanism a lighter version of the standard, which facilitates the deployment of future implementations due to the possibility of using limited devices for this purpose. This theoretical solution is brought to a first implementation, called SOSLite, which is tested to determine its characteristic behavior and to verify the fulfillment of its purpose. Analogously, and starting from the same theoretical solution, a second implementation is projected called SOSFul, which proposes an update to the SOS standard so that it is lighter, more efficient and easier to use. The SOSFul, has a more ambitious projection by addressing the Internet of Things, a more complex CPS than sensors networks. As in the case of the SOSLite, tests are performed and validation is made through a use case. So, both the SOSLite and the SOSFul are projected as interoperability solutions in the CPS. Both implementations are based on the theoretical proposal of a light SOS and are available for free and under open source licensing so that it can be used by the research community to continue its development and increase its use.
Los Sistemas Ciber-Físicos (CPS) se han convertido en uno de los temas de investigación con mayor proyección en la actualidad; debido a que plantean una nueva disciplina compleja, que aborda sistemas existentes y futuros de gran auge como: la Internet, la Internet de las Cosas, las redes de sensores y las redes eléctricas inteligentes. Como disciplina en gestación, existen muchas posibilidades para aportar al estado del arte, siendo la interoperabilidad uno de los más relevantes. Así, esta tesis se ha creado en el marco de la interoperabilidad para los CPS, mediante la utilización del estándar SOS (Sensor Observation Service) perteneciente al marco de trabajo SWE (Sensor Web Enablement) del OGC (Open Geospatial Consortium). Se ha desarrollado para dar surgimiento a una nueva línea de investigación dentro del grupo SATRD (Sistemas y Aplicaciones de Tiempo Real Distribuidos) del Departamento de Comunicaciones de la UPV (Universitat Politècnica de València). La aproximación con la cual se ha abordado la interoperabilidad en los CPS es de tipo sintética (pasar de las partes al todo), iniciando desde una solución, verificable y realizable, para la interoperabilidad en las redes de sensores, uno de los CPS más significativos debido a que se integra en muchos otros CPS, y pasando a adaptar y comprobar dicha solución en CPS de mayor complejidad, como la Internet de las Cosas. De esta forma, se propone una solución de interoperabilidad en las redes de sensores fundamentada en el SOS, pero adaptada a unos requerimientos que hacen de este mecanismo una versión más ligera del estándar, con lo que se facilita el despliegue de futuras implementaciones debido a la posibilidad de emplear dispositivos limitados para tal fin. Dicha solución teórica, se lleva a una primera implementación, denominada SOSLite, la cual se prueba para determinar su comportamiento característico y verificar el cumplimiento de su propósito. De forma análoga y partiendo de la misma solución teórica, se proyecta una segunda implementación, llamada SOSFul, la cual propone una actualización del estándar SOS de forma que sea más ligero, eficiente y fácil de emplear. El SOSFul, tiene una proyección más ambiciosa al abordar la Internet de las Cosas, un CPS más complejo que las redes de sensores. Como en el caso del SOSLite, se realizan pruebas y se valida mediante un caso de uso. Así, tanto el SOSLite como el SOSFul se proyectan como soluciones de interoperabilidad en los CPS. Ambas implementaciones parten de la propuesta teórica de SOS ligero y se encuentran disponibles de forma gratuita y bajo código libre, para ser empleados por la comunidad investigativa para continuar su desarrollo y aumentar su uso.
Els sistemes ciberfísics (CPS, Cyber-Physical Systems) s'han convertit en un dels temes de recerca amb major projecció en l'actualitat, a causa del fet que plantegen una nova disciplina complexa que aborda sistemes existents i futurs de gran auge, com ara: la Internet, la Internet de les Coses, les xarxes de sensors i les xarxes elèctriques intel·ligents. Com a disciplina en gestació, hi ha moltes possibilitats per a aportar a l'estat de la qüestió, sent la interoperabilitat una de les més rellevants. Així, aquesta tesi s'ha creat en el marc de la interoperabilitat per als CPS, mitjançant la utilització de l'estàndard SOS (Sensor Observation Service) pertanyent al marc de treball SWE (Sensor Web Enablement) de l'OGC (Open Geospatial Consortium). S'ha desenvolupat per a iniciar una nova línia de recerca dins del Grup de SATRD (Sistemes i Aplicacions de Temps Real Distribuïts) del Departament de Comunicacions de la UPV (Universitat Politècnica de València). L'aproximació amb la qual s'ha abordat la interoperabilitat en els CPS és de tipus sintètic (passar de les parts al tot), iniciant des d'una solució, verificable i realitzable, per a la interoperabilitat en les xarxes de sensors, un dels CPS més significatius pel fet que s'integra en molts altres CPS, i passant a adaptar i comprovar aquesta solució en CPS de major complexitat, com la Internet de les Coses. D'aquesta forma, es proposa una solució d'interoperabilitat en les xarxes de sensors fonamentada en el SOS, però adaptada a uns requeriments que fan d'aquest mecanisme una versió més lleugera de l'estàndard, amb la qual cosa es facilita el desplegament de futures implementacions per la possibilitat d'emprar dispositius limitats a aquest fi. Aquesta solució teòrica es porta a una primera implementació, denominada SOSLite, que es prova per a determinar el seu comportament característic i verificar el compliment del seu propòsit. De forma anàloga i partint de la mateixa solució teòrica, es projecta una segona implementació, anomenada SOSFul, que proposa una actualització de l'estàndard SOS de manera que siga més lleuger, eficient i fàcil d'emprar. El SOSFul té una projecció més ambiciosa quan aborda la Internet de les Coses, un CPS més complex que les xarxes de sensors. Com en el cas del SOSLite, es realitzen proves i es valida mitjançant un cas d'ús. Així, tant el SOSLite com el SOSFul, es projecten com a solucions d'interoperabilitat en els CPS. Ambdues implementacions parteixen de la proposta teòrica de SOS lleuger, i es troben disponibles de forma gratuïta i en codi lliure per a ser emprades per la comunitat investigadora a fi de continuar el seu desenvolupament i augmentar-ne l'ús.
Pradilla Ceron, JV. (2016). SOSLite: Soporte para Sistemas Ciber-Físicos y Computación en la Nube [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/76808
TESIS

Indoor localization remains an open problem in geolocation research, and once this is solved the localization enables counting and tracking of building occupants. This information is vital in an emergency, enables occupancy-optimized heating or cooling, and assists smart buildings in tailoring services for occupants. Unfortunately, two prevalent technologies---GPS and cellular-based positioning---perform poorly indoors due to attenuation and multipath from the building. To address this issue, the research community devised many alternatives for indoor localization (e.g., beacons, RFID tags, Wi-Fi fingerprinting, and UWB to cite just a few examples). A drawback with most is the requirement for those being located to carry a properly-configured device at all times. An alternative based on computer vision techniques poses significant privacy concerns due to cameras recording building occupants. By contrast, ILoViT research makes novel use of accelerometers already present in some buildings. These sensors were originally intended to monitor structural health or to study structural dynamics. The key idea is that when a person's footstep-generated floor vibrations can be detected and located then it becomes possible to locate persons moving within a building. Vibration propagation in buildings has complexities not encountered by acoustic or radio wave propagation in air; thus, conventional localization algorithms are inadequate. ILoVIT algorithms account for these conditions and have been demonstrated in a public building to provide sub-meter accuracy. Localization provides the foundation for counting and tracking, but providing these additional capabilities confronts new challenges. In particular, how does one determine the correct association of footsteps to the person making them? The ILoViT research created two methods for solving the data association problem. One method only provides occupancy counting but has modest, polynomial time complexity. The other method draws inspiration from prior work in the radar community on the multi-target tracking problem, specifically drawing from the multiple hypothesis tracking strategy. This dissertation research makes new enhancements to this tracking strategy to account for human gait and characteristics of footstep-derived multilateration. The Virginia Polytechnic Institute and State University's College of Engineering recognized this dissertation research with the Paul E. Torgersen Graduate Student Research Excellence Award.
Ph. D.

Den globala industrin har under det senaste decenniet genomgått en enorm digital transformation, där tillämpandet av digitala och smarta verktyg inom företag aldrig har varit mer påtagligt. Under november 2011 presenterades begreppet Industrial 4.0 i en artikel skriven av den Tyska regeringen som beskriver en teknikintensiv strategi för år 2020 och omfattar vad idag betraktas som den fjärde industriella revolutionen. Industri 4.0 utgörs till stor del av integrationsprocessen mellan teknik och övrig verksamhet inom ett tillverkningsföretag, vilket i sin tur ger upphov till teknik såsom; automation, förstärkt verklighet, simuleringar, intelligenta tillverkningsprocesser samt övriga processindustriella IT-verktyg och -system. Flertal forskningsstudier hävdar att Industri 4.0-teknologier har potential att revolutionera sättet företag idag tillverkar produkter, men i och med att begreppet är relativt nytt, abstrakt samt består av väldigt komplexa tekniker och komponenter, är införandet av dessa inom en tillverkningsmiljö för närvarande en stor utmaning för tillverkande företag. Denna studie syftar alltså till att belysa de utmaningar och hinder som större tillverkande företag möter vid implementering av digital och smart teknik, samt åtgärder för att motverka dessa. Målet med studien är att leverera ett användbart resultat både för aktiva företag inom tillverkningsindustrin i form av stöd vid analys och diskussion av eventuella implementeringsstrategier och -satsningar inom Industri 4.0, men också ge övriga intressenter en uppfattning kring ämnet med tanke på att det, som sagt, är ett abstrakt system. En litteraturstudie genomfördes både för att få en överblick kring ämnet Industri 4.0 och hur det har behandlats i tidigare examensarbeten, avhandlingar samt forskningsstudier, men även för att identifiera tidigare identifierade hinder. Därefter genomfördes fältstudier på två tillverkande företag, Scania och Atlas Copco, samt teknikkonsultföretaget Knightec. Syftet med detta var framförallt att få en mer påtaglig och verklighetsförankrad uppfattning av Industri 4.0 men även verifiera att informationen i den teoretiska delen är relevant i praktiken för en tillverkande verksamhet. Studien påvisade därtill att identifierade utmaningar och hinder återfinns bland flertal organisatoriska områden inom ett tillverkande företag, varav de mest framgående aspekterna omfattade strategi, ledarskap, kunder, kultur, anställda, juridik samt teknik. Resultatet avslöjade vidare att tillverkande företag präglas av bristfälliga planer och strategier för att identifiera samt implementera nya tekniska lösningar, konflikter bland de anställda, svårigheter att integrera kundsystem enhetligt inom produktionen, avsaknad av lämplig teknisk kompetens, juridiska problem vad gäller hantering av data samt svårigheter att integrera nya och gamla teknologier.
The global industry has during the last decade undergone a considerable digital transformation, whereas the application of digital and smart technology within companies has never been more of a relevant field. During November of 2011, the term Industrial 4.0 was presented in an article written by the German government to describe a technology intensive strategy for the year 2020 and signifies what today is defined as the fourth industrial revolution. Industry 4.0 largely consists of the integration process between technology and remaining operations within a manufacturing company, which enables the development of technologies such as; automation, augmented reality, simulations, intelligent manufacturing processes and other process industrial IT-tools and systems. Several research studies has suggested that Industry 4.0 technologies has the potential to revolutionize the way companies today manufacture products, however, since the concept is relatively new, abstract and consists of various complex technologies and components, the implementation process of these within a manufacturing environment is one largest challenges that manufacturing companies are facing. This study therefore aims to highlight the challenges and difficulties that large manufacturing companies are facing when implementing digital and smart technology, as well as provide solutions regarding how they can be overcome. The overall goal is to deliver useful results both for active companies within the manufacturing industry in regards to serving as support when analyzing and discussing possible implementation strategies as well investments related to Industry 4.0, but also to provide surrounding stakeholders with a perception of the subject. At the commencement of the project, a literature study was performed to develop an overview of how Industry 4.0 has been discussed in previous theses and research studies as well as to find previously identified difficulties regarding the implementation process. Finally, a field study was performed at Scania and Atlas Copco and at the technology consulting firm Knightec. The main purpose was to gain a more realistic perspective regarding how digitalization and Industry 4.0 systems are applied and to verify that the information from our theoretical study is relevant and applicable within an actual manufacturing company. The study furthermore revealed that the identified difficulties and challenges can be found within multiple organizational areas of a manufacturing company, whereas the most distinct aspects consisted of strategy, leadership, customers, culture, employees, legal governance as well as technology. The results showed that companies were characterized by an overall lack of strategy to implement new technologies, conflicts with employees during implementation, difficulties to integrate customer orders with production, lack of technical skills in staff, legal issues regarding data storage and difficulties integrating new and old technologies.

As organisations adapt to the rigorous demands set by global markets, the supply chains that constitute their logistics networks become increasingly complex. This often has a detrimental effect on the supply chain visibility within the organisation, which may in turn have a negative impact on the core business of the organisation. This paper aims to determine how organisations can benefit in terms of improving their logistical supply chain visibility by implementing a Digital Twin — an all-encompassing virtual representation of the physical assets that constitute the logistics system. Furthermore, challenges related to implementation and the necessary steps to overcome these challenges were examined.  The results of the study are that Digital Twins may prove beneficial to organisations in terms of improving metrics of analytics, diagnostics, predictions and descriptions of physical assets. However, these benefits come with notable challenges — managing implementation and maintenance costs, ensuring proper information modelling, adopting new technology and leading the organisation through the changes that an implementation would entail.  In conclusion, a Digital Twin is a powerful tool suitable for organisations where the benefits outweigh the challenges of the initial implementation. Therefore, careful consideration must be taken to ensure that the investment is worthwhile. Further research is required to determine the most efficient way of introducing a Digital Twin to a logistical supply chain.
I takt med att organisationer anpassar sig till de hårda krav som ställs av den globala marknaden ökar också komplexiteten i deras logistiknätverk. Detta har ofta en negativ effekt på synligheten inom logistikkedjan i organisationen, vilken i sin tur kan ha en negativ påverkan på organisationens kärnverksamhet. Målet med denna studie är att utröna de fördelar som organisationer kan uppnå vad gäller att förbättra synligheten inom deras logistikkedjor genom att implementera en Digital Tvilling — en allomfattande virtuell representation av de fysiska tillgångar som utgör logistikkedjan.  Resultaten av studien är att Digitala Tvillingar kan vara gynnsamma för organisationer när det gäller att förbättra analys, diagnostik, prognoser och beskrivningar av fysiska tillgångar. Implementationen medför dock utmaningar — hantering av implementations- och driftskostnader, utformning av informationsmodellering, anammandet av ny teknik och ledarskap genom förändringsarbetet som en implementering skulle innebära.  Sammanfattningsvis är en Digital Tvilling ett verktyg som lämpar sig för organisationer där fördelarna överväger de utmaningar som tillkommer med implementationen. Därmed bör beslutet om en eventuell implementation endast ske efter noggrant övervägande. Vidare forskning behöver genomföras för att utröna den mest effektiva metoden för att introducera en Digital Tvilling till en logistikkedja.

Self-adaptive systems have limited time to adjust their configurations whenever their adaptation goals, i.e., quality requirements, are violated due to some runtime uncertainties. Within the available time, they need to analyze their adaptation space, i.e., a set of configurations, to find the best adaptation option, i.e., configuration, that can achieve their adaptation goals. Existing formal analysis approaches find the best adaptation option by analyzing the entire adaptation space. However, exhaustive analysis requires time and resources and is therefore only efficient when the adaptation space is small. The size of the adaptation space is often in hundreds or thousands, which makes formal analysis approaches inefficient in large-scale self-adaptive systems. In this thesis, we tackle this problem by presenting an online learning approach that enables formal analysis approaches to analyze large adaptation spaces efficiently. The approach integrates with the standard feedback loop and reduces the adaptation space to a subset of adaptation options that are relevant to the current runtime uncertainties. The subset is then analyzed by the formal analysis approaches, which allows them to complete the analysis faster and efficiently within the available time. We evaluate our approach on two different instances of an Internet of Things application. The evaluation shows that our approach dramatically reduces the adaptation space and analysis time without compromising the adaptation goals.

Currently manufacturers in the European Surface Mount Technology (SMT) industry seeproduction changeover, machine downtime and process optimization as their biggestchallenges. They also see a need for collecting data and sharing information betweenmachines, people and systems involved in the manufacturing process. Internet of Things (IoT)technology provides an opportunity to make this happen. This research project gives answers tothe question of what the potentials and challenges of IoT implementation are in European SMTmanufacturing. First, key IoT concepts are introduced. Then, through interviews with expertsworking in SMT manufacturing, the current standpoint of the SMT industry is defined. The studypinpoints obstacles in SMT IoT implementation and proposes a solution. Firstly, local datacollection and sharing needs to be achieved through the use of standardized IoT protocols andAPIs. Secondly, because SMT manufacturers do not trust that sensitive data will remain securein the Cloud, a separation of proprietary data and statistical data is needed in order take a stepfurther and collect Big Data in a Cloud service. This will allow for new services to be offered byequipment manufacturers.
I dagsläget upplever tillverkare inom den europeiska ytmonteringsindustrin för elektronikproduktionsomställningar, nedtid för maskiner och processoptimering som sina störstautmaningar. De ser även ett behov av att samla data och dela information mellan maskiner,människor och system som som är delaktiga i tillverkningsprocessen.Sakernas internet, även kallat Internet of Things (IoT), erbjuder teknik som kan göra dettamöjligt. Det här forskningsprojektet besvarar frågan om vilken potential som finns samt vilkautmaningar en implementation av sakernas internet inom europeisk ytmonteringstillverkning avelektronik innebär. Till att börja med introduceras nyckelkoncept inom sakernas internet. Sedandefinieras utgångsläget i elektroniktillverkningsindustrin genom intervjuer med experter.Studien belyser de hinder som ligger i vägen för implementation och föreslår en lösning. Dettainnebär först och främst att datainsamling och delning av data måste uppnås genomanvändning av standardiserade protokoll för sakernas internet ochapplikationsprogrammeringsgränssnitt (APIer). På grund av att elektroniktillverkare inte litar påatt känslig data förblir säker i molnet måste proprietär data separeras från statistisk data. Dettaför att möjliggöra nästa steg som är insamling av så kallad Big Data i en molntjänst. Dettamöjliggör i sin tur för tillverkaren av produktionsmaskiner att erbjuda nya tjänster.

Change over time is a fact. The world is characterized by ongoing processes of development, formation, and growth in both natural and human-created systems. For instance the present diversity of plant and animal life arose from the earliest and most primitive organisms through gradual changes. This process of gradual changes over generations is termed evolution and has been long studied in biology which basically leads to the fact that complex, natural systems are not created all at once but must instead evolve over time. Theory of evolution and the fact that evolutionary processes are ubiquitous and critical for social, educational, and technological innovations is accepted by researchers working in different domains. In the scope of this dissertation, the major driving force behind the study of evolutionary principles is solving real-world problems that have frequent changes in the scope of problems or the surroundings of the problem. Cyber Physical Systems (CPSs) are systems that comprises of integration of computation and physical processes. In CPS, computation and communication involves interaction with physical environment to add new capabilities and characteristics to systems. However, the integration of physical component increases the factor for unreliability to the overall system because of the unpredictable behaviours of the physical world. This makes CPS as dynamic systems that are adaptive to the changes that will occur at runtime based on the uncertainties in the physical world. In such types of systems “evolution” is an intrinsic feature. Studying such types of systems and developing suitable solutions has been the goal of this research work. The results thus obtained are presented in this dissertation. Furthermore, the research work presented here provides research results in the direction of self-evolutionary CPS which can be the base for mission critical systems like air-traffic control, disaster detection and also for business processes which are highly dependent on real-time data. In such scenarios, self-evolving systems will be prepared to automatically detect changes in the external circumstances that can affect internal conditions, take mitigation measures (adaptation loop) and learn from the changed scenario based on the acquired understanding of system behaviour (learning loop) so that whole system can take long term mitigation actions to avoid future cases of failure (evolutionary loop). The mission hereby assumed is to provide theoretical and technological solution that can be used for defining sensorial and behavioural modelling for CPSs which can be coupled with the model of evolutionary machines in order to achieve evolutionary CPS. The self- characteristics are obtained via framework for dynamic re-configuration and methodology for injecting acquired knowledge into the evolutionary model. The presented research results are validated by some industrial use-cases and at the same time provide some important base for further research.

The main aim of this dissertation is to address the security issues of the physical layer of Cyber Physical Systems. The network security is first assessed using a 5-level Network Security Evaluation Scheme (NSES). The network security is then enhanced using a novel Intrusion Detection System that is designed using Supervised Machine Learning. Defined as a complete architecture, this framework includes a complete packet analysis of radio traffic of Routing Protocol for Low-Power and Lossy Networks (RPL). A dataset of 300 different simulations of RPL network is defined for normal traffic, hello flood attack, DIS attack, increased version attack and decreased rank attack. The IDS is a multi-model detection model that provides an efficient detection against the known as well as new attacks. The model analysis is done with the cross-validation method as well as using the new data from a similar network. To detect the known attacks, the model performed at 99% accuracy rate and for the new attack, 85% accuracy is achieved.
Graduate

Aktuelle ökonomische Trends, wie die zunehmende Globalisierung und die wachsende Technisierung und Individualisierung vieler Konsumgüter, führen im Hinblick auf die zur Fertigung dieser Güter eingesetzte Automatisierungstechnik zu steigender Komplexität und hohen Flexibilitätsanforderungen. Ein Konzept zur Adressierung dieser Anforderungen ist die Auslegung von automatisierten Anlagen als modulares System flexibel kombinierbarer cyber-physischer Komponenten. Die namensgebende Einheit von mechatronischem Bauteil und lokaler Rechenkapazität ermöglicht Herstellern solcher Komponenten, Softwarebausteine für typische Steuer-, Bedien- oder Diagnoseaufgaben gebrauchsfertig vorzubereiten und so den (Re-)Engineeringaufwand bei der (Um-)Gestaltung des Gesamtsystems deutlich zu reduzieren. Allerdings stellt diese Vision hohe Ansprüche an die zugrundeliegende Softwarearchitektur, die von den derzeit zur Realisierung automatisierter Systeme eingesetzten Technologien nicht vollständig erfüllt werden. Das Paradigma der Agentenorientierung ist ein tragfähiger Ansatz zur Realisierung solcher lose gekoppelten verteilten Systeme und stellt durch leistungsfähige Interaktionsmechanismen sowie die enge Integration von semantischem Wissen zusätzliche Funktionalität in Aussicht: Als Agenten ausgelegte Komponenten könnten auch die logische Vernetzung untereinander während der Inbetriebnahme, nach Umrüstungen oder in Reaktion auf Betriebsstörungen teilweise selbst übernehmen. Dadurch ergeben sich Fähigkeiten wie Selbstkonfiguration und Selbstregeneration, die in der Fachliteratur unter dem Begriff Self-X zusammengefasst werden. Die fehlende Echtzeitfähigkeit, insbesondere in Bezug auf besagte Interaktionsmechanismen, hat jedoch bisher die Einsetzbarkeit von Agentensystemen in der Automatisierung limitiert und die Ausschöpfung der genannten Potentiale behindert. Deshalb wird in dieser Dissertation eine echtzeitfähige Laufzeitumgebung für Softwareagenten entworfen und anschließend die Überarbeitung bestehenden Kommunikationsmechanismen im Hinblick auf ihre Echtzeitfähigkeit vorgenommen. In diesem Kontext wird mit dem Konzept der semantischen Adressierung eine vielfältig einsetzbare Möglichkeit geschaffen, Nachrichten an ausgewählte Gruppen von Agenten mit bestimmten, semantisch beschriebenen Eigenschaften zur verschicken. Die dabei zur Wissensrepräsentation genutzten Taxonomie-Bäume bieten ein für viele Aufgabenstellungen ausreichendes Maß an Ausdrucksstärke und erlauben zudem die Verarbeitung unter harten Echtzeitbedingungen. Abschließend werden die geschaffenen Mechanismen in einem Antwortzeitmodell abgebildet, mit dem das rechtzeitige Reagieren eines Agentensystems auf lokal oder verteilt zu behandelnde Ereignisse überprüft und nachgewiesen werden kann. Damit wird ein Hauptkritikpunkt von Agentensystemen adressiert, was zu einer nachhaltigen Steigerung der Akzeptanz des Agentenparadigmas führen könnte. Während große Teile der erarbeiten Lösung als allgemeingültige Grundlagenforschung verstanden werden können, wird bei der Formulierung von Anforderungen, der Darstellung von Beispielen und der Erläuterung von Entwurfsentscheidungen immer wieder auf automatisierungstechnische Belange Bezug genommen. Außerdem wird am Ende der Arbeit eine kritische Bewertung der Ergebnisse vor dem Hintergrund eines möglichen Einsatzes in zukünftigen Automatisierungssystemen durchgeführt und damit das Gesamtbild abgerundet.

Research Doctorate - Doctor of Philosophy (PhD)
Recently, the inception of a fourth industrial revolution, termed Industry 4.0, gave a boost to the concept of the smart factory, which offers the advanced features of enterprise integration, automation, seamless information exchange, intelligent self-organisation of components and decentralised decision making. In order to accomplish these promises, a mature amalgamation of allied technologies e.g. Internet of Things (IoT), Cloud Computing, Big Data and Multi-Agent Systems (MAS) is incumbent. Recent research explains that the idea of Industry 4.0 focuses mainly on large enterprise but, for its compatibility with Small to Medium Size Enterprises (SMEs), there is still much research to be done. This dissertation focuses on providing a comprehensive SC architecture for SMEs under the umbrella of Industry 4.0 to resolve the issue of compatibility, by presenting the MAS based Agent Oriented Smart Factory (AOSF) framework. This framework provides a general architecture for the whole value chain, incorporating concerns from both ends of a firm: Supply Chain Management (SCM) and Customer Relationship Management (CRM). In order to provide a complete solution, this thesis also includes the associated framework of Agent Oriented Storage and Retrieval (AOSR) system to alleviate the persisting problems of SMEs in warehouse management. The classification and categorisation of constituent agents of this two-fold system, with their negotiation and communication strategies, are also discussed. Problem and Domain definitions for AOSF are extracted using a multi-agent extension of Hierarchical Task Networking (MA-HTN). Heuristics and experimental results for the implementation and validation of this system are also presented in comparison with existing standard strategies. The results reflect improvements in overall efficiency within SME-oriented warehouses. Some of the possible future work recommendations, scalability of this system and industry interest for this proposed strategy are also discussed.

Dissertação de mestrado em Industrial Engineering
The work related to the project of this dissertation will consist of an analysis of the technological evolution of the machining processes with CNC (Computer Numerical Control) machines regarding the new concept of Industry 4.0. The concept fits into the current transformation process for the fourth industrial revolution, such as integrated Cyber-Physical Systems (CPS) within the manufacturing processes using the Internet of Things (IoT) in industrial processes. Faced with technological advances, the processes of Industrial Engineering in machining using CNC machines must undergo adaptations, aiming at substantial increases in the operational effectiveness. Thus, an approach will be made to understand how current processes can adapt to the concept under study when analyzing the evolution of the machining tools for CNC machines in the face of new processes. A thorough study will be done to adapt the methodology of Industry 4.0 applying it to the machining processes in CNC Machines. Thereby, a proposal for future applications will be given on the topics studied. The methodology will be based entirely on a documental analysis research strategy. The virtual technology in machining tools is still a subject in development, being one of the main factors to be understood in this dissertation. In this study, it will be possible to analyze the main factors that can influence directly or indirectly the production processes of a factory with CNC machines. It will be explored and studied the types of machining processes for CNC machines and the types of machining tools developed with virtual technology. When we are talking about virtual technology, we are usually addressing the need for software. In CNC machining operations, there is a CAM (Computer Aided Manufacturing) software that performs machining simulations for CNC machines. Thus, a study and analysis of a production system involving a CAM software, a tool with virtual technology and CNC machines will be done to verify how this set can work encompassed and what changes this production model introduces. In the sequence of this study, an idea of a new production system will be proposed, allowing for a better understanding of the possibilities for application of new approaches in the future.
O trabalho relacionado ao projeto desta dissertação de mestrado consistirá de uma análise da evolução tecnológica dos processos de usinagem com as máquinas CNC (Comando Numérico Computacional) em relação ao novo conceito da Indústria 4.0. O conceito se enquadra no atual processo de transformação da quarta revolução industrial, com os Sistemas Ciber-Físicos integrados (CPS) dentro dos processos de fabricação que utilizam a Internet das Coisas (IoT) em processos industriais. Diante dos avanços tecnológicos, os processos de Engenharia Industrial em usinagem utilizando máquinas CNC devem sofrer adaptações, visando um aumento substancial na eficácia operacional. Assim, uma abordagem será feita para entender como os processos atuais podem se adaptar ao conceito em estudo, visando também uma análise da evolução das ferramentas de usinagem para máquinas CNC em face de novos processos. Um estudo minucioso será feito para adaptar a metodologia da Indústria 4.0, aplicando-a aos processos de usinagem em máquinas CNC. Com isso, algumas proposta para aplicações futuras serão apresentadas para os tópicos estudados. A metodologia será totalmente baseada em uma estratégia de investigação documental. A tecnologia virtual em ferramentas de usinagem ainda é um assunto em desenvolvimento, sendo um dos principais fatores a serem compreendidos na realização deste trabalho. Neste estudo, será possível analisar os principais fatores que podem influenciar direta ou indiretamente nos processos de produção de uma fábrica com máquinas CNC. Serão explorados e estudados os tipos de processos de usinagem para máquinas CNC e os tipos de ferramentas de usinagem desenvolvidas com tecnologia virtual. Quando abordamos o assunto sobre tecnologia virtual, geralmente estamos a lidar com a necessidade de um software. Nas operações de usinagem CNC, existe um software CAM (Manufatura Assistida por Computador) que realiza simulações de usinagem para máquinas CNC. Assim, um estudo e análise do sistema de produção envolvendo um software CAM, uma ferramenta com tecnologia virtual e máquinas CNC será feito para verificar como este conjunto pode trabalhar englobado e quais as mudanças para esse modelo de produção. Na sequência dessa análise, será proposta uma ideia de um novo sistema de produção, que permite uma melhor compreensão das possibilidades de aplicação no futuro das novas abordagens.