STPA-SafeSec: Safety and Security Analysis for Cyber-Physical Systems

Cyber-physical systems tightly integrate physical processes and information and communication technologies. As today’s critical infrastructures, e.g., the power grid or water distribution networks, are complex cyber-physical systems, ensuring their safety and security becomes of paramount importance. Traditional safety analysis methods, such as HAZOP, are ill-suited to assess these systems. Furthermore, cybersecurity vulnerabilities are often not considered critical, because their effects on the physical processes are not fully understood. In this work, we present STPA-SafeSec, a novel analysis methodology for both safety and security. Its results show the dependencies between cybersecurity vulnerabilities and system safety. Using this information, the most effective mitigation strategies to ensure safety and security of the system can be readily identified. We apply STPA-SafeSec to a use case in the power grid domain, and highlight its benefits.

Murine Models of Diastolic Dysfunction and Heart Failure With Preserved Ejection Fraction

Left ventricular diastolic dysfunction leads to heart failure with preserved ejection fraction, an increasingly prevalent condition largely driven by modern day lifestyle risk factors. As heart failure with preserved ejection fraction accounts for almost one-half of all patients with heart failure, appropriate nonhuman animal models are required to improve our understanding of the pathophysiology of this syndrome and to provide a platform for preclinical investigation of potential therapies. Hypertension, obesity, and diabetes are major risk factors for diastolic dysfunction and heart failure with preserved ejection fraction. This review focuses on murine models reflecting this disease continuum driven by the aforementioned common risk factors. We describe various models of diastolic dysfunction and highlight models of heart failure with preserved ejection fraction reported in the literature. Strengths and weaknesses of the different models are discussed to provide an aid to translational scientists when selecting an appropriate model. We also bring attention to the fact that heart failure with preserved ejection fraction is difficult to diagnose in animal models and that, therefore, there is a paucity of well described animal models of this increasingly important condition.

Who needs evidence? Radical Feminism, the Christian Right and sex work research in Northern Ireland

This chapter describes my experiences of conducting research on commercial sex in Belfast, Northern Ireland which was conducted as part of a larger British Academy – Leverhulme Trust funded study that examined the policing and legal regulation of commercial sex in Belfast (Northern Ireland) along with three other cities: Manchester (England), Berlin (Germany) and Prague (Czech Republic). This study provided the first empirical analysis of commercial sex in the jurisdiction and was instrumental in shedding light on prevalence rates for those involved in the industry as well as providing demographic information on the age, nationality and sexual orientation of sex workers along with the sector worked in, whether on-street or off-street. In the chapter I consider my role as a researcher and highlight some of the difficulties that I experienced conducting what was seen as controversial research in the politically, socially and culturally conservative context of Northern Ireland.

Multiple robots formation manoeuvring and collision avoidance strategy

This paper presents a multiple robots formation manoeuvring and its collision avoidance strategy. The direction priority sequential selection algorithm is employed to achieve the raw path, and a new algorithm is then proposed to calculate the turning compliant waypoints supporting the multi-robot formation manoeuvre. The collision avoidance strategy based on the formation control is presented to translate the collision avoidance problem into the stability problem of the formation. The extension-decomposition-aggregation scheme is next applied to solve the formation control problem and subsequently achieve the collision avoidance during the formation manoeuvre. Simulation study finally shows that the collision avoidance problem can be conveniently solved if the stability of the constructed formation including unidentified objects can be satisfied.

Informal strategies of power in the local planning system

Existing studies that question the role of planning as a state institution, whose interests it serves together with those disputing the merits of collaborative planning are all essentially concerned with the broader issue of power in society. Although there have been various attempts to highlight the distorting effects of power, the research emphasis to date has been focused on the operation of power within the formal structures that constitute the planning system. As a result, relatively little attention has been attributed to the informal strategies or tactics that can be utilised by powerful actors to further their own interests. This article seeks to address this gap by identifying the informal strategies used by the holders of power to bypass the formal structures of the planning system and highlight how these procedures are to a large extent systematic and (almost) institutionalised in a shadow planning system. The methodology consists of a series of semi-structured qualitative interviews with 20 urban planners working across four planning authorities within the Greater Dublin Area, Ireland. Empirical findings are offered that highlight the importance of economic power in the emergence of what essentially constitutes a shadow planning system. More broadly, the findings suggest that much more cognisance of the structural relations that govern how power is distributed in society is required and that ‘light touch’ approaches that focus exclusively on participation and deliberation need to be replaced with more radical solutions that look towards the redistribution of economic power between stakeholders.

Aquatic noise pollution: implications for individuals, populations, and ecosystems

Anthropogenically driven environmental changes affect our planet at an unprecedented scale, and are considered to be a key threat to biodiversity. According to the World Health Organisation, anthropogenic noise is one of the most hazardous forms of anthropogenically driven environmental change and is recognised as a major global pollutant. However, crucial advances in the rapidly emerging research on noise pollution focus exclusively on single aspects of noise pollution, e.g. on behaviour, physiology, terrestrial ecosystems or by focusing on certain taxa. Given that more than two thirds of our planet is covered with water, there is a pressing need to get a holistic understanding of the effects of anthropogenic noise in aquatic ecosystems. We found experimental evidence for negative effects of anthropogenic noise on an individual’s development, physiology, and/or behaviour in both invertebrates and vertebrates. We also found that species differ in their response to noise, and highlight the potential underlying mechanisms for these differences. Finally, we point out challenges in the study of aquatic noise pollution and provide directions for future research, which will enhance our understanding of this globally present pollutant.

Pregnancy Planning and Diabetes:A Qualitative Exploration of Women's Attitudes Toward Preconception Care

Introduction: Seeking preconception care is recognized as an important health behavior for women with preexisting diabetes. Yet many women with diabetes do not seek care or advice until after they are pregnant, and many enter pregnancy with suboptimal glycemic control. This study explored the attitudes about pregnancy and preconception care seeking in a group of nonpregnant women with type 1 diabetes mellitus. Methods: In-depth semistructured interviews were completed with 14 nonpregnant women with type 1 diabetes. Results: Analysis of the interview data revealed 4 main themes: 1) the emotional complexity of childbearing decisions, 2) preferences for information related to pregnancy, 3) the importance of being known by your health professional, and 4) frustrations with the medical model of care. Discussion: These findings raise questions about how preconception care should be provided to women with diabetes and highlight the pivotal importance of supportive, familiar relationships between health professionals and women with diabetes in the provision of individualized care and advice. By improving the quality of relationships and communication between health care providers and patients, we will be better able to provide care and advice that is perceived as relevant to the individual, whatever her stage of family planning. © 2012 by the American College of Nurse-Midwives.

Insight into the mechanism of galactokinase: role of a critical glutamate residue and helix/coil transitions

Galactokinase, the enzyme which catalyses the first committed step in the Leloir pathway, has attracted interest due to its potential as a biocatalyst and as a possible drug target in the treatment of type I galactosemia. The mechanism of the enzyme is not fully elucidated. Molecular dynamics (MD) simulations of galactokinase with the active site residues Arg-37 and Asp-186 altered predicted that two regions (residues 174-179 and 231-240) had different dynamics as a consequence. Interestingly, the same two regions were also affected by alterations in Arg-105, Glu-174 and Arg- 228. These three residues were identified as important in catalysis in previous computational studies on human galactokinase. Alteration of Arg-105 to methionine resulted in a modest reduction in activity with little change in stability. When Arg-228 was changed to methionine, the enzyme’s interaction with both ATP and galactose was affected. This variant was significantly less stable than the wild-type protein. Changing Glu-174 to glutamine (but not to aspartate) resulted in no detectable activity and a less stable enzyme. Overall, these combined in silico and in vitro studies demonstrate the importance of a negative charge at position 174 and highlight the critical role of the dynamics in to key regions of the protein. We postulate that these regions may be critical for mediating the enzyme’s structure and function.