Model-Driven safety evaluation with state-event-based component failure annotations

Over the past years, the paradigm of component-based software engineering has been established in the construction of complex mission-critical systems. Due to this trend, there is a practical need for techniques that evaluate critical properties (such as safety, reliability, availability or performance) of these systems. In this paper, we review several high-level techniques for the evaluation of safety properties for component-based systems and we propose a new evaluation model (State Event Fault Trees) that extends safety analysis towards a lower abstraction level. This model possesses a state-event semantics and strong encapsulation, which is especially useful for the evaluation of component-based software systems. Finally, we compare the techniques and give suggestions for their combined usage

Fundamental considerations of beta-adrenoceptor subtypes in human heart failure

beta-Adrenoceptor antagonists have revolutionized the management of heart failure in humans. However, fundamental questions remain concerning their use. Currently, there is considerable debate about the role of beta(2)-adrenoceptors in heart failure and whether incremental clinical benefit can be obtained by blockade of beta(2)-adrenoceptors in addition to beta(1)-adrenoceptors. Polymorphic forms of beta(1)- and beta(2)-adrenoceptors exist, which might contribute to the variable clinical outcomes that are observed with P-adrenoceptor antagonists. There is evidence for a low-affinity state of beta(1)-adrenoceptors and ventricular beta(3)-adrenoceptors, and these are discussed in the context of heart failure. Finally, there is seemingly paradoxical evidence that restoration and normalization of the beta-adrenoceptor system is beneficial in animal models of heart failure. We reconcile this view with the current clinical use and proven benefit of beta-adrenoceptor antagonists.

Telling the story of theory of mind: Deaf and hearing children's narratives and mental state understanding

Theory of mind (ToM) was examined in late-signing deaf children in two studies by using standard tests and measures of spontaneous talk about inner states of perception, affect and cognition during storytelling. In Study 1, there were 21 deaf children aged 6 to 11 years and 13 typical-hearing children matched with the deaf by chronological age. In Study 2, there were 17 deaf children aged 6 to 12 years and 17 typical-hearing preschoolers aged 4 to 5 years who were matched with the deaf by ToM test performance. In addition to replicating the consistently reported finding of poor performance on standard false belief tests by late-signing deaf children, significant correlations emerged in both studies between deaf children's ToM test scores and their spontaneous narrative talk about imaginative cognition (e.g. 'pretend'). In Study 2, with a new set of purpose-built pictures that evoked richer and more complex mentalistic narration than the published picture book of Study 1, results of multiple regression analyses showed that children's narrative talk about imaginative cognition was uniquely important, over and above hearing status and talking of other kinds of mental states, in predicting ToM scores. The same was true of children's elaborated narrative talk using utterances that either spelt out thoughts, explained inner states or introduced contrastives. In addition, results of a Guttman scalograrn analysis in Study 2 suggested a consistent sequence in narrative and standard test performance by deaf and hearing children that went from (1) narrative mention of visible (affective or perceptual) mental states only, along with FB failure, to (2) narrative mention of cognitive states along with (1), to (3) elaborated narrative talk about inner states along with (2), and finally to (4) simple and elaborated narrative talk about affective/perceptual and cognitive states along with FIB test success. Possible explanations for this performance ordering, as well as for the observed correlations in both studies between ToM test scores and narrative variables, were considered.

The commentariat and discourse failure: language and atrocity in Cool Britannia

Recent terrorist events in the UK, such as the security alerts at British airports in August 2006 and the London bombings of July 2005 gained extensive media and academic analysis. This study contends, however, that much of the commentary demonstrated a wide degree of failure among government agencies, academic and analytic experts and the wider media, about the nature of the threat and continues to distort comprehension of the extant danger. The principal failure, this argument maintains, was, and continues to be, one of an asymmetry of comprehension that mistakes the still relatively limited means of violent jihadist radicals with limited political ends. The misapprehension often stems from the language that surrounds the idea of 'terrorism', which increasingly restricts debate to an intellectually redundant search for the 'root causes' that give rise to the politics of complacency. In recent times this outlook has consistently underestimated the level of the threat to the security of the UK. This article argues that a more realistic appreciation of the current security condition requires abandoning the prevailing view that the domestic threat is best prosecuted as a criminal conspiracy. It demands instead a total strategy to deal with a totalizing threat. The empirical evidence demonstrates the existence of a physical threat, not merely the political fear of threat. The implementation of a coherent set of social policies for confronting the threat at home recognizes that securing state borders and maintaining internal stability are the first tasks of government. Fundamentally, this requires a return to an understanding of the Hobbesian conditions for sovereignty, which, despite the delusions of post-Cold War cosmopolitan multiculturalism, never went away.