Metodología dirigida por modelos para las pruebas de un sistema distribuido multiagente de fabricación

Las presiones del mercado han empujado a las empresas de fabricación a reducir costes a la vez que mejoran sus productos, especializándose en las actividades sobre las que pueden añadir valor y colaborando con especialistas de las otras áreas para el resto. Estos sistemas distribuidos de fabricación conllevan nuevos retos, dado que es difícil integrar los distintos sistemas de información y organizarlos de forma coherente. Esto ha llevado a los investigadores a proponer una variedad de abstracciones, arquitecturas y especificaciones que tratan de atacar esta complejidad. Entre ellas, los sistemas de fabricación holónicos han recibido una atención especial: ven las empresas como redes de holones, entidades que a la vez están formados y forman parte de varios otros holones. Hasta ahora, los holones se han implementado para control de fabricación como agentes inteligentes autoconscientes, pero su curva de aprendizaje y las dificultades a la hora de integrarlos con sistemas tradicionales han dificultado su adopción en la industria. Por otro lado, su comportamiento emergente puede que no sea deseable si se necesita que las tareas cumplan ciertas garantías, como ocurren en las relaciones de negocio a negocio o de negocio a cliente y en las operaciones de alto nivel de gestión de planta. Esta tesis propone una visión más flexible del concepto de holón, permitiendo que se sitúe en un espectro más amplio de niveles de inteligencia, y defiende que sea mejor implementar los holones de negocio como servicios, componentes software que pueden ser reutilizados a través de tecnologías estándar desde cualquier parte de la organización. Estos servicios suelen organizarse como catálogos coherentes, conocidos como Arquitecturas Orientadas a Servicios (‘Service Oriented Architectures’ o SOA). Una iniciativa SOA exitosa puede reportar importantes beneficios, pero no es una tarea trivial. Por este motivo, se han propuesto muchas metodologías SOA en la literatura, pero ninguna de ellas cubre explícitamente la necesidad de probar los servicios. Considerando que la meta de las SOA es incrementar la reutilización del software en la organización, es una carencia importante: tener servicios de alta calidad es crucial para una SOA exitosa. Por este motivo, el objetivo principal de la presente Tesis es definir una metodología extendida que ayude a los usuarios a probar los servicios que implementan a sus holones de negocio. Tras considerar las opciones disponibles, se tomó la metodología dirigida por modelos SODM como punto de partida y se reescribió en su mayor parte con el framework Epsilon de código abierto, permitiendo a los usuarios que modelen su conocimiento parcial sobre el rendimiento esperado de los servicios. Este conocimiento parcial es aprovechado por varios nuevos algoritmos de inferencia de requisitos de rendimiento, que extraen los requisitos específicos de cada servicio. Aunque el algoritmo de inferencia de peticiones por segundo es sencillo, el algoritmo de inferencia de tiempos límite pasó por numerosas revisiones hasta obtener el nivel deseado de funcionalidad y rendimiento. Tras una primera formulación basada en programación lineal, se reemplazó con un algoritmo sencillo ad-hoc que recorría el grafo y después con un algoritmo incremental mucho más rápido y avanzado. El algoritmo incremental produce resultados equivalentes y tarda mucho menos, incluso con modelos grandes. Para sacar más partidos de los modelos, esta Tesis también propone un enfoque general para generar artefactos de prueba para múltiples tecnologías a partir de los modelos anotados por los algoritmos. Para evaluar la viabilidad de este enfoque, se implementó para dos posibles usos: reutilizar pruebas unitarias escritas en Java como pruebas de rendimiento, y generar proyectos completos de prueba de rendimiento usando el framework The Grinder para cualquier Servicio Web que esté descrito usando el estándar Web Services Description Language. La metodología completa es finalmente aplicada con éxito a un caso de estudio basado en un área de fabricación de losas cerámicas rectificadas de un grupo de empresas español. En este caso de estudio se parte de una descripción de alto nivel del negocio y se termina con la implementación de parte de uno de los holones y la generación de pruebas de rendimiento para uno de sus Servicios Web. Con su soporte para tanto diseñar como implementar pruebas de rendimiento de los servicios, se puede concluir que SODM+T ayuda a que los usuarios tengan una mayor confianza en sus implementaciones de los holones de negocio observados en sus empresas

Reference architecture for configuration, planning and control of 21st century manufacturing systems.

Today's dynamic marketplace requires flexible manufacturing systems capable of cost-effective high variety - low volume production in frequently changing product demand and mix. Several new paradigms, e.g. holonic, fractal, biological and responsive manufacturing, have recently been proposed and studied in the academic literature. These 'next generation of manufacturing systems' have been especially designed to meet the requirements of an unstable and unpredictable marketplace. However, very little in-depth research of the configuration, planning and control methodologies of these new concepts has been conducted. This research aims to improve the comprehension and implementation of these 21st century manufacturing systems by developing an integrated reference architecture from the combination of their distinctive features that would enable manufacturing enterprises to handle successfully the configuration/reconfiguration, planning and control activities under the conditions of uncertainty and continuous change.In the course of the research, a detailed investigation into the fractal, biological and responsive manufacturing systems is conducted in order to identify the strengths and weaknesses of each concept. The common and distinctive features of the paradigms are then used to merge them to create an integrated reference architecture. The fractal configuration, biological scheduling and 'resource element' representation of resource capabilities and product processing requirements are selected as the major elements of the new system. A detailed study of fractal layout design resulted in seven distinctive methods for structuring and managing fractal cellular systems. A design methodology that supports three types of dynamic scheduling is developed for biological manufacturing systems. Resource elements are used with fractal layouts and biological scheduling to enhance performance and to enable an integration of the concepts. The proposed reference architecture is modelled and evaluated using object-oriented programming, computer simulation and heuristic algorithms. The research results indicate that the performance of systems that employ biological scheduling and fractal layouts can be improved by using the concept of resource elements to utilise any hidden capabilities of resources and to achieve an optimal distribution of resources on the shop floor

Production Scheduling

Generally speaking, scheduling is the procedure of mapping a set of tasks or jobs (studied objects) to a set of target resources efficiently. More specifically, as a part of a larger planning and scheduling process, production scheduling is essential for the proper functioning of a manufacturing enterprise. This book presents ten chapters divided into five sections. Section 1 discusses rescheduling strategies, policies, and methods for production scheduling. Section 2 presents two chapters about flow shop scheduling. Section 3 describes heuristic and metaheuristic methods for treating the scheduling problem in an efficient manner. In addition, two test cases are presented in Section 4. The first uses simulation, while the second shows a real implementation of a production scheduling system. Finally, Section 5 presents some modeling strategies for building production scheduling systems. This book will be of interest to those working in the decision-making branches of production, in various operational research areas, as well as computational methods design. People from a diverse background ranging from academia and research to those working in industry, can take advantage of this volume

Advances in Robotics, Automation and Control

The book presents an excellent overview of the recent developments in the different areas of Robotics, Automation and Control. Through its 24 chapters, this book presents topics related to control and robot design; it also introduces new mathematical tools and techniques devoted to improve the system modeling and control. An important point is the use of rational agents and heuristic techniques to cope with the computational complexity required for controlling complex systems. Through this book, we also find navigation and vision algorithms, automatic handwritten comprehension and speech recognition systems that will be included in the next generation of productive systems developed by man

Agent-based Hierarchical Planning and Scheduling Control in Dynamically Integrated Manufacturing System

It has been broadly recognised that today’s manufacturing organisations face increasing pressures from continuous and unexpected changes in the business environment such as changes in product types, changes in demand pattern, changes in manufacturing technologies etc. To enable manufacturing organisations to rapidly and timely deal with these changes, operational decisions (e.g., process planning and production scheduling) have to be integrated with dynamic system restructure or reconfiguration so that manufacturing organisations do not only use the flexible resource utilisations to deal with these changes, but also can dynamically reconfigure their existing system structures in response these changes. A manufacturing system concept and implementation methodology is proposed by the Exeter Manufacturing Enterprise Centre (XMEC), which is called the Dynamically Integrated Manufacturing System (DIMS). The overall aim of DIMS is to provide a systematic modelling and control framework in which operational decisions can be integrated with the dynamic system restructuring decisions so as to help manufacturing systems to dynamically deal with changes in the business environment. This PhD research is a part of DIMS research, which focuses on the investigation on operational control in DIMS. Based on the established agent-based modelling architecture in DIMS, this research develops two agent bidding mechanisms for the hierarchical control of production planning and scheduling. These two mechanisms work together to assist manufacturing systems in making optimal and flexible operational decisions in response to changes in the business environment. The first mechanism is the iterative agent bidding mechanism based on a Genetic Algorithm (GA) which facilitates the determination of the optimal or near optimal allocation of a production job containing a set of sub-jobs to a pool of heterarchical resources. The second mechanism is the hierarchical agent bidding mechanism which enables product orders to be cost-efficiently and flexibly planned and scheduled to meet the orders’ due dates. The novelty of this mechanism is that it enables orders to be fulfilled within structural constraints of manufacturing systems as far as possible and however enables resources to be regrouped flexibly across system boundaries when orders cannot be fulfilled within structural constraints of manufacturing systems

Web service control of component-based agile manufacturing systems

Current global business competition has resulted in significant challenges for manufacturing and production sectors focused on shorter product lifecyc1es, more diverse and customized products as well as cost pressures from competitors and customers. To remain competitive, manufacturers, particularly in automotive industry, require the next generation of manufacturing paradigms supporting flexible and reconfigurable production systems that allow quick system changeovers for various types of products. In addition, closer integration of shop floor and business systems is required as indicated by the research efforts in investigating "Agile and Collaborative Manufacturing Systems" in supporting the production unit throughout the manufacturing lifecycles. The integration of a business enterprise with its shop-floor and lifecycle supply partners is currently only achieved through complex proprietary solutions due to differences in technology, particularly between automation and business systems. The situation is further complicated by the diverse types of automation control devices employed. Recently, the emerging technology of Service Oriented Architecture's (SOA's) and Web Services (WS) has been demonstrated and proved successful in linking business applications. The adoption of this Web Services approach at the automation level, that would enable a seamless integration of business enterprise and a shop-floor system, is an active research topic within the automotive domain. If successful, reconfigurable automation systems formed by a network of collaborative autonomous and open control platform in distributed, loosely coupled manufacturing environment can be realized through a unifying platform of WS interfaces for devices communication. The adoption of SOA- Web Services on embedded automation devices can be achieved employing Device Profile for Web Services (DPWS) protocols which encapsulate device control functionality as provided services (e.g. device I/O operation, device state notification, device discovery) and business application interfaces into physical control components of machining automation. This novel approach supports the possibility of integrating pervasive enterprise applications through unifying Web Services interfaces and neutral Simple Object Access Protocol (SOAP) message communication between control systems and business applications over standard Ethernet-Local Area Networks (LAN's). In addition, the re-configurability of the automation system is enhanced via the utilisation of Web Services throughout an automated control, build, installation, test, maintenance and reuse system lifecycle via device self-discovery provided by the DPWS protocol...cont'd

Design of a Control System for a Reconfigurable Engine Assembly Line

Today’s automotive manufacturing environment is dynamic. It is characterized by short life cycles of products especially in powertrain, due in part to changing Government regulations for fuel economy. In the USA, the National Highway Traffic and Safety Administration (NHTSA), Corporate Average Fuel Economy (CAFE) mandates an average of 29 miles per gallon (mpg), gradually increasing to 35.5 mpg by 2016 and 54.5 mpg towards 2025. Life cycles of engines and transmissions have consequently shortened, driving automakers to develop and manufacture more efficient powertrains. Not long ago, plants produced engines for decades, with minor modifications warranting slight manufacturing line rework. Conversely, today’s changing trends require machines and complete engine line overhauls rendering initial setups obsolete. Automakers compete to satisfy government regulations for best mileage and also lower manufacturing cost, thus the adoption of Reconfigurable Manufacturing Systems (RMS). Production lines follow modularity in designs, for hardware and software, to adapt to new business conditions, economically and time-wise. Information Technology (IT) and Controls are growing closer with the line of demarcation disappearing in manufacturing. Controls are benefiting from opportunities in IT, hardware and software. The advent of agent-based technology which are autonomous, cooperative and extendible in different production activities, helped to develop controls for RMS in academia. Component-based software suitable for RMS modularity and plug-and-play hardware/software components has gained decades of popularity in the software industry. This thesis implements distributed controls imbedding component-based technology and IEC 61311-3 function block standard for automotive engine assembly, which will contribute to these developments. The control architecture provides reconfigurability which is lacking in current manufacturing systems. The research imbeds: 1- Reconfigurability - Fitting RMS-designed hardware towards new manufacturing, 2- Reusability - Building software library for reuse across assembly lines, and 3- Plug-and-Play - Embedding easy to assemble software components (function blocks)

Human system modelling in support of manufacturing enterprise design and change

Organisations comprise human and technical systems that typically perform a variety of business, engineering and production roles. Human systems comprise individuals, people groups and teams that work systematically to conceive, implement, develop and manage the purposes of any enterprise in response to customer requirements. Recently attention has been paid to modelling aspects of people working within production systems, with a view to improving: production performance, effective resource allocation and optimum resource management. In the research reported, graphical and computer executable models of people have been conceived and used in support of human systems engineering. The approach taken has been to systematically decompose and represent processes so that elemental production and management activities can be modelled as explicit descriptions of roles that human systems can occupy as role holders. First of all, a preliminary modelling method (MM1) was proposed for modelling human systems in support of engineering enterprise; then MM1 was implemented and tested in a case study company 1. Based on findings of this exploratory research study an improved modelling method (MM2) was conceived and instrumented. Here characterising customer related product dynamic impacts extended MM1 modelling concepts and methods and related work system changes. MM2 was then tested in case study company 2 to observe dynamic behaviours of selected system models derived from actual company knowledge and data. Case study 2 findings enabled MM2 to be further improved leading to MM3. MM3 improvements stem from the incorporation of so-called DPU (Dynamic Producer Unit) concepts, related to the modelling of human and technical resource system components . Case study 4 models a human system for targeted users i.e. production managers etc to facilitate analysis of human configuration and also cost modelling. Modelling approaches MM2, MM3 and also Case Study 4 add to knowledge about ways of facilitating quantitative analysis and comparison between different human system configurations. These new modelling methods allow resource system behaviours to be matched to specific, explicitly defined, process-oriented requirements drawn from manufacturing workplaces currently operating in general engineering, commercial furniture and white goods industry sectors

A service-oriented approach to embedded component-based manufacturing automation

This thesis is focused on the application of Component-Based (CB) technology to shop oor devices using a Service Oriented Architecture (SOA) and Web Services (WS) for the purpose of realising future generation agile manufacturing systems. The environment of manufacturing enterprises is now characterised by frequently changing market demands, time-to-market pressure, continuously emerging new technologies and global competition. Under these circumstances, manufacturing systems need to be agile and automation systems need to support this agility. More speci cally, an open, exible automation environment with plug and play connectivity is needed. Technically, this requires the easy connectivity of hardware devices and software components from di erent vendors. Functionally, there is a need of interoperability and integration of control functions on di erent hierarchical levels ranging from eld level to various higher level applications such as process control and operations management services. [Continues.