Pattern-driven security, privacy, dependability and interoperability management of iot environments

Achieving Security, Privacy, Dependability and Interoperability (SPDI) is of paramount importance for the ubiquitous deployment and impact maximization of Internet of Things (IoT) applications. Nevertheless, said requirements are not only difficult to achieve at system initialization, but also hard to prove and maintain at run-time. This paper highlights an approach to tackling the above challenges, through the definition of pattern language and a framework that can guarantee SPDI in IoT orchestrations. By integrating pattern reasoning engines at the various layers of the IoT infrastructure, and a machine-processable representation of said pattern through Drools rules, the proposed framework can provide ways to fulfill SPDI requirements at design time, and also provide the means to guarantee those SPDI properties and manage the orchestrations accordingly. Moreover, an application example of the framework is presented in an Industrial IoT monitoring environment

An efficient Adaptive Mesh Refinement (AMR) algorithm for the Discontinuous Galerkin method: Applications for the computation of compressible two-phase flows

We present an Adaptive Mesh Refinement (AMR) method suitable for hybrid unstructured meshes that allows for local refinement and de-refinement of the computational grid during the evolution of the flow. The adaptive implementation of the Discontinuous Galerkin (DG) method introduced in this work (ForestDG) is based on a topological representation of the computational mesh by a hierarchical structure consisting of oct- quad- and binary trees. Adaptive mesh refinement (h-refinement) enables us to increase the spatial resolution of the computational mesh in the vicinity of the points of interest such as interfaces, geometrical features, or flow discontinuities. The local increase in the expansion order (p-refinement) at areas of high strain rates or vorticity magnitude results in an increase of the order of accuracy in the region of shear layers and vortices. A graph of unitarian-trees, representing hexahedral, prismatic and tetrahedral elements is used for the representation of the initial domain. The ancestral elements of the mesh can be split into self-similar elements allowing each tree to grow branches to an arbitrary level of refinement. The connectivity of the elements, their genealogy and their partitioning are described by linked lists of pointers. An explicit calculation of these relations, presented in this paper, facilitates the on-the-fly splitting, merging and repartitioning of the computational mesh by rearranging the links of each node of the tree with a minimal computational overhead. The modal basis used in the DG implementation facilitates the mapping of the fluxes across the non conformal faces. The AMR methodology is presented and assessed using a series of inviscid and viscous test cases. Also, the AMR methodology is used for the modelling of the interaction between droplets and the carrier phase in a two-phase flow. This approach is applied to the analysis of a spray injected into a chamber of quiescent air, using the Eulerian–Lagrangian approach. This enables us to refine the computational mesh in the vicinity of the droplet parcels and accurately resolve the coupling between the two phases

Formation number of confined vortex rings

This paper investigates the formation number of vortex rings generated by a piston-cylinder mechanism in a confined tube. We use Direct Numerical Simulations (DNS) of axisymmetric confined vortex rings to study the influence of different parameters on the separation (or pinch-off) of the vortex ring from the trailing jet. It is shown that the structure of the vortex ring at pinch-off depends on the type of injection program (pulse dominated by either positive or negative acceleration ramps) and the confinement ratio D w /D , where D w is the inner diameter of the tube and D the diameter of the cylinder). For low confinement ratios ( D w /D ≤ 2), a vortex of opposite sign generated at the lateral wall strongly interacts with the vortex ring and the pinch-off is not clearly observed. The pinch-off is observed and analysed for confinement ratios D w /D ≥ 2 . 5. DNS data are used to estimate the value of the formation time, which is the time necessary for the vortex generator to inject the same amount of circulation as carried by the detached vortex ring. The confined vortex ring at pinch-off is described by the model suggested by Danaila, Kaplanski and Sazhin [A model for confined vortex rings with elliptical core vorticity distribution, Journal of Fluid Mechanics, 811 :67-94, 2017]. This model allows us to take into account the influence of the lateral wall and the elliptical shape of the vortex core. The value of the formation time is predicted using this model and the slug-flow model

Modelling of the evolution of a droplet cloud in a turbulent flow

The effects of droplet inertia and turbulent mixing on the droplet number density distribution in a turbulent flow field are studied. A formulation of the turbulent convective diffusion equation for the droplet number density, based on the modified Fully Lagrangian Approach, is proposed. The Fully Lagrangian Approach for the dispersed phase is extended to account for the Hessian of transformation from Eulerian to Lagrangian variables. Droplets with moderate inertia are assumed to be transported and dispersed by large scale structures of a filtered field in the Large Eddy Simulation (LES) framework. Turbulent fluctuations, not visible in the filtered solution for the droplet velocity field, induce an additional diffusion mass flux and hence additional dispersion of the droplets. The Lagrangian formulation of the transport equation for the droplet number density and the modified Fully Lagrangian Approach (FLA) make it possible to resolve the flow regions with intersecting droplet trajectories in the filtered flow field. Thus, we can cope successfully with the problems of multivalued filtered droplet velocity regions and caustic formation. The spatial derivatives for the droplet number density are calculated by projecting the FLA solution on the Eulerian mesh, resulting in a hybrid Lagrangian–Eulerian approach to the problem. The main approximations for the method are supported by the calculation of droplet mixing in an unsteady one-dimensional flow field formed by large-scale oscillations with an imposed small-scale modulation. The results of the calculations for droplet mixing in decaying homogeneous and isotropic turbulence are validated by the results of Direct Numerical Simulations (DNS) for several values of the Stokes number

The transcriptional program underlying the physiology of clostridial sporulation

A detailed microarray analysis of transcription during sporulation of the strict anaerobe and endospore former Clostridium acetobutylicum is presented

Numerical study of real gas effects during bubble collapse using a disequilibrium multiphase model

An explicit density-based solver of the Euler equations for inviscid and immiscible gas-liquid flow media is coupled with real-fluid thermodynamic equations of state supporting mild dissociation and calibrated with shock tube data up to 5000 K and 28 GPa. The present work expands the original 6-equation disequilibrium method by generalising the numerical approach required for estimating the equilibrium pressure in computational cells where both gas and liquid phases co-exist while enforcing energy conservation for all media. An iterative numerical procedure is suggested for taking into account the properties of the gas content as derived from highly non-linear real gas equations of state and implemented in a tabulated form during the numerical solution. The developed method is subsequently used to investigate gaseous bubble collapse cases considering both spherical and 2D asymmetric arrangements as induced by the presence of a rigid wall. It is demonstrated that the predicted maximum temperatures are strongly influenced by the equations of state used; the real gas model predicts a temperature reduction in the bubble interior up to 41% space-averaged and 50% locally during the collapse phase compared to the predictions obtained with the aid of the widely used ideal gas approximation

Towards a Collection of Security and Privacy Patterns

Security and privacy (SP)-related challenges constitute a significant barrier to the wider adoption of Internet of Things (IoT)/Industrial IoT (IIoT) devices and the associated novel applications and services. In this context, patterns, which are constructs encoding re-usable solutions to common problems and building blocks to architectures, can be an asset in alleviating said barrier. More specifically, patterns can be used to encode dependencies between SP properties of individual smart objects and corresponding properties of orchestrations (compositions) involving them, facilitating the design of IoT solutions that are secure and privacy-aware by design. Motivated by the above, this work presents a survey and taxonomy of SP patterns towards the creation of a usable pattern collection. The aim is to enable decomposition of higher-level properties to more specific ones, matching them to relevant patterns, while also creating a comprehensive overview of security- and privacy-related properties and sub-properties that are of interest in IoT/IIoT environments. To this end, the identified patterns are organized using a hierarchical taxonomy that allows their classification based on provided property, context, and generality, while also showing the relationships between them. The two high-level properties, Security and Privacy, are decomposed to a first layer of lower-level sub-properties such as confidentiality and anonymity. The lower layers of the taxonomy, then, include implementation-level enablers. The coverage that these patterns offer in terms of the considered properties, data states (data in transit, at rest, and in process), and platform connectivity cases (within the same IoT platform and across different IoT platforms) is also highlighted. Furthermore, pointers to extensions of the pattern collection to include additional patterns and properties, including Dependability and Interoperability, are given. Finally, to showcase the use of the presented pattern collection, a practical application is detailed, involving the pattern-driven composition of IoT/IIoT orchestrations with SP property guarantees

CIRCE: Architectural Patterns for Circular and Trustworthy By-Design IoT Orchestrations

The adoption of Internet of Things (IoT) devices, applications and services gradually transform our everyday lives. In parallel, the transition from linear to circular economic (CE) models provide an even more fertile ground for novel types of services, and the update and enrichment of legacy ones. To fully realize the potential of the interplay between IoT and CE, the design-time definition of IoT orchestrations with proven circularity properties, and the run-time management of these orchestrations based on said properties, is of paramount importance. Nevertheless, the circularity requirements and associated properties are not only difficult to achieve at the IoT orchestration design and deployment initialization phases, but also hard to prove and maintain at run-time. Motivated by this, this paper presents the CIRCE framework for circular and trustworthy by-design IoT orchestrations. The CIRCE approach leverages concepts from pattern-driven engineering, whereby patterns are used to encode proven dependencies between the Location, Condition, and Availability (LCA) properties of individual smart objects and corresponding properties of orchestrations (compositions) involving them. These are augmented by patterns encoding trustworthiness-related properties, namely Connectivity, Security, Privacy, Dependability, and Interoperability (CSPDI). Thereby, these patterns are used to generate IoT orchestrations with proven LCA and CSPDI properties, as needed, at design time. At runtime, these properties are monitored in real-time, leveraging reasoning engines deployed across system layers, triggering adaptations to return the deployed orchestration to the desired LCA and CSPDI states, when required. Details are provided on the above novel combination of IoT, CE and pattern-based engineering, along with a proposed architecture and implementation approach. Furthermore, an assessment of a proof-of-concept implementation is provided, validating the feasibility of the proposed approach

Microcontaminant degradation in municipal wastewater treatment plant secondary effluent by EDDS assisted photo-Fenton at near-neutral pH: An experimental design approach

This work aims to evaluate the applicability of EDDS (ethylenediamine-N,N'-disuccinic acid) as an iron chelating agent for photo-Fenton treatment of municipal wastewater spiked with organic contaminants at near-neutral pH. A series of laboratory scale experiments are conducted under simulated sunlight in accordance with a central composite experimental design in order to define the most favorable conditions in terms of initial iron concentration (maintaining a molar ratio 1:2 of Fe:EDDS), H2O2 and pH. The system is evaluated in terms of degradation efficiency, H2O2 consumption and iron availability. The simulated system has been compared in terms of degradation efficiency with a 60 L compound parabolic collector (CPC), and significant correlation has been observed. An approach for estimating near-optimal regions of operability is also demonstrated. (C) 2015 Elsevier B.V. All rights reserved

Expressing the Geobacter metallireducens PilA in Geobacter sulfurreducens Yields Pili with Exceptional Conductivity

ABSTRACT The electrically conductive pili (e-pili) of Geobacter sulfurreducens serve as a model for a novel strategy for long-range extracellular electron transfer. e-pili are also a new class of bioelectronic materials. However, the only other Geobacter pili previously studied, which were from G. uraniireducens , were poorly conductive. In order to obtain more information on the range of pili conductivities in Geobacter species, the pili of G. metallireducens were investigated. Heterologously expressing the PilA gene of G. metallireducens in G. sulfurreducens yielded a G. sulfurreducens strain, designated strain MP, that produced abundant pili. Strain MP exhibited phenotypes consistent with the presence of e-pili, such as high rates of Fe(III) oxide reduction and high current densities on graphite anodes. Individual pili prepared at physiologically relevant pH 7 had conductivities of 277 ± 18.9 S/cm (mean ± standard deviation), which is 5,000-fold higher than the conductivity of G. sulfurreducens pili at pH 7 and nearly 1 million-fold higher than the conductivity of G. uraniireducens pili at the same pH. A potential explanation for the higher conductivity of the G. metallireducens pili is their greater density of aromatic amino acids, which are known to be important components in electron transport along the length of the pilus. The G. metallireducens pili represent the most highly conductive pili found to date and suggest strategies for designing synthetic pili with even higher conductivities. IMPORTANCE e-pili are a remarkable electrically conductive material that can be sustainably produced without harsh chemical processes from renewable feedstocks and that contain no toxic components in the final product. Thus, e-pili offer an unprecedented potential for developing novel materials, electronic devices, and sensors for diverse applications with a new “green” technology. Increasing e-pili conductivity will even further expand their potential applications. A proven strategy is to design synthetic e-pili that contain tryptophan, an aromatic amino acid not found in previously studied e-pili. The studies reported here demonstrate that a productive alternative approach is to search more broadly in the microbial world. Surprisingly, even though G. metallireducens and G. sulfurreducens are closely related, the conductivities of their e-pili differ by more than 3 orders of magnitude. The ability to produce e-pili with high conductivity without generating a genetically modified product enhances the attractiveness of this novel electronic material