Verification of autonomous systems:the road ahead

Currently, verification is a bottleneck in transitioning autonomous systems (AS) out of the lab because we cannot explain why they fail. Verification of autonomous systems is both underfunded and understudied in the academic community, while it encompasses challenges ranging from distinguishing further between testing and verification to studying not only the robots’ actions but also gaps in our ability to interpret, understand, and evaluate their behavior

IEEE P7001: A proposed standard on transparency

This paper describes IEEE P7001, a new draft standard on transparency of autonomous systems. In the paper, we outline the development and structure of the draft standard. We present the rationale for transparency as a measurable, testable property. We outline five stakeholder groups: users, the general public and bystanders, safety certification agencies, incident/accident investigators and lawyers/expert witnesses, and explain the thinking behind the normative definitions of “levels” of transparency for each stakeholder group in P7001. The paper illustrates the application of P7001 through worked examples of both specification and assessment of fictional autonomous systems

Design and test (D & T) of an in-flight entertainment system with camera modification

In-flight entertainment (IFE) systems are human-machine systems which allow (i) the communication between the crew and passengers about flight information, and (ii) the interaction of a passenger with the multimedia content available on board, e.g. films, music, etc., usually using a touchscreen. In this paper, we present the robust design and development of a new in-flight entertainment system presenting a camera modification (IFECaM) to allow further functionalities to an IFE system such as (iii) the cooperation between passengers. The design of the IFECaM has followed the Design and Test (D&T) approach and has incorporated DO-178C and DO-331 aerospace norms. Tests have been carried out according to the standards and have demonstrated the excellent performance of our interactive, multimedia in-flight entertainment system

The Effects of Vitamin D on the Expression of IL-33 and Its Receptor ST2 in Skin Cells; Potential Implication for Psoriasis

Interleukin 33 (IL-33) belongs to the IL-1 family and is produced constitutively by epithelial and endothelial cells of various organs, such as the skin. It takes part in the maintenance of tissue homeostasis, repair, and immune response, including activation of Th2 lymphocytes. Its involvement in pathogenesis of several inflammatory diseases including psoriasis was also suggested, but this is not fully understood. The aim of the study was to investigate expression of IL-33 and its receptor, ST2, in psoriasis, and the effects of the active form of vitamin D (1,25(OH)2D3) on their expression in skin cells. Here we examined mRNA and protein profiles of IL-33 and ST2 in 18 psoriatic patients and healthy volunteers by qPCR and immunostaining techniques. Potential effects of 1,25(OH)2D3 and its receptor (VDR) on the expression of IL-33 and ST2 were tested in cultured keratinocytes, melanocytes, fibroblasts, and basal cell carcinoma cells. It was shown that 1,25(OH)2D3 effectively stimulated expression of IL-33 and its receptor ST2’s mRNAs in a time-dependent manner, in keratinocytes and to the lesser extends in melanocytes, but not in fibroblasts. Furthermore, the effect of vitamin D on expression of IL-33 and ST2 was VDR-dependent. Finally, we demonstrated that the expression of mRNA for IL-33 was mainly elevated in the psoriatic skin but not in its margin. Interestingly, ST2 mRNA was downregulated in psoriatic lesion compared to both marginal tissue as well as healthy skin. Our data indicated that vitamin D can modulate IL-33 signaling, opening up new perspectives for our understanding of the mechanism of vitamin D action in psoriasis therapy

IEEE Standard for Transparency of Autonomous Systems

Measurable, testable levels of transparency, so that autonomous systems can be objectively assessed, and levels of compliance determined, are described in this standard

An open data infrastructure for the study of anthropogenic hazards linked to georesource exploitation

Abstract Mining, water-reservoir impoundment, underground gas storage, geothermal energy exploitation and hydrocarbon extraction have the potential to cause rock deformation and earthquakes, which may be hazardous for people, infrastructure and the environment. Restricted access to data constitutes a barrier to assessing and mitigating the associated hazards. Thematic Core Service Anthropogenic Hazards (TCS AH) of the European Plate Observing System (EPOS) provides a novel e-research infrastructure. The core of this infrastructure, the IS-EPOS Platform (tcs.ah-epos.eu) connected to international data storage nodes offers open access to large grouped datasets (here termed episodes), comprising geoscientific and associated data from industrial activity along with a large set of embedded applications for their efficient data processing, analysis and visualization. The novel team-working features of the IS-EPOS Platform facilitate collaborative and interdisciplinary scientific research, public understanding of science, citizen science applications, knowledge dissemination, data-informed policy-making and the teaching of anthropogenic hazards related to georesource exploitation. TCS AH is one of 10 thematic core services forming EPOS, a solid earth science European Research Infrastructure Consortium (ERIC) (www.epos-ip.org)