Trust engineering framework for software services

La presente tesis presenta un marco de trabajo que abarca distintas fases del ciclo de vida de los servicios software y que permite a ingenieros de requisitos, diseñadores y desarrolladores la integración en dichos servicios de modelos de confianza y reputación. En la fase de planificación, proponemos una metodología para evaluar la confianza en proveedores de Cloud antes de decidir si el sistema, o parte de él, se traslada al mismo. En la fase de análisis, ofrecemos una notación para la captura y representación de requisitos de confianza y reputación. Asimismo en esta misma fase, desarrollamos una metodología que permite detectar amenazas internas en un sistema a través de análisis de relaciones de confianza. Para la fase de diseño, proponemos un perfil UML que permite la especificación de modelos de confianza y reputación, lo cual facilita la siguiente fase de implementación, para la que desarrollamos un marco de trabajo que los desarrolladores pueden usar para implementar una amplia variedad de modelos de confianza y reputación. Finalmente, para la fase de verificación en tiempo de ejecución, presentamos un marco de trabajo desarrollado sobre una plataforma de sistemas auto-adaptativos que implementa el paradigma de modelos en tiempo de ejecución. Con dicho marco de trabajo, hacemos posible que los desarrolladores puedan implementar modelos de confianza y reputación, y que puedan usar la información proporcionada por dichos modelos para especificar políticas de reconfiguración en tiempo de ejecución. Esto permite que el sistema se adapte de forma que se mantengan niveles tolerables de confianza y reputación en los componentes de los que consiste. Todo los trabajos anteriores se apoyan sobre un marco conceptual que captura y relaciona entre sí las nociones más relevantes en los dominios de la confianza y la reputación

Future Greener Seaports:A Review of New Infrastructure, Challenges, and Energy Efficiency Measures

Recently, the application of renewable energy sources (RESs) for power distribution systems is growing immensely. This advancement brings several advantages, such as energy sustainability and reliability, easier maintenance, cost-effective energy sources, and ecofriendly. The application of RESs in maritime systems such as port microgrids massively improves energy efficiency and reduces the utilization of fossil fuels, which is a serious threat to the environment. Accordingly, ports are receiving several initiatives to improve their energy efficiency by deploying different types of RESs based on the power electronic converters. This paper conducts a systematic review to provide cutting-edge state-of-the-art on the modern electrification and infrastructure of seaports taking into account some challenges such as the environmental aspects, energy efficiency enhancement, renewable energy integration, and legislative and regulatory requirements. Moreover, the technological methods, including electrifications, digitalization, onshore power supply applications, and energy storage systems of ports, are addressed. Furthermore, details of some operational strategies such as energy-aware operations and peak-shaving are delivered. Besides, the infrastructure scheme to enhance the energy efficiency of modern ports, including port microgrids and seaport smart microgrids are delivered. Finally, the applications of nascent technologies in seaports are presented

Hydrodynamics-Biology Coupling for Algae Culture and Biofuel Production

International audienceBiofuel production from microalgae represents an acute optimization problem for industry. There is a wide range of parameters that must be taken into account in the development of this technology. Here, mathematical modelling has a vital role to play. The potential of microalgae as a source of biofuel and as a technological solution for CO2 fixation is the subject of intense academic and industrial research. Large-scale production of microalgae has potential for biofuel applications owing to the high productivity that can be attained in high-rate raceway ponds. We show, through 3D numerical simulations, that our approach is capable of discriminating between situations where the paddle wheel is rapidly moving water or slowly agitating the process. Moreover, the simulated velocity fields can provide lagrangian trajectories of the algae. The resulting light pattern to which each cell is submitted when travelling from light (surface) to dark (bottom) can then be derived. It will then be reproduced in lab experiments to study photosynthesis under realistic light patterns

Industrial smart and micro grid systems – A systematic mapping study

Energy efficiency and management is a fundamental aspect of industrial performance. Current research presents smart and micro grid systems as a next step for industrial facilities to operate and control their energy use. To gain a better understanding of these systems, a systematic mapping study was conducted to assess research trends, knowledge gaps and provide a comprehensive evaluation of the topic. Using carefully formulated research questions the primary advantages and barriers to implementation of these systems, where the majority of research is being conducted with analysis as to why and the relative maturity of this topic are all thoroughly evaluated and discussed. The literature shows that this topic is at an early stage but already the benefits are outweighing the barriers. Further incorporation of renewables and storage, securing a reliable energy supply and financial gains are presented as some of the major factors driving the implementation and success of this topic

Microgrids: Planning, Protection and Control

This Special Issue will include papers related to the planning, protection, and control of smart grids and microgrids, and their applications in the industry, transportation, water, waste, and urban and residential infrastructures. Authors are encouraged to present their latest research; reviews on topics including methods, approaches, systems, and technology; and interfaces to other domains such as big data, cybersecurity, human–machine, sustainability, and smart cities. The planning side of microgrids might include technology selection, scheduling, interconnected microgrids, and their integration with regional energy infrastructures. The protection side of microgrids might include topics related to protection strategies, risk management, protection technologies, abnormal scenario assessments, equipment and system protection layers, fault diagnosis, validation and verification, and intelligent safety systems. The control side of smart grids and microgrids might include control strategies, intelligent control algorithms and systems, control architectures, technologies, embedded systems, monitoring, and deployment and implementation

Market-oriented micro virtual power prosumers operations in distribution system operator framework

As the European Union is on track to meet its 2020 energy targets on raising the share of renewable energy and increasing the efficiency in the energy consumption, considerable attention has been given to the integration of distributed energy resources (DERs) into the restructured distribution system. This thesis proposes market-oriented operations of micro virtual power prosumers (J.lVPPs) in the distribution system operator framework, in which the J.lVPPs evolve from home-oriented energy management systems to price-taking prosumers and to price-making prosumers. Considering the diversity of the DERs installed in the residential sector, a configurable J.l VPP is proposed first to deliver multiple energy services using a fuzzy logic-based generic algorithm. By responding to the retail price dynamics and applying load control, the J.lVPP achieves considerable electricity bill savings, active utilisation of energy storage system and fast return on investment. As the J.lVPPs enter the distribution system market, they are modelled as price-takers in a two-settlement market first and a chance-constrained formulation is proposed to derive the bidding strategies. The obtained strategy demonstrates its ability to bring the J.l VPP maximum profit based on different composition of DERs and to maintain adequate supply capacity to meet the demand considering the volatile renewable generation and load forecast. Given the non-cooperative nature of the actual market, the J.l VPPs are transformed into price-makers and their market behaviours are studied in the context of electricity market equilibrium models. The resulted equilibrium problems with equilibrium constraints (EPEC) are presented and solved using a novel application of coevolutionary approach. Compared with the roles of home-oriented energy management systems and price-taking prosumers, the J.lVPPs as price­ making prosumers have an improved utilisation rate of the installed DER capacity and a guaranteed profit from participating in the distribution system market

Spectrum Sharing, Latency, and Security in 5G Networks with Application to IoT and Smart Grid

The surge of mobile devices, such as smartphones, and tables, demands additional capacity. On the other hand, Internet-of-Things (IoT) and smart grid, which connects numerous sensors, devices, and machines require ubiquitous connectivity and data security. Additionally, some use cases, such as automated manufacturing process, automated transportation, and smart grid, require latency as low as 1 ms, and reliability as high as 99.99\%. To enhance throughput and support massive connectivity, sharing of the unlicensed spectrum (3.5 GHz, 5GHz, and mmWave) is a potential solution. On the other hand, to address the latency, drastic changes in the network architecture is required. The fifth generation (5G) cellular networks will embrace the spectrum sharing and network architecture modifications to address the throughput enhancement, massive connectivity, and low latency. To utilize the unlicensed spectrum, we propose a fixed duty cycle based coexistence of LTE and WiFi, in which the duty cycle of LTE transmission can be adjusted based on the amount of data. In the second approach, a multi-arm bandit learning based coexistence of LTE and WiFi has been developed. The duty cycle of transmission and downlink power are adapted through the exploration and exploitation. This approach improves the aggregated capacity by 33\%, along with cell edge and energy efficiency enhancement. We also investigate the performance of LTE and ZigBee coexistence using smart grid as a scenario. In case of low latency, we summarize the existing works into three domains in the context of 5G networks: core, radio and caching networks. Along with this, fundamental constraints for achieving low latency are identified followed by a general overview of exemplary 5G networks. Besides that, a loop-free, low latency and local-decision based routing protocol is derived in the context of smart grid. This approach ensures low latency and reliable data communication for stationary devices. To address data security in wireless communication, we introduce a geo-location based data encryption, along with node authentication by k-nearest neighbor algorithm. In the second approach, node authentication by the support vector machine, along with public-private key management, is proposed. Both approaches ensure data security without increasing the packet overhead compared to the existing approaches

Advanced Signal Processing Techniques Applied to Power Systems Control and Analysis

The work published in this book is related to the application of advanced signal processing in smart grids, including power quality, data management, stability and economic management in presence of renewable energy sources, energy storage systems, and electric vehicles. The distinct architecture of smart grids has prompted investigations into the use of advanced algorithms combined with signal processing methods to provide optimal results. The presented applications are focused on data management with cloud computing, power quality assessment, photovoltaic power plant control, and electrical vehicle charge stations, all supported by modern AI-based optimization methods