Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly

Association Between Autism Spectrum Disorders With or Without Intellectual Disability and Depression in Young Adulthood

ImportanceDepression is a frequently occurring mental disorder and may be common in adults with autism spectrum disorders (ASD), but there is a lack of longitudinal population-based studies examining this association. Whether any increased risk of depression in ASD has a shared familial basis and whether it differs by co-occurring intellectual disability is not well known.ObjectivesTo examine whether individuals with ASD are more likely to be diagnosed as having depression in adulthood than the general population and their nonautistic siblings and to investigate whether these risks differ by the presence or absence of intellectual disability.Design, setting, and participantsPopulation-based cohort study with a nested sibling comparison. The Stockholm Youth Cohort is a total population record linkage study that includes all children and young people (age range, 0-17 years) who were ever resident in Stockholm County, Sweden, between January 2001 and December 2011 (n = 735 096). Data analysis was conducted between January 5 and November 30, 2017, in Stockholm County, Sweden.Main outcomes and measuresClinical diagnosis of depressive disorders was identified using the Stockholm County Adult Psychiatric Outpatient Register and the Swedish National Patient Register.ResultsParticipants were 223 842 individuals followed up to age 27 years by 2011, of whom 4073 had diagnosed ASD (mean [SD] age, 21.5 [2.7] years; 65.9% male; 2927 without intellectual disability and 1146 with intellectual disability) and 219 769 had no ASD (mean [SD] age, 22.1 [2.8] years; 50.9% male). By age 27 years, 19.8% (n = 808) of individuals diagnosed having ASD had a diagnosis of depression compared with 6.0% (n = 13 114) of the general population (adjusted relative risk [RR], 3.64; 95% CI, 3.41-3.88). The risk of a depression diagnosis was higher in ASD without intellectual disability (adjusted RR, 4.28; 95% CI, 4.00-4.58) than in ASD with intellectual disability (adjusted RR, 1.81; 95% CI, 1.51-2.17). Nonautistic full-siblings (adjusted RR, 1.37; 95% CI, 1.23-1.53) and half-siblings (adjusted RR, 1.42; 95% CI, 1.23-1.64) of individuals with ASD also had a higher risk of depression than the general population. Compared with their nonautistic full-siblings, individuals with ASD had more than a 2-fold risk of a depression diagnosis (adjusted odds ratio, 2.50; 95% CI, 1.91-3.27) in young adulthood.Conclusions and relevanceAccording to this study's results, ASD, particularly ASD without intellectual disability, is associated with depression by young adulthood compared with the general population. It appears that this association is unlikely to be explained by shared familial liability. Future research to identify modifiable pathways between ASD and depression may assist in the development of preventive interventions

Family composition and age at menarche: findings from the international Health Behaviour in School-Aged Children Study

This research was funded by The University of St Andrews and NHS Health Scotland.Background Early menarche has been associated with father absence, stepfather presence and adverse health consequences in later life. This article assesses the association of different family compositions with the age at menarche. Pathways are explored which may explain any association between family characteristics and pubertal timing. Methods Cross-sectional, international data on the age at menarche, family structure and covariates (age, psychosomatic complaints, media consumption, physical activity) were collected from the 2009–2010 Health Behaviour in School-aged Children (HBSC) survey. The sample focuses on 15-year old girls comprising 36,175 individuals across 40 countries in Europe and North America (N = 21,075 for age at menarche). The study examined the association of different family characteristics with age at menarche. Regression and path analyses were applied incorporating multilevel techniques to adjust for the nested nature of data within countries. Results Living with mother (Cohen’s d = .12), father (d = .08), brothers (d = .04) and sisters (d = .06) are independently associated with later age at menarche. Living in a foster home (d = −.16), with ‘someone else’ (d = −.11), stepmother (d = −.10) or stepfather (d = −.06) was associated with earlier menarche. Path models show that up to 89% of these effects can be explained through lifestyle and psychological variables. Conclusions Earlier menarche is reported amongst those with living conditions other than a family consisting of two biological parents. This can partly be explained by girls’ higher Body Mass Index in these families which is a biological determinant of early menarche. Lower physical activity and elevated psychosomatic complaints were also more often found in girls in these family environments.Publisher PDFPeer reviewe

From the Shell-shocked Soldier to the Nervous Child: Psychoanalysis in the Aftermath of the First World War

This article investigates the development of child analysis in Britain between the wars, as the anxious child succeeded the shell-shocked soldier as a focus of psychoanalytic enquiry. Historians of psychoanalysis tend to regard the Second World War as a key moment in the discovery of the ‘war within’ the child, but it was in the aftermath of the First War that the warring psyche of the child was observed and elaborated. The personal experience of war and its aftermath, and the attention given to regression in the treatment of war neuroses, encouraged Melanie Klein, Anna Freud and others to turn their attention to children. At the same time, however, the impact of the First World War as a traumatic event, with inter-generational consequences, remained largely unaccounted for within psychoanalysis as Klein and others focused on the child's riven internal world

Michael Gove’s war on professional historical expertise : conservative curriculum reform, extreme Whig history and the place of imperial heroes in modern multicultural Britain

Six years of continuously baiting his opponents within the history profession eventually amounted to little where it mattered most. UK Secretary of State for Education, Michael Gove, finally backtracked in 2013 on his plans to impose a curriculum for English schools based on a linear chronology of the achievements of British national heroes. His ‘history as celebration’ curriculum was designed to instil pride amongst students in a supposedly shared national past, but would merely have accentuated how many students in modern multicultural Britain fail to recognise themselves in what is taught in school history lessons. Now that the dust has settled on Gove’s tenure as Secretary of State, the time is right for retrospective analysis of how his plans for the history curriculum made it quite so far. How did he construct an ‘ideological’ conception of expertise which allowed him to go toe-to-toe for so long with the ‘professional’ expertise of academic historians and history teachers? What does the content of this ideological expertise tell us about the politics of race within Conservative Party curriculum reforms? This article answers these questions to characterise Gove as a ‘whig historian’ of a wilfully extreme nature in his attachment to imperial heroes as the best way to teach national history in modern multicultural Britain

Gestão e práticas socialmente responsáveis na cooperação agrícola

Through its history, agricultural cooperation has developed standards and values, leading specific decision making processes. The article proposes a model of decision based on "dialectical tension". By taking into account the dynamic relationship between stakeholders and organizations, this innovative model overcomes the limits of the stakeholders’ theory