From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques

Modern safety-critical systems, such as aircraft and spacecraft, crucially depend on rigorous verification, from design time to runtime. Simulation is a highly-developed, time-honored design-time verification technique, whereas runtime verification is a much younger outgrowth from modern complex systems that both enable embedding analysis on-board and require mission-time verification, e.g., for flight certification. While the attributes of simulation are well-defined, the vocabulary of runtime verification is still being formed; both are active research areas needed to ensure safety and security. This invited paper explores the connections and differences between simulation and runtime verification and poses open research questions regarding how each might be used to advance past bottlenecks in the other. We unify their vocabulary, list their commonalities and contrasts, and examine how their artifacts may be connected to push the state of the art of what we can (safely) fly

A Taxonomy for Classifying Runtime Verification Tools

International audienceOver the last 15 years Runtime Verification (RV) has grown into a diverse and active field, which has stimulated the development of numerous theoretical frameworks and tools. Many of the tools are at first sight very different and challenging to compare. Yet, there are similarities. In this work, we classify RV tools within a high-level taxonomy of concepts. We first present this taxonomy and discuss the different dimensions. Then, we survey RV tools and classify them according to the taxonomy. This paper constitutes a snapshot of the current state of the art and enables a comparison of existing tools

THE USE OF HYPNOSIS AS AN AUTO-ETHNOGRAPHIC MODALITY IN THE EXPLORATION AND MANAGEMENT OF OVERWEIGHT AND OBESITY - SELECTED CASE STUDIES

The increasing incidence of obesity around the world has become a major problem with health and economic implications for most countries, and one which currently available methods of weight management including diet, exercise and lifestyle advice all seem incapable of controlling. The premise of this project was that some instances of adult obesity could be due to adverse, unresolved childhood traumas and experiences the consequences of which were continuing to act subconsciously in those individuals to impede effective and maintained adult weight loss; and that hypnosis was an appropriate exploratory tool for identifying and resolving these problems to facilitate more effectual weight management. For this purpose a group of seven overweight female volunteers were invited to undertake a series of “state”, dissociative hypnosis sessions involving regression back through their childhood and early adulthood. The resulting recalled autobiography from each participant’s series of hypnosis sessions was recorded, transcribed and analysed to constitute a piece of narrative autoethnography of their childhood past. All seven participants in this project were able to utilise hypnosis effectively to enable them to recall barely remembered past events, feelings and connections which, they realised for the first time as adults, had had a major and long-lasting impact on how they felt about food, their body weight or their body image. Hypnotically recalled memories of guilt and anger were associated with dysfunctional family relationships and childhood eating experiences. For most of these participants the strength of the association between these past times and feelings, and their current long-term overweight problem came as a total surprise. Even in advance of any weight loss most participants were inspired by their discoveries and felt that the telling of this hidden story had had a transformative benefit for them in bringing about reconciliation with the past, understanding of the present and planning for their future. These narrative accounts and results suggest that hypnosis might have wider application for use as an ethnological modality in sociology and health studies more generally