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.

Evaluating Patient Education Materials about Radiation Therapy

Targeted treatment education for cancer patients has the potential to promote adjustment through assisting patients to participate in treatment decision making, comply with treatment regimens and cope more effectively with treatment side effects. A quasi-experimental longitudinal pre-test post-test and follow-up design was used to assess the effect of a patient education video about radiation therapy on patients' psychological distress, knowledge about radiation therapy, self-efficacy about coping with treatment and physical symptoms. Patients with head and neck (n = 26) and breast cancer (n = 66) were recruited into the study and allocated into control and intervention groups. No significant differences were found between the control and intervention groups on any of the outcome variables. However, patients in the intervention group reported high levels of satisfaction with the video and all reported that they would recommend the video to other patients preparing for radiation therapy. As well, 90% of patients in the intervention group reported that some or all of the information in the video was new to them. Education materials that have excellent face validity and that are well received by patients may fail to produce significant change using standard controlled study designs. Future research in this area may need to consider alternative paradigms for evaluating the helpfulness of such materials. (C) 2003 Elsevier Science Ireland Ltd. All rights reserved.