Performance Evaluation of CORBA Concurrency Control Service Using Stochastic Petri Nets

The interest in performance evaluation of middleware systems is increasing. Measurement techniques are still predominant among those used to carry out performance evaluation. However, performance models are currently being defined due to their flexibility, precision and facilities to carry out capacity planning activities. This paper presents stochastic Petri net models for performance evaluation of the CORBA Concurrency Control Service (CCS), which mediates concurrent access to objects. In order to validate the proposed models, CCS performance results obtained using those models are then compared against ones obtained through actual measurements.The interest in performance evaluation of middleware systems is increasing. Measurement techniques are still predominant among those used to carry out performance evaluation. However, performance models are currently being defined due to their flexibility, precision and facilities to carry out capacity planning activities. This paper presents stochastic Petri net models for performance evaluation of the CORBA Concurrency Control Service (CCS), which mediates concurrent access to objects. In order to validate the proposed models, CCS performance results obtained using those models are then compared against ones obtained through actual measurements

Reliable Industrial IoT-Based Distributed Automation

Reconfigurable manufacturing systems supported by Industrial Internet-of-Things (IIoT) are modular and easily integrable, promoting efficient system/component reconfigurations with minimal downtime. Industrial systems are commonly based on sequential controllers described with Control Interpreted Petri Nets (CIPNs). Existing design methodologies to distribute centralized automation/control tasks focus on maintaining functional properties of the system during the process, while disregarding failures that may occur during execution (e. g., communication packet drops, sensing or actuation failures). Consequently, in this work, we provide a missing link for reliable IIoT-based distributed automation. We introduce a method to transform distributed control models based on CIPNs into Stochastic Reward Nets that enable integration of realistic fault models (e. g., probabilistic link models). We show how to specify desired system properties to enable verification under the adopted communication/fault models, both at design-and run-time; we also show feasibility of runtime verification on the edge, with a continuously updated system model. Our approach is used on real industrial systems, resulting in modifications of local controllers to guarantee reliable system operation in realistic IIoT environments

Reliable Industrial IoT-Based Distributed Automation

Reconfigurable manufacturing systems supported by Industrial Internet-of-Things (IIoT) are modular and easily integrable, promoting efficient system/component reconfigurations with minimal downtime. Industrial systems are commonly based on sequential controllers described with Control Interpreted Petri Nets (CIPNs). Existing design methodologies to distribute centralized automation/control tasks focus on maintaining functional properties of the system during the process, while disregarding failures that may occur during execution (e. g., communication packet drops, sensing or actuation failures). Consequently, in this work, we provide a missing link for reliable IIoT-based distributed automation. We introduce a method to transform distributed control models based on CIPNs into Stochastic Reward Nets that enable integration of realistic fault models (e. g., probabilistic link models). We show how to specify desired system properties to enable verification under the adopted communication/fault models, both at design-and run-time; we also show feasibility of runtime verification on the edge, with a continuously updated system model. Our approach is used on real industrial systems, resulting in modifications of local controllers to guarantee reliable system operation in realistic IIoT environments

An agile and adaptive holonic architecture for manufacturing control

Tese de doutoramento. Engenharia Electrotécnica e de Computadores. 2004. Faculdade de Engenharia. Universidade do Port

Modeling and analysis of high availability techniques in a virtualized system

Availability evaluation of a virtualized system is critical to the wide deployment of cloud computing services. Time-based, prediction-based rejuvenation of virtual machines (VM) and virtual machine monitors, VM failover and live VM migration are common high-availability (HA) techniques in a virtualized system. This paper investigates the effect of combination of these availability techniques on VM availability in a virtualized system where various software and hardware failures may occur. For each combination, we construct analytic models rejuvenation mechanisms to improve VM availability; (2) prediction-based rejuvenation enhances VM availability much more than time-based VM rejuvenation when prediction successful probability is above 70%, regardless failover and/or live VM migration is also deployed; (3) failover mechanism outperforms live VM migration, although they can work together for higher availability of VM. In addition, they can combine with software rejuvenation mechanisms for even higher availability; (4) and time interval setting is critical to a time-based rejuvenation mechanism. These analytic results provide guidelines for deploying and parameter setting of HA techniques in a virtualized system

Ad hoc network security and modeling with stochastic petri nets

Advances in wireless technology and portable computing along with demands for high user mobility have provided a major promotion toward the development of ad hoc networks. These networks feature dynamic topology, self-organization, limited bandwidth and battery power of a node. Unlike the existing commercial wireless systems and fixed infrastructure networks, they do not rely on specialized routers for path discovery and traffic routing. Security is an important issue in such networks. Typically, mobile nodes are significantly more susceptible to physical attacks than their wired counterparts. This research intends to investigate the ad hoc network routing security by proposing a performance enhanced Secure ad hoc On-demand Routing protocol (SOR). Specifically, it presents a method to embed Security Level into ad hoc on-demand routing protocols using node-disjoint multipath, and to use maximum hopcount to restrict the number of routing packets in a specific area. The proposed scheme enables the use of security as a marked factor to improve the relevance of the routes discovered by ad hoc routing protocols. It provides customizable security to the flow of routing protocol messages. In general, SOR offers an alternative way to implement security in on-demand routing protocols. Ad hoc network is too complex to allow analytical study for explicit performance expressions. This research presents a Stochastic Petri net-based approach to modeling and analysis of mobile ad hoc network. This work illustrates how this model is built as a scalable model and used to exploit the characteristics of the networks. The proposed scheme is a powerful analytical model that can be used to derive network performance much more easily than a simulation-based approach. Furthermore, the proposed model is extended to study the performance of ad hoc network security by adding multipath selection and security measurement parameters. This research gives a quantificational measurement to analyze the performance of a modified SPN model under the effect of multipath and attack of a hypothetical compromised node

Performance evaluation of the reactor pattern using the OMNeT++ simulator

The design of large-scale, distributed, performance-sensitive systems presents numerous challenges due to their network-centric nature and stringent quality of service (QoS) require-ments. Standardized middleware implementations provide the key building blocks necessary to address these require-ments of the distributed systems. However, middleware are designed to be applicable for a wide range of domains and applications, which results in system developers requiring to choose the right set of building blocks to design their system. To reduce the impact on development costs and time-to-market, decisions on the right set of building blocks to use in systems design must be made as early as possible in system design. This paper addresses this concern by describ-ing a model-driven systems simulation approach to analyze, catch and rectify incorrect system design decisions at design-time. In this paper we focus on model-driven OMNeT++ simulation of the Reactor pattern, which provides event de-multiplexing and handling capability. Our experience with modeling the Reactor shows that this approach can be ex-tended to the performance analysis of other pattern-based blocks and indeed in the long term to the entire composed middleware framework

An agile and adaptive holonic architecture for manufacturing control

In the last decades significant changes in the manufacturing environment have been noticed: moving from a local economy towards a global economy, with markets asking for products with high quality at lower costs, highly customised and with short life cycle. In this environment, the manufacturing enterprises, to avoid the risk to lose competitiveness, search to answer more closely to the customer demands, by improving their flexibility and agility, while maintaining their productivity and quality. Actually, the dynamic response to emergence is becoming a key issue, due to the weak response of the traditional manufacturing control systems to unexpected disturbances, mainly because of the rigidity of their control architectures. In these circumstances, the challenge is to develop manufacturing control systems with autonomy and intelligence capabilities, fast adaptation to the environment changes, more robustness against the occurrence of disturbances, and easier integration of manufacturing resources and legacy systems. Several architectures using emergent concepts and technologies have been proposed, in particular those based in the holonic manufacturing paradigm. Holonic manufacturing is a paradigm based in the ideas of the philosopher Arthur Koestler, who proposed the word holon to describe a basic unit of organisation in biological and social systems. A holon, as Koestler devised the term, is an identifiable part of a (manufacturing) system that has a unique identity, yet is made up of sub-ordinate parts and in turn is part of a larger whole. The introduction of the holonic manufacturing paradigm allows a new approach to the manufacturing problem, bringing the advantages of modularity, decentralisation, autonomy, scalability, and re-use of software components. This dissertation intends to develop an agile and adaptive manufacturing control architecture to face the current requirements imposed to the manufacturing enterprises. The architecture proposed in this dissertation addresses the need for the fast reaction to disturbances at the shop floor level, increasing the agility and flexibility of the enterprise, when it works in volatile environments, characterised by the frequent occurrence of unexpected disturbances. The proposed architecture, designated by ADACOR (ADAptive holonic COntrol aRchitecture for distributed manufacturing systems), is based in the holonic manufacturing paradigm, build upon autonomous and cooperative holons, allowing the development of manufacturing control applications that present all the features of decentralised and holonic systems. ADACOR holonic architecture introduces an adaptive control that balances dynamically between a more centralised structure and a more decentralised one, allowing to combine the global production optimisation with agile reaction to unexpected disturbances. Nas últimas décadas têm-se assistido a mudanças significativas no ambiente de fabrico: evoluindo de uma economia local para um economia global, com os mercados a procurar produtos com elevada qualidade a baixos preços, altamente customizados e com um ciclo de vida curto. Neste ambiente, as empresas de manufactura, para evitar o risco de perda de competitividade, procuram responder às solicitações dos clientes, melhorando a sua flexibilidade e agilidade, mantendo os mesmos índices de produtividade e qualidade. Na verdade, a resposta dinâmica à emergência está a tornar-se num assunto chave, devido `a fraca resposta a perturbações que os sistemas de controlo de fabrico tradicionais apresentam, principalmente devido à rigidez das suas arquitecturas de controlo. Nestas circunstâncias, é fundamental o desenvolvimento de sistemas de controlo de fabrico com capacidades de autonomia e inteligência, rápida adaptação às mudanças, maior robustez à ocorrência de perturbações e fácil integração de recursos físicos e sistemas legados. Diversas arquitecturas usando conceitos e tecnologias emergentes têm sido propostas, em particular algumas baseadas no paradigma da produção holónica. O paradigma da produção holónica é inspirado nas ideias de Arthur Koestler, que propôs a palavra holon para descrever uma unidade básica de organização de sistemas biológicos e sociais. Um holon, de acordo com a definição de Koestler, é uma parte identificável do sistema com identidade única, composta por sub-partes e fazendo simultaneamente parte do todo. A introdução do paradigma da produção holónica permite uma nova abordagem aos sistemas de controlo de fabrico, trazendo vantagens de modularidade, descentralização, autonomia, escalabilidade e reutilização de componentes. Esta dissertação pretende desenvolver uma arquitectura de controlo ágil e adaptativa que suporte os requisitos actuais impostos `as empresas de manufactura. A arquitectura proposta visa a necessidade de uma reacção rápida a perturbações, ao nível da planta fabril, melhorando a flexibilidade e agilidade da empresa quando esta opera em ambientes voláteis, caracterizados pela ocorrência frequente de perturbações inesperadas. A arquitectura proposta, designada por ADACOR (ADAptive holonic COntrol aRchitecture for distributed manufacturing systems), é baseada no paradigma da produção holónica e construída sobre holons autónomos e cooperativos, permitindo o desenvolvimento de aplicações de controlo de fabrico que apresentem todas as características dos sistemas descentralizados e holónicos. A arquitectura holónica ADACOR introduz um controlo adaptativo que balança dinamicamente entre uma estrutura de controlo mais centralizada e uma mais descentralizada, permitindo combinar a optimização da produção com a ágil reacção a perturbações

Applications of agent architectures to decision support in distributed simulation and training systems

This work develops the approach and presents the results of a new model for applying intelligent agents to complex distributed interactive simulation for command and control. In the framework of tactical command, control communications, computers and intelligence (C4I), software agents provide a novel approach for efficient decision support and distributed interactive mission training. An agent-based architecture for decision support is designed, implemented and is applied in a distributed interactive simulation to significantly enhance the command and control training during simulated exercises. The architecture is based on monitoring, evaluation, and advice agents, which cooperate to provide alternatives to the dec ision-maker in a time and resource constrained environment. The architecture is implemented and tested within the context of an AWACS Weapons Director trainer tool. The foundation of the work required a wide range of preliminary research topics to be covered, including real-time systems, resource allocation, agent-based computing, decision support systems, and distributed interactive simulations. The major contribution of our work is the construction of a multi-agent architecture and its application to an operational decision support system for command and control interactive simulation. The architectural design for the multi-agent system was drafted in the first stage of the work. In the next stage rules of engagement, objective and cost functions were determined in the AWACS (Airforce command and control) decision support domain. Finally, the multi-agent architecture was implemented and evaluated inside a distributed interactive simulation test-bed for AWACS Vv\u27Ds. The evaluation process combined individual and team use of the decision support system to improve the performance results of WD trainees. The decision support system is designed and implemented a distributed architecture for performance-oriented management of software agents. The approach provides new agent interaction protocols and utilizes agent performance monitoring and remote synchronization mechanisms. This multi-agent architecture enables direct and indirect agent communication as well as dynamic hierarchical agent coordination. Inter-agent communications use predefined interfaces, protocols, and open channels with specified ontology and semantics. Services can be requested and responses with results received over such communication modes. Both traditional (functional) parameters and nonfunctional (e.g. QoS, deadline, etc.) requirements and captured in service requests