Internet of Things Software Modules Marketplace

The project developed is a centralised repository of software packages to be used in cyber-physical systems. It is composed by a central database, an http api, an ftp client to serve files and a web application to manage the repository. The system also communicates via OPCUA protocol with the embed-system for real time monitoring.The advent of the Cyber-Physical Systems (CPS), a physical system representation through a vir-tual model, usually used to control a system or a process comes from the growing democratizationof the computational power. Nowadays, virtually anything can be equipped with some kind ofembedded processor to automate tasks, generate or consume some kind of data. In addition, thecontinuous development and improvement of the communication networks has helped leveragethe concept of the Internet of Things (IoT) in which things are now, themselves, connected to theInternet, exchanging data with each other and with people.In the industrial sector, CPS, also called Cyber-Physical Production Systems (CPPS) and theIoT are the main technological advances that lead to the industry fourth revolution, common des-ignated as Industry 4.0 in which the factory floor is no longer a centralized model where all thecomputation is done centrally but is now a decentralized model where industrial equipment haveembedded devices to control, automate tasks and react in a dynamic and intelligent manner to thesensed physical environment.Thereby, one of the keywords around the CPPSs is software. Software is no longer centralizedand is now distributed through several devices that comprises the system. This new approachcomes with significant changes and one of them is the reuse and distribution of the software. Itis not viable to manual deploy and install software in hundreds or thousands of devices and nothaving a way of reusing the existing software. If, on the one hand, the desire is to develop a moreintelligent process control system, on the other, flexibility, adaptability and simplicity are alsoconvenient capabilities or else intelligent manufacturing process control systems are built upon alot of resources debt. Hence, the solution is to build standards, tools and frameworks that allowthe reuse of software and its rapid deployment in the distributed devices.One option, in the Industry 4.0 field, to cope with the software reuse issue in this kind of sys-tems is the encapsulation of software in functional blocks, the Function Blocks (FBs) and their usein the function block programming paradigm, described in IEC 61499 standard. The functionalityis abstracted away in the FBs and can be reused by just deploying the them to the devices. Thisway, it is easier to manage a network by dragging and dropping these blocks, building complexapplications centrally and deploy everything to the distributed embedded devices. However, theimplementation of this standard to address the aforementioned problem brings, itself, other neces-sities such as managing the FBs, monitoring them and their previous download by the embeddeddevices.This dissertation main goal is the development of a marketplace to manage and monitor of FBs in a IEC 61499 network envisioning the filling of the previous mentioned gaps in this kindof networks. The marketplace, integrated in a IEC 61499 global solution will not only enable thedistribution of FBs among the embedded devices in a IEC 61499 compliant CPPS but also manageFBs versions, functioning as a central repository of software components, having also monitoringand statistical features, allowing the detection of flaws or malfunctions and collect statistical datai iiabout FBs usage

A Novel Method for Adaptive Control of Manufacturing Equipment in Cloud Environments

The ability to adaptively control manufacturing equipment, both in local and distributed environments, is becoming increasingly more important for many manufacturing companies. One important reason for this is that manufacturing companies are facing increasing levels of changes, variations and uncertainty, caused by both internal and external factors, which can negatively impact their performance. Frequently changing consumer requirements and market demands usually lead to variations in manufacturing quantities, product design and shorter product life-cycles. Variations in manufacturing capability and functionality, such as equipment breakdowns, missing/worn/broken tools and delays, also contribute to a high level of uncertainty. The result is unpredictable manufacturing system performance, with an increased number of unforeseen events occurring in these systems. Events which are difficult for traditional planning and control systems to satisfactorily manage. For manufacturing scenarios such as these, the use of real-time manufacturing information and intelligence is necessary to enable manufacturing activities to be performed according to actual manufacturing conditions and requirements, and not according to a pre-determined process plan. Therefore, there is a need for an event-driven control approach to facilitate adaptive decision-making and dynamic control capabilities. Another reason driving the move for adaptive control of manufacturing equipment is the trend of increasing globalization, which forces manufacturing industry to focus on more cost-effective manufacturing systems and collaboration within global supply chains and manufacturing networks. Cloud Manufacturing is evolving as a new manufacturing paradigm to match this trend, enabling the mutually advantageous sharing of resources, knowledge and information between distributed companies and manufacturing units. One of the crucial objectives for Cloud Manufacturing is the coordinated planning, control and execution of discrete manufacturing operations in collaborative and networked environments. Therefore, there is also a need that such an event-driven control approach supports the control of distributed manufacturing equipment. The aim of this research study is to define and verify a novel and comprehensive method for adaptive control of manufacturing equipment in cloud environments. The presented research follows the Design Science Research methodology. From a review of research literature, problems regarding adaptive manufacturing equipment control have been identified. A control approach, building on a structure of event-driven Manufacturing Feature Function Blocks, supported by an Information Framework, has been formulated. The Function Block structure is constructed to generate real-time control instructions, triggered by events from the manufacturing environment. The Information Framework uses the concept of Ontologies and The Semantic Web to enable description and matching of manufacturing resource capabilities and manufacturing task requests in distributed environments, e.g. within Cloud Manufacturing. The suggested control approach has been designed and instantiated, implemented as prototype systems for both local and distributed manufacturing scenarios, in both real and virtual applications. In these systems, event-driven Assembly Feature Function Blocks for adaptive control of robotic assembly tasks have been used to demonstrate the applicability of the control approach. The utility and performance of these prototype systems have been tested, verified and evaluated for different assembly scenarios. The proposed control approach has many promising characteristics for use within both local and distributed environments, such as cloud environments. The biggest advantage compared to traditional control is that the required control is created at run-time according to actual manufacturing conditions. The biggest obstacle for being applicable to its full extent is manufacturing equipment controlled by proprietary control systems, with native control languages. To take the full advantage of the IEC Function Block control approach, controllers which can interface, interpret and execute these Function Blocks directly, are necessary

Towards a new methodology for design, modelling, and verification of reconfigurable distributed control systems based on a new extension to the IEC 61499 standard

In order to meet user requirements and system environment changes, reconfigurable control systems must dynamically adapt their structure and behaviour without disrupting system operation. IEC 61499 standard provides limited support for the design and verification of such systems. In fact, handling different reconfiguration scenarios at runtime is difficult since function blocks in IEC 61499 cannot be changed at run-time. Hence, this thesis promotes an IEC 61499 extension called reconfigurable function block (RFB) that increases design readability and smoothly switches to the most appropriate behaviour when a reconfiguration event occurs. To ensure system feasibility after reconfiguration, in addition to the qualitative verification, quantitative verification based on probabilistic model checking is addressed in a new RFBA approach. The latter aims to transform the designed RFB model automatically into a generalised reconfigurable timed net condition/event system model (GRTNCES) using a newly developed environment called RFBTool. The GR-TNCES fits well with RFB and preserves its semantic. Using the probabilistic model checker PRISM, the generated GR-TNCES model is checked using defined properties specified in computation tree logic. As a result, an evaluation of system performance and an estimation of reconfiguration risks are obtained. The RFBA methodology is applied on a distributed power system case study.Dynamische Anforderungen und Umgebungen erfordern rekonfigurierbare Anlagen und Steuerungssysteme. Rekonfiguration ermöglicht es einem System, seine Struktur und sein Verhalten an interne oder externe Änderungen anzupassen. Die Norm IEC 61499 wurde entwickelt, um (verteilte) Steuerungssysteme auf Basis von Funktionsbausteinen zu entwickeln. Sie bietet jedoch wenig Unterstützung für Entwurf und Verifikation. Die Tatsache, dass eine Rekonfiguration das System-Ausführungsmodell verändert, erschwert die Entwicklung in IEC 61499 zusätzlich. Daher schlägt diese Dissertation rekonfigurierbare Funktionsbausteine (RFBs) als Erweiterung der Norm vor. Ein RFB verarbeitet über einen Master-Slave-Automaten Rekonfigurationsereignisse und löst das entsprechende Verhalten aus. Diese Hierarchie trennt das Rekonfigurationsmodell vom Steuerungsmodell und vereinfacht so den Entwurf. Die Funktionalität des Entwurfs muss verifiziert werden, damit die Ausführbarkeit des Systems nach einer Rekonfiguration gewährleistet ist. Hierzu wird das entworfene RFB-Modell automatisch in ein generalised reconfigurable timed net condition/event system übersetzt. Dieses wird mit dem Model-Checker PRISM auf qualitative und quantitative Eigenschaften überprüft. Somit wird eine Bewertung der Systemperformanz und eine Einschätzung der Rekonfigurationsrisiken erreicht. Die RFB-Methodik wurde in einem Softwarewerkzeug umgesetzt und in einer Fallstudie auf ein dezentrales Stromnetz angewendet

Multi-Agent Modelling of Industrial Cyber-Physical Systems for IEC 61499 Based Distributed Intelligent Automation

Traditional industrial automation systems developed under IEC 61131-3 in centralized architectures are statically programmed with determined procedures to perform predefined tasks in structured environments. Major challenges are that these systems designed under traditional engineering techniques and running on legacy automation platforms are unable to automatically discover alternative solutions, flexibly coordinate reconfigurable modules, and actively deploy corresponding functions, to quickly respond to frequent changes and intelligently adapt to evolving requirements in dynamic environments. The core objective of this research is to explore the design of multi-layer automation architectures to enable real-time adaptation at the device level and run-time intelligence throughout the whole system under a well-integrated modelling framework. Central to this goal is the research on the integration of multi-agent modelling and IEC 61499 function block modelling to form a new automation infrastructure for industrial cyber-physical systems. Multi-agent modelling uses autonomous and cooperative agents to achieve run-time intelligence in system design and module reconfiguration. IEC 61499 function block modelling applies object-oriented and event-driven function blocks to realize real-time adaption of automation logic and control algorithms. In this thesis, the design focuses on a two-layer self-manageable architecture modelling: a) the high-level cyber module designed as multi-agent computing model consisting of Monitoring Agent, Analysis Agent, Self-Learning Agent, Planning Agent, Execution Agent, and Knowledge Agent; and b) the low-level physical module designed as agent-embedded IEC 61499 function block model with Self-Manageable Service Execution Agent, Self-Configuration Agent, Self-Healing Agent, Self-Optimization Agent, and Self-Protection Agent. The design results in a new computing module for high-level multi-agent based automation architectures and a new design pattern for low-level function block modelled control solutions. The architecture modelling framework is demonstrated through various tests on the multi-agent simulation model developed in the agent modelling environment NetLogo and the experimental testbed designed on the Jetson Nano and Raspberry Pi platforms. The performance evaluation of regular execution time and adaptation time in two typical conditions for systems designed under three different architectures are also analyzed. The results demonstrate the ability of the proposed architecture to respond to major challenges in Industry 4.0

ICSEA 2021: the sixteenth international conference on software engineering advances

The Sixteenth International Conference on Software Engineering Advances (ICSEA 2021), held on October 3 - 7, 2021 in Barcelona, Spain, continued a series of events covering a broad spectrum of software-related topics. The conference covered fundamentals on designing, implementing, testing, validating and maintaining various kinds of software. The tracks treated the topics from theory to practice, in terms of methodologies, design, implementation, testing, use cases, tools, and lessons learnt. The conference topics covered classical and advanced methodologies, open source, agile software, as well as software deployment and software economics and education. The conference had the following tracks: Advances in fundamentals for software development Advanced mechanisms for software development Advanced design tools for developing software Software engineering for service computing (SOA and Cloud) Advanced facilities for accessing software Software performance Software security, privacy, safeness Advances in software testing Specialized software advanced applications Web Accessibility Open source software Agile and Lean approaches in software engineering Software deployment and maintenance Software engineering techniques, metrics, and formalisms Software economics, adoption, and education Business technology Improving productivity in research on software engineering Trends and achievements Similar to the previous edition, this event continued to be very competitive in its selection process and very well perceived by the international software engineering community. As such, it is attracting excellent contributions and active participation from all over the world. We were very pleased to receive a large amount of top quality contributions. We take here the opportunity to warmly thank all the members of the ICSEA 2021 technical program committee as well as the numerous reviewers. The creation of such a broad and high quality conference program would not have been possible without their involvement. We also kindly thank all the authors that dedicated much of their time and efforts to contribute to the ICSEA 2021. We truly believe that thanks to all these efforts, the final conference program consists of top quality contributions. This event could also not have been a reality without the support of many individuals, organizations and sponsors. We also gratefully thank the members of the ICSEA 2021 organizing committee for their help in handling the logistics and for their work that is making this professional meeting a success. We hope the ICSEA 2021 was a successful international forum for the exchange of ideas and results between academia and industry and to promote further progress in software engineering research

Transformation of Health and Social Care Systems—An Interdisciplinary Approach Toward a Foundational Architecture

Objective: For realizing pervasive and ubiquitous health and social care services in a safe and high quality as well as efficient and effective way, health and social care systems have to meet new organizational, methodological, and technological paradigms. The resulting ecosystems are highly complex, highly distributed, and highly dynamic, following inter-organizational and even international approaches. Even though based on international, but domain-specific models and standards, achieving interoperability between such systems integrating multiple domains managed by multiple disciplines and their individually skilled actors is cumbersome. Methods: Using the abstract presentation of any system by the universal type theory as well as universal logics and combining the resulting Barendregt Cube with parameters and the engineering approach of cognitive theories, systems theory, and good modeling best practices, this study argues for a generic reference architecture model moderating between the different perspectives and disciplines involved provide on that system. To represent architectural elements consistently, an aligned system of ontologies is used. Results: The system-oriented, architecture-centric, and ontology-based generic reference model allows for re-engineering the existing and emerging knowledge representations, models, and standards, also considering the real-world business processes and the related development process of supporting IT systems for the sake of comprehensive systems integration and interoperability. The solution enables the analysis, design, and implementation of dynamic, interoperable multi-domain systems without requesting continuous revision of existing specifications.publishedVersionPeer reviewe

Transformation of Health and Social Care Systems—An Interdisciplinary Approach Toward a Foundational Architecture

Objective: For realizing pervasive and ubiquitous health and social care services in a safe and high quality as well as efficient and effective way, health and social care systems have to meet new organizational, methodological, and technological paradigms. The resulting ecosystems are highly complex, highly distributed, and highly dynamic, following inter-organizational and even international approaches. Even though based on international, but domain-specific models and standards, achieving interoperability between such systems integrating multiple domains managed by multiple disciplines and their individually skilled actors is cumbersome. Methods: Using the abstract presentation of any system by the universal type theory as well as universal logics and combining the resulting Barendregt Cube with parameters and the engineering approach of cognitive theories, systems theory, and good modeling best practices, this study argues for a generic reference architecture model moderating between the different perspectives and disciplines involved provide on that system. To represent architectural elements consistently, an aligned system of ontologies is used. Results: The system-oriented, architecture-centric, and ontology-based generic reference model allows for re-engineering the existing and emerging knowledge representations, models, and standards, also considering the real-world business processes and the related development process of supporting IT systems for the sake of comprehensive systems integration and interoperability. The solution enables the analysis, design, and implementation of dynamic, interoperable multi-domain systems without requesting continuous revision of existing specifications

Concept of Socio-Cyber-Physical Work Systems for Industry 4.0

In this paper the concepts of advanced production systems based on the challenges that bring the new industrial revolution named - Industry 4.0 are presented. The presented concept of socio-cyber-physical work systems is based on connecting social, cyber and physical working environments into a single functional, productive entity of the appointed elementary socio-cyber-physical work system.The elementary socio-cyber-physical work system is a basic building block of the cyber-physical production systems at the manufacturing level. The cyber system of the elementary socio-cyber-physical work system enables autonomous decision-making and cooperation in the network system. The possibility of implementing the proposed concept is based on the introduction of agency technologies in the domain of modern production systems and the development of information-communication technologies for the advanced management and control of cyber-physical production systems. Some illustrative examples reflect the experimental results of a research work in the field of cyber-physical systems and demonstrate the potential possibilities of implementing the concept of socio-cyber-physical work systems in the real industrial environment

Front-Line Physicians' Satisfaction with Information Systems in Hospitals

Day-to-day operations management in hospital units is difficult due to continuously varying situations, several actors involved and a vast number of information systems in use. The aim of this study was to describe front-line physicians' satisfaction with existing information systems needed to support the day-to-day operations management in hospitals. A cross-sectional survey was used and data chosen with stratified random sampling were collected in nine hospitals. Data were analyzed with descriptive and inferential statistical methods. The response rate was 65 % (n = 111). The physicians reported that information systems support their decision making to some extent, but they do not improve access to information nor are they tailored for physicians. The respondents also reported that they need to use several information systems to support decision making and that they would prefer one information system to access important information. Improved information access would better support physicians' decision making and has the potential to improve the quality of decisions and speed up the decision making process.Peer reviewe