Derivation of scientific software from mathematical specifications

Often the modification and enhancement of large scientific software systems are severely hampered because many components of the system are written in an implementation dependent fashion, they are inadequately documented, and their functionalities are not precisely known. In this paper we consider how mathematics may be employed to alleviate some of these problems. In particular, we illustrate how the formal specification notation VDM-SL is being used to specify precisely abstract data types for use in the development of scientific software.

NanoStreams: Advancing the Hardware and Software Stack for Real-Time Analytics on Fast Data Streams

NanoStreams is a consortium project funded by the European Commission under its FP7 programme and is a major effort to address the challenges of processing vast amounts of data in real-time, with a markedly lower carbon footprint than the state of the art. The project addresses both the energy challenge and the high-performance required by emerging applications in real-time streaming data analytics. NanoStreams achieves this goal by designing and building disruptive micro-server solutions incorporating real-silicon prototype micro-servers based on System-on-Chip and reconfigurable hardware technologies.

Software as a Service: Analysing Security Issues

Software-as-a-service (SaaS) is a type of software service delivery model which encompasses a broad range of business opportunities and challenges. Users and service providers are reluctant to integrate their business into SaaS due to its security concerns while at the same time they are attracted by its benefits. This article highlights SaaS utility and applicability in different environments like cloud computing, mobile cloud computing, software defined networking and Internet of things. It then embarks on the analysis of SaaS security challenges spanning across data security, application security and SaaS deployment security. A detailed review of the existing mainstream solutions to tackle the respective security issues mapping into different SaaS security challenges is presented. Finally, possible solutions or techniques which can be applied in tandem are presented for a secure SaaS platform.

An EPID-based method for comprehensive verification of gantry, EPID and the MLC carriage positional accuracy in Varian linacs during arc treatments

Background

]In modern radiotherapy, it is crucial to monitor the performance of all linac components including gantry, collimation system and electronic portal imaging device (EPID) during arc deliveries. In this study, a simple EPID-based measurement method has been introduced in conjunction with an algorithm to investigate the stability of these systems during arc treatments with the aim of ensuring the accuracy of linac mechanical performance.

The Varian EPID sag, gantry sag, changes in source-to-detector distance (SDD), EPID and collimator skewness, EPID tilt, and the sag in MLC carriages as a result of linac rotation were separately investigated by acquisition of EPID images of a simple phantom comprised of 5 ball-bearings during arc delivery. A fast and robust software package was developed for automated analysis of image data. Twelve Varian linacs of different models were investigated.

The average EPID sag was within 1 mm for all tested linacs. All machines showed less than 1 mm gantry sag. Changes in SDD values were within 1.7 mm except for three linacs of one centre which were within 9 mm. Values of EPID skewness and tilt were negligible in all tested linacs. The maximum sag in MLC leaf bank assemblies was around 1 mm. The EPID sag showed a considerable improvement in TrueBeam linacs.

The methodology and software developed in this study provide a simple tool for effective investigation of the behaviour of linac components with gantry rotation. It is reproducible and accurate and can be easily performed as a routine test in clinics.

Factors influencing acquisition of Burkholderia cepacia complex organisms in patients with cystic fibrosis

Burkholderia cepacia complex organisms are important transmissible pathogens found in cystic fibrosis (CF) patients. In recent years, the rates of cross-infection of epidemic strains have declined due to effective infection control efforts. However, cases of sporadic B. cepacia complex infection continue to occur in some centers. The acquisition pathways and clinical outcomes of sporadic B. cepacia complex infection are unclear. We sought to determine the patient clinical characteristics, outcomes, incidence, and genotypic relatedness for all cases of B. cepacia complex infection at two CF centers. We also sought to study the external conditions that influence the acquisition of infection. From 2001 to 2011, 67 individual organisms were cultured from the respiratory samples of 64 patients. Sixty-five percent of the patients were adults, in whom chronic infections were more common (68%) (P = 0.006). The incidence of B. cepacia complex infection increased by a mean of 12% (95% confidence interval [CI], 3 to 23%) per year. The rates of transplantation and death were similar in the incident cases who developed chronic infection compared to those in patients with chronic Pseudomonas aeruginosa infection. Multilocus sequence typing revealed 50 individual strains from 65 isolates. Overall, 85% of the patients were infected with unique strains, suggesting sporadic acquisition of infection. The yearly incidence of nonepidemic B. cepacia complex infection was positively correlated with the amount of rainfall in the two sites examined: subtropical Brisbane (r = 0.65, P = 0.031) and tropical Townsville (r = 0.82, P = 0.002). This study demonstrates that despite strict cohort segregation, new cases of unrelated B. cepacia complex infection continue to occur. These data also support an environmental origin of infection and suggest that climate conditions may be associated with the acquisition of B. cepacia complex infections.

Geographical differences in first acquisition of Pseudomonas aeruginosa in cystic fibrosis

RATIONALE: Risk of infection with Pseudomonas aeruginosa in cystic fibrosis (CF) may be associated with environmental factors.

OBJECTIVES: To determine whether residential location is associated with risk of first acquisition of P. aeruginosa.

METHODS: We performed bronchoalveolar lavage and upper airway cultures in children newly diagnosed with CF to identify infection with P. aeruginosa during infancy and early childhood. Children were assessed according to their residence in a regional or metropolitan area. Multilocus sequence typing was used to determine P. aeruginosa genotype. An environmental questionnaire was also administered.

MEASUREMENTS AND MAIN RESULTS: A total of 105 of 120 (87.5%) infants diagnosed with CF were included in this study. Diagnosis in 65 infants (61.9%) followed newborn screening at mean age of 4.6 weeks. Sixty subjects (57.1%) were homozygous ΔF508, and 47 (44.8%) were female. Fifty-five (52.3%) infants were regional, of whom 26 (47.3%), compared with 9 of 50 (18.0%) metropolitan children, acquired infection with P. aeruginosa (odds ratio, 4.084; 95% confidence interval, 1.55-11.30). Age at acquisition was similar (regional: median, 2.31 yr; range, 0.27-5.96 yr; metropolitan: median, 3.10 yr, range, 0.89-3.70 yr). Strain typing identified P. aeruginosa genotypes often encountered in different ecological settings and little evidence of cross-infection. Ninety questionnaires (85.7%) were completed. Those who acquired P. aeruginosa were more likely to be living in a household that used water sprinkler systems (P = 0.032), but no differences were identified to explain increased risk of acquisition of P. aeruginosa in regional children.

CONCLUSIONS: Geographical difference in residence of children with CF was associated with increased risk of first acquisition of P. aeruginosa, usually with strains associated with the environment rather than with cross-infection.

Software-Managed Energy-Efficient Hybrid DRAM/NVM Main Memory

This paper evaluates the viability of user-level software management of a hybrid DRAM/NVM main memory system. We propose an operating system (OS) and programming interface to place data from within the user application. We present a profiling tool to help programmers decide on the placement of application data in hybrid memory systems. Cycle-accurate simulation of modified applications confirms that our approach is more energy-efficient than state-of-the- art hardware or OS approaches at equivalent performance. Moreover, our results are validated on several candidate NVM technologies and a wide set of 14 benchmarks.
The key observation behind this work is that, for the work- loads we evaluated, application objects are too short-lived to motivate migration. Utilizing this property significantly reduces the hardware complexity of hybrid memory systems.