Monitoring and Information Alignment in Pursuit of an IoT-Enabled Self-Sustainable Interoperability

To remain competitive with big corporations, small and medium-sized enterprises (SMEs) often need to be more dynamic, adapt to new business situations, react faster, and thereby survive in today‘s global economy. To do so, SMEs normally seek to create consortiums, thus gaining access to new and more opportunities. However, this strategy may also lead to complications. Due to the different sources of enterprise models and semantics, organizations are experiencing difficulties in seamlessly exchanging vital information via electronic means. In their attempt to address this issue, most seek to achieve interoperability by establishing peer-to-peer mappings with different business partners, or by using neutral data standards to regulate communications in optimized networks. Moreover, systems are more and more dynamic, frequently changing to answer new customer‘s requirements, causing new interoperability problems and a reduction of efficiency. Another situation that is constantly changing is the devices used in the enterprises, as the Enterprise Information Systems, devices are used to register internal data, and to be used to monitor several aspects. These devices are constantly changing, following the evolution and growth of the market. So, it is important to monitor these devices and doing a model representation of them. This dissertation proposes a self-sustainable interoperable framework to monitor existing enterprise information systems and their devices, monitor the device/enterprise network for changes and automatically detecting model changes. With this, network harmonization disruptions are detected in a timely way, and possible solutions are suggested to regain the interoperable status, thus enhancing robustness for reaching sustainability of business networks along time

NEGOSEIO: framework for the sustainability of model-oriented enterprise interoperability

Dissertation to obtain the degree of Doctor of Philosophy in Electrical and Computer Engineering(Industrial Information Systems)This dissertation tackles the problematic of Enterprise Interoperability in the current globally connected world. The evolution of the Information and Communication Technologies has endorsed the establishment of fast, secure and robust data exchanges, promoting the development of networked solutions. This allowed the specialisation of enterprises (particularly SMEs) and favoured the development of complex and heterogeneous provider systems. Enterprises are abandoning their self-centrism and working together on the development of more complete solutions. Entire business solutions are built integrating several enterprises (e.g., in supply chains, enterprise nesting) towards a common objective. Additionally, technologies, platforms, trends, standards and regulations keep evolving and demanding enterprises compliance. This evolution needs to be continuous, and is naturally followed by a constant update of each networked enterprise’s interfaces, assets, methods and processes. This unstable environment of perpetual change is causing major concerns in both SMEs and customers as the current interoperability grounds are frail, easily leading to periods of downtime, where business is not possible. The pressure to restore interoperability rapidly often leads to patching and to the adoption of immature solutions, contributing to deteriorate even more the interoperable environment. This dissertation proposes the adoption of NEGOSEIO, a framework that tackles interoperability issues by developing strong model-based knowledge assets and promoting continuous improvement and adaptation for increasing the sustainability of interoperability on enterprise systems. It presents the research motivations and the developed framework’s main blocks, which include model-based knowledge management, collaboration service-oriented architectures implemented over a cloud-based solution, and focusing particularly on its negotiation core mechanism to handle inconsistencies and solutions for the detected interoperability problems. It concludes by validating the research and the proposed framework, presenting its application in a real business case of aerospace mission design on the European Space Agency (ESA).FP7 ENSEMBLE, UNITE, MSEE and IMAGINE project

Skill-based reconfiguration of industrial mobile robots

Caused by a rising mass customisation and the high variety of equipment versions, the exibility of manufacturing systems in car productions has to be increased. In addition to a exible handling of production load changes or hardware breakdowns that are established research areas in literature, this thesis presents a skill-based recon guration mechanism for industrial mobile robots to enhance functional recon gurability. The proposed holonic multi-agent system is able to react to functional process changes while missing functionalities are created by self-organisation. Applied to a mobile commissioning system that is provided by AUDI AG, the suggested mechanism is validated in a real-world environment including the on-line veri cation of the recon gured robot functionality in a Validity Check. The present thesis includes an original contribution in three aspects: First, a recon - guration mechanism is presented that reacts in a self-organised way to functional process changes. The application layer of a hardware system converts a semantic description into functional requirements for a new robot skill. The result of this mechanism is the on-line integration of a new functionality into the running process. Second, the proposed system allows maintaining the productivity of the running process and exibly changing the robot hardware through provision of a hardware-abstraction layer. An encapsulated Recon guration Holon dynamically includes the actual con guration each time a recon guration is started. This allows reacting to changed environment settings. As the resulting agent that contains the new functionality, is identical in shape and behaviour to the existing skills, its integration into the running process is conducted without a considerable loss of productivity. Third, the suggested mechanism is composed of a novel agent design that allows implementing self-organisation during the encapsulated recon guration and dependability for standard process executions. The selective assignment of behaviour-based and cognitive agents is the basis for the exibility and e ectiveness of the proposed recon guration mechanism

A holonic manufacturing architecture for line-less mobile assembly systems operations planning and control

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2022.O Line-Less Mobile Assembly Systems (LMAS) é um paradigma de fabricação que visa maximizar a resposta às tendências do mercado através de configurações adaptáveis de fábrica utilizando recursos de montagem móvel. Tais sistemas podem ser caracterizados como holonic manufacturing systems (HMS), cujas chamadas holonic control architecture (HCA) são recentemente retratadas como abordagens habilitadoras da Indústria 4.0 devido a suas relações de entidades temporárias (hierárquicas e/ou heterárquicas). Embora as estruturas de referência HCA como PROSA ou ADACOR/ADACOR² tenham sido muito discutidas na literatura, nenhuma delas pode ser aplicada diretamente ao contexto LMAS. Assim, esta dissertação visa responder à pergunta \"Como uma arquitetura de produção e sistema de controle LMAS precisa ser projetada?\" apresentando os modelos de projeto de arquitetura desenvolvidos de acordo com as etapas da metodologia para desenvolvimento de sistemas holônicos multi-agentes ANEMONA. A fase de análise da ANEMONA resulta em uma especificação do caso de uso, requisitos, objetivos do sistema, simplificações e suposições. A fase de projeto resulta nos modelos de organização, interação e agentes, seguido de uma breve análise de sua cobertura comportamental. O resultado da fase de implementação é um protótipo (realizado com o Robot Operation System) que implementa os modelos ANEMONA e uma ontologia LMAS, que reutiliza elementos de ontologias de referência do domínio de manufatura. A fim de testar o protótipo, um algoritmo para geração de dados para teste baseado na complexidade dos produtos e na flexibilidade do chão de fábrica é apresentado. A validação qualitativa dos modelos HCA é baseada em como o HCA proposto atende a critérios específicos para avaliar sistemas HCA. A validação é complementada por uma análise quantitativa considerando o comportamento dos modelos implementados durante a execução normal e a execução interrompida (e.g. equipamento defeituoso) em um ambiente simulado. A validação da execução normal concentra-se no desvio de tempo entre as agendas planejadas e executadas, o que provou ser em média irrelevante dentro do caso simulado considerando a ordem de magnitude das operações típicas demandadas. Posteriormente, durante a execução do caso interrompido, o sistema é testado sob a simulação de uma falha, onde duas estratégias são aplicadas, LOCAL\_FIX e REORGANIZATION, e seu resultado é comparado para decidir qual é a opção apropriada quando o objetivo é reduzir o tempo total de execução. Finalmente, é apresentada uma análise sobre a cobertura desta dissertação culminando em diretrizes que podem ser vistas como uma resposta possível (entre muitas outras) para a questão de pesquisa apresentada. Além disso, são apresentados pontos fortes e fracos dos modelos desenvolvidos, e possíveis melhorias e idéias para futuras contribuições para a implementação de sistemas de controle holônico para LMAS.Abstract: The Line-Less Mobile Assembly Systems (LMAS) is a manufacturing paradigm aiming to maximize responsiveness to market trends (product-individualization and ever-shortening product lifecycles) by adaptive factory configurations utilizing mobile assembly resources. Such responsive systems can be characterized as holonic manufacturing systems (HMS), whose so-called holonic control architectures (HCA) are recently portrayed as Industry 4.0-enabling approaches due to their mixed-hierarchical and -heterarchical temporary entity relationships. They are particularly suitable for distributed and flexible systems as the Line-Less Mobile Assembly or Matrix-Production, as they meet reconfigurability capabilities. Though HCA reference structures as PROSA or ADACOR/ADACOR² have been heavily discussed in the literature, neither can directly be applied to the LMAS context. Methodologies such as ANEMONA provide guidelines and best practices for the development of holonic multi-agent systems. Accordingly, this dissertation aims to answer the question \"How does an LMAS production and control system architecture need to be designed?\" presenting the architecture design models developed according to the steps of the ANEMONA methodology. The ANEMONA analysis phase results in a use case specification, requirements, system goals, simplifications, and assumptions. The design phase results in an LMAS architecture design consisting of the organization, interaction, and agent models followed by a brief analysis of its behavioral coverage. The implementation phase result is an LMAS ontology, which reuses elements from the widespread manufacturing domain ontologies MAnufacturing's Semantics Ontology (MASON) and Manufacturing Resource Capability Ontology (MaRCO) enriched with essential holonic concepts. The architecture approach and ontology are implemented using the Robot Operating System (ROS) robotic framework. In order to create test data sets validation, an algorithm for test generation based on the complexity of products and the shopfloor flexibility is presented considering a maximum number of operations per work station and the maximum number of simultaneous stations. The validation phase presents a two-folded validation: qualitative and quantitative. The qualitative validation of the HCA models is based on how the proposed HCA attends specific criteria for evaluating HCA systems (e.g., modularity, integrability, diagnosability, fault tolerance, distributability, developer training requirements). The validation is complemented by a quantitative analysis considering the behavior of the implemented models during the normal execution and disrupted execution (e.g.; defective equipment) in a simulated environment (in the form of a software prototype). The normal execution validation focuses on the time drift between the planned and executed schedules, which has proved to be irrelevant within the simulated case considering the order of magnitude of the typical demanded operations. Subsequently, during the disrupted case execution, the system is tested under the simulation of a failure, where two strategies are applied, LOCAL\_FIX and REORGANIZATION, and their outcome is compared to decide which one is the appropriate option when the goal is to reduce the overall execution time. Ultimately, it is presented an analysis about the coverage of this dissertation culminating into guidelines that can be seen as one possible answer (among many others) for the presented research question. Furthermore, strong and weak points of the developed models are presented, and possible improvements and ideas for future contributions towards the implementation of holonic control systems for LMAS

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component failures. Self-adaptive software is increasingly expected to meet strict functional and non-functional requirements in applications from areas as diverse as manufacturing, healthcare and finance. To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). ENTRUST uses a combination of (1) design-time and runtime modelling and verification, and (2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing the suitability of the software for its intended application. To evaluate the effectiveness of our methodology, we present a tool-supported instance of ENTRUST and its use to develop proof-of-concept self-adaptive software for embedded and service-based systems from the oceanic monitoring and e-finance domains, respectively. The experimental results show that ENTRUST can be used to engineer self-adaptive software systems in different application domains and to generate dynamic assurance cases for these systems

Improving System Reliability for Cyber-Physical Systems

Cyber-physical systems (CPS) are systems featuring a tight combination of, and coordination between, the system's computational and physical elements. Cyber-physical systems include systems ranging from critical infrastructure such as a power grid and transportation system to health and biomedical devices. System reliability, i.e., the ability of a system to perform its intended function under a given set of environmental and operational conditions for a given period of time, is a fundamental requirement of cyber-physical systems. An unreliable system often leads to disruption of service, financial cost and even loss of human life. An important and prevalent type of cyber-physical system meets the following criteria: processing large amounts of data; employing software as a system component; running online continuously; having operator-in-the-loop because of human judgment and an accountability requirement for safety critical systems. This thesis aims to improve system reliability for this type of cyber-physical system. To improve system reliability for this type of cyber-physical system, I present a system evaluation approach entitled automated online evaluation (AOE), which is a data-centric runtime monitoring and reliability evaluation approach that works in parallel with the cyber-physical system to conduct automated evaluation along the workflow of the system continuously using computational intelligence and self-tuning techniques and provide operator-in-the-loop feedback on reliability improvement. For example, abnormal input and output data at or between the multiple stages of the system can be detected and flagged through data quality analysis. As a result, alerts can be sent to the operator-in-the-loop. The operator can then take actions and make changes to the system based on the alerts in order to achieve minimal system downtime and increased system reliability. One technique used by the approach is data quality analysis using computational intelligence, which applies computational intelligence in evaluating data quality in an automated and efficient way in order to make sure the running system perform reliably as expected. Another technique used by the approach is self-tuning which automatically self-manages and self-configures the evaluation system to ensure that it adapts itself based on the changes in the system and feedback from the operator. To implement the proposed approach, I further present a system architecture called autonomic reliability improvement system (ARIS). This thesis investigates three hypotheses. First, I claim that the automated online evaluation empowered by data quality analysis using computational intelligence can effectively improve system reliability for cyber-physical systems in the domain of interest as indicated above. In order to prove this hypothesis, a prototype system needs to be developed and deployed in various cyber-physical systems while certain reliability metrics are required to measure the system reliability improvement quantitatively. Second, I claim that the self-tuning can effectively self-manage and self-configure the evaluation system based on the changes in the system and feedback from the operator-in-the-loop to improve system reliability. Third, I claim that the approach is efficient. It should not have a large impact on the overall system performance and introduce only minimal extra overhead to the cyberphysical system. Some performance metrics should be used to measure the efficiency and added overhead quantitatively. Additionally, in order to conduct efficient and cost-effective automated online evaluation for data-intensive CPS, which requires large volumes of data and devotes much of its processing time to I/O and data manipulation, this thesis presents COBRA, a cloud-based reliability assurance framework. COBRA provides automated multi-stage runtime reliability evaluation along the CPS workflow using data relocation services, a cloud data store, data quality analysis and process scheduling with self-tuning to achieve scalability, elasticity and efficiency. Finally, in order to provide a generic way to compare and benchmark system reliability for CPS and to extend the approach described above, this thesis presents FARE, a reliability benchmark framework that employs a CPS reliability model, a set of methods and metrics on evaluation environment selection, failure analysis, and reliability estimation. The main contributions of this thesis include validation of the above hypotheses and empirical studies of ARIS automated online evaluation system, COBRA cloud-based reliability assurance framework for data-intensive CPS, and FARE framework for benchmarking reliability of cyber-physical systems. This work has advanced the state of the art in the CPS reliability research, expanded the body of knowledge in this field, and provided some useful studies for further research