Model-Based Approaches for Validating Business Critical Systems

Developing a business critical system can involve considerable difficulties. This paper describes part of a new methodology that tackles this problem using co-evolution of models and prototypes to strengthen the relationship between modelling and testing. We illustrate how different modelling frameworks, Promela/SPIN and B/ProB/AtelierB, can be used to implement this idea. As a way to reinforce integration between modelling and testing, we were able to anticipate problems and guide the development of our software in a safer way, increasing our understanding of the system and its reliabilit

Intellectual disability, hate crime and other social constructions : A view from South Yorkshire

The category of hate crime is a recent legislative response to the increasing levels of anti-social, criminal and discriminatory behaviours and practices that target a wide spectrum of individuals on the basis of their identification within certain minority sociological subcultures. People with intellectual disability are often targeted for this kind of behaviour. Here we report on an evaluation of one English city's efforts to instigate a street-based scheme to offer some security and protection to its intellectually disabled citizens. The physical location of the premises and the engagement of the staff employed therein has some bearing on their potential to be effective in offering shelter and support to distressed individuals. But even where premises are well situated with positive staffing the absence of local records to list the uptake of the scheme leaves room for doubt about its overall effectiveness. We make some recommendations for practice and suggest directions for further research key words: hate crime intellectual disability safe places social inclusio

What kind of abuse is him spitting in my food?: Reflections on the similarities between disability hate crime, so-called ‘mate’ crime and domestic violence against women with intellectual disabilities

Domestic violence against women with learning disabilities is a wholly under-researched topic. A recent study indicated that there are strong parallels between domestic violence, disability hate crime and ‘mate’ crime. This paper explores these similarities and argues that rather than treating them as discreet phenomena, we need to make the connections and re-affirm the commitment that feminist scholars and activists made long ago, namely to take violence committed in private as seriously as that committed in public

Prognostic model to predict postoperative acute kidney injury in patients undergoing major gastrointestinal surgery based on a national prospective observational cohort study.

Background: Acute illness, existing co-morbidities and surgical stress response can all contribute to postoperative acute kidney injury (AKI) in patients undergoing major gastrointestinal surgery. The aim of this study was prospectively to develop a pragmatic prognostic model to stratify patients according to risk of developing AKI after major gastrointestinal surgery. Methods: This prospective multicentre cohort study included consecutive adults undergoing elective or emergency gastrointestinal resection, liver resection or stoma reversal in 2-week blocks over a continuous 3-month period. The primary outcome was the rate of AKI within 7 days of surgery. Bootstrap stability was used to select clinically plausible risk factors into the model. Internal model validation was carried out by bootstrap validation. Results: A total of 4544 patients were included across 173 centres in the UK and Ireland. The overall rate of AKI was 14·2 per cent (646 of 4544) and the 30-day mortality rate was 1·8 per cent (84 of 4544). Stage 1 AKI was significantly associated with 30-day mortality (unadjusted odds ratio 7·61, 95 per cent c.i. 4·49 to 12·90; P < 0·001), with increasing odds of death with each AKI stage. Six variables were selected for inclusion in the prognostic model: age, sex, ASA grade, preoperative estimated glomerular filtration rate, planned open surgery and preoperative use of either an angiotensin-converting enzyme inhibitor or an angiotensin receptor blocker. Internal validation demonstrated good model discrimination (c-statistic 0·65). Discussion: Following major gastrointestinal surgery, AKI occurred in one in seven patients. This preoperative prognostic model identified patients at high risk of postoperative AKI. Validation in an independent data set is required to ensure generalizability