Uncovering a hidden epidemic: A study of the current burden of heart failure in Australia

Background. Australia, like other countries, is experiencing an epidemic of heart failure (HF). However, given the lack of national and population-based datasets collating detailed cardiovascular-specific morbidity and mortality outcomes, quantifying the specific burden imposed by HF has been difficult. Methods. Australian Bureau of Statistics (ABS data) for the year 2000 were used in combination with contemporary, well-validated population-based epidemiologic data to estimate the number of individuals with symptomatic and asymptomatic HF related to both preserved (diastolic dysfunction) and impaired left ventricular systolic (dys)function (LVSD) and rates of HF-related hospitalisation. Results. In 2000, we estimate that around 325,000 Australians (58% male) had symptomatic HF associated with both LVSD and diastolic dysfunction and an additional 214,000 with asymptomatic LVSD. 140,000 (26%) live in rural and remote regions, distal to specialist health care services. There was an estimated 22,000 incidents of admissions for congestive heart failure and approximately 100,000 admissions associated with this syndrome overall. Conclusion. Australia is in the midst of a HF epidemic that continues to grow. Overall, it probably contributes to over 1.4 million days of hospitalization at a cost of more than $1 billion. A national response to further quantify and address this enormous health problem is required.

Failure of a medulloblastoma-derived mutant of SUFU to suppress WNT signaling

Germline mutations of APC in patients with Turcot syndrome (colon cancer and medulloblastoma), was well as somatic mutations of APC, beta-catenin, and Axin in sporadic medulloblastomas (MBs) have shown the importance of WNT signaling in the pathogenesis of MB. A subset of children with MB have germline mutations of SUFU, a known inhibitor of Hedgehog signal transduction. A recent report suggested that murine Sufu can bind beta-catenin, export it from the nucleus, and thereby repress beta-catenin/T-cell factor (Tcf)-mediated transcription. We show that an MB-derived mutant of SUFU has lost the ability to decrease nuclear levels of beta-catenin, and cannot inhibit beta-catenin/Tcf-mediated transcription as compared to wild type SUFU. Our results suggest that loss of function of SUFU results in overactivity of both the Sonic Hedgehog, and the WNT signaling pathways, leading to excessive proliferation and failure to differentiate resulting in MB.

An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.