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

Engineering prokaryotic gene circuits

Engineering of synthetic gene circuits is a rapidly growing discipline, currently dominated by prokaryotic transcription networks, which can be easily rearranged or rewired to give different output behaviours. In this review, we examine both a rational and a combinatorial design of such networks and discuss progress on using in vitro evolution techniques to obtain functional systems. Moving beyond pure transcription networks, more and more networks are being implemented at the level of RNA, taking advantage of mechanisms of translational control and aptamer–small molecule complex formation. Unlike gene expression systems, metabolic components are generally not as interconnectable in any combination, and so engineering of metabolic circuits is a particularly challenging field. Nonetheless, metabolic engineering has immense potential to provide useful biosynthesis tools for biotechnology applications. Finally, although prokaryotes are mostly studied as single cell systems, cell–cell communication networks are now being developed that result in spatial pattern formation in multicellular prokaryote colonies. This represents a crossover with multicellular organisms, showing that prokaryotic systems have the potential to tackle questions traditionally associated with developmental biology. Overall, the current advances in synthetic gene synthesis, ultra-high-throughput DNA sequencing and computation are synergizing to drive synthetic gene network design at an unprecedented pace

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

Low thrust propulsion in a coplanar circular restricted four body problem

This paper formulates a circular restricted four body problem (CRFBP), where the three primaries are set in the stable Lagrangian equilateral triangle configuration and the fourth body is massless. The analysis of this autonomous coplanar CRFBP is undertaken, which identies eight natural equilibria; four of which are close to the smaller body, two stable and two unstable, when considering the primaries to be the Sun and two smaller bodies of the solar system. Following this, the model incorporates `near term' low-thrust propulsion capabilities to generate surfaces of articial equilibrium points close to the smaller primary, both in and out of the plane containing the celestial bodies. A stability analysis of these points is carried out and a stable subset of them is identied. Throughout the analysis the Sun-Jupiter-Asteroid-Spacecraft system is used, for conceivable masses of a hypothetical asteroid set at the libration point L4. It is shown that eight bounded orbits exist, which can be maintained with a constant thrust less than 1:5 10􀀀4N for a 1000kg spacecraft. This illustrates that, by exploiting low-thrust technologies, it would be possible to maintain an observation point more than 66% closer to the asteroid than that of a stable natural equilibrium point. The analysis then focusses on a major Jupiter Trojan: the 624-Hektor asteroid. The thrust required to enable close asteroid observation is determined in the simplied CRFBP model. Finally, a numerical simulation of the real Sun-Jupiter-624 Hektor-Spacecraft is undertaken, which tests the validity of the stability analysis of the simplied model

Equilibria, periodic orbits around equilibria, and heteroclinic connections in the gravity field of a rotating homogeneous cube

This paper investigates the dynamics of a particle orbiting around a rotating homogeneous cube, and shows fruitful results that have implications for examining the dynamics of orbits around non-spherical celestial bodies. This study can be considered as an extension of previous research work on the dynamics of orbits around simple shaped bodies, including a straight segment, a circular ring, an annulus disk, and simple planar plates with backgrounds in celestial mechanics. In the synodic reference frame, the model of a rotating cube is established, the equilibria are calculated, and their linear stabilities are determined. Periodic orbits around the equilibria are computed using the traditional differential correction method, and their stabilities are determined by the eigenvalues of the monodromy matrix. The existence of homoclinic and heteroclinic orbits connecting periodic orbits around the equilibria is examined and proved numerically in order to understand the global orbit structure of the system. This study contributes to the investigation of irregular shaped celestial bodies that can be divided into a set of cubes.Comment: 29 pages, 16 figures, accepted for publication in Astrophysics & Space Scienc

A multistep process for the dispersal of a Y chromosomal lineage in the Mediterranean area

Tn this work we focus on a microsatellite-defined Y-chromosomal lineage (network 1.2) identified by us and reported in previous studies, whose geographic distribution and antiquity appear to be compatible with the Neolithic spread of farmers. Here, we set network 1.2 in the Y-chromosomal phylogenetic tree, date it with respect to other lineages associated with the same movements by other authors, examine its diversity by means of tri- and tetranucleotide loci and discuss the implications hi reconstructing the spread of this group of chromosomes in the Mediterranean area. Our results define a tripartite phylogeny wit-bin HG 9 (Rosser et al. 2000) with the deepest branching defined by alleles T (Haplogroup Eu 10) or G (Haplogroup Eu9) at M172 (Semino et al. 2000), and a subsequent branching within Eu9 defined by network 1.2. Population distributions of HG 9 and network 1.2 show that their occurrence in the surveyed area is not due to the spread of people from a single parental population but, rather, to a process punctuated by at least two phases. Our data identify the wide area of the Balkans, Aegean and Anatolia as the possible homeland harbouring the largest variation within network 1.2. The use of recently proposed tests based on the stepwise mutation model suggests that its spread was associated to a population expansion, xvith a high rate of male gene flow in the Turkish Greek area

Periodic orbits in the gravity field of a fixed homogeneous cube

In the current study, the existence of periodic orbits around a fixed homogeneous cube is investigated, and the results have powerful implications for examining periodic orbits around non-spherical celestial bodies. In the two different types of symmetry planes of the fixed cube, periodic orbits are obtained using the method of the Poincar\'e surface of section. While in general positions, periodic orbits are found by the homotopy method. The results show that periodic orbits exist extensively in symmetry planes of the fixed cube, and also exist near asymmetry planes that contain the regular Hex cross section. The stability of these periodic orbits is determined on the basis of the eigenvalues of the monodromy matrix. This paper proves that the homotopy method is effective to find periodic orbits in the gravity field of the cube, which provides a new thought of searching for periodic orbits around non-spherical celestial bodies. The investigation of orbits around the cube could be considered as the first step of the complicated cases, and helps to understand the dynamics of orbits around bodies with complicated shapes. The work is an extension of the previous research work about the dynamics of orbits around some simple shaped bodies, including a straight segment, a circular ring, an annulus disk, and simple planar plates.Comment: 23 pages, 10 figures, accepted for publication in Astrophysics & Space Scienc

Patterns of male-specific inter-population divergence in Europe, West Asia and North Africa

We typed 1801 males from 55 locations for the Y-specific binary markers YAP! DYZ3, SRY10831 and the (CA)n microsatellites YCAII and DYS413. Phylogenetic relationships of chromosomes with the same binary haplotype were condensed in seven large one-step networks! which accounted for 95% of all chromosomes. Their coalescence ages were estimated based on microsatellite diversity. The three largest and oldest networks undergo sharp frequency changes in three areas. The more recent network; 3.1A clearly discriminates between Western and Eastern European populations. Pairwise Pst showed an overall increment with increasing geographic distance but with a slope greatly reduced when compared to previous reports. BI sectioning the entire data set according to geographic and linguistic criteria, we found higher Fst-on-distance slopes within Europe than in West Asia or across the tno continents