A Survey Of Software Dependability

This paper presents on overview of the issues in precisely defining, specifying and evaluating the dependability of software, particularly in the context of computer controlled process systems. Dependability is intended to be a generic term embodying various quality factors and is useful for both software and hardware. While the developments in quality assurance and reliability theories have proceeded mostly in independent directions for hardware and software systems, we present here the case for developing a unified framework of dependability—a facet of operational effectiveness of modern technological systems, and develop a hierarchical systems model helpful in clarifying this view. In the second half of the paper, we survey the models and methods available for measuring and improving software reliability. The nature of software “bugs”, the failure history of the software system in the various phases of its lifecycle, the reliability growth in the development phase, estimation of the number of errors remaining in the operational phase, and the complexity of the debugging process have all been considered to varying degrees of detail. We also discuss the notion of software fault-tolerance, methods of achieving the same, and the status of other measures of software dependability such as maintainability, availability and safety.

Byzantine-resilient distributed computing systems

This paper is aimed at reviewing the notion of Byzantine-resilient distributed computing systems, the relevant protocols and their possible applications as reported in the literature. The three agreement problems, namely, the consensus problem, the interactive consistency problem, and the generals problem have been discussed. Various agreement protocols for the Byzantine generals problem have been summarized in terms of their performance and level of fault-tolerance. The three classes of Byzantine agreement protocols discussed are the deterministic, randomized, and approximate agreement protocols. Finally, application of the Byzantine agreement protocols to clock synchronization is highlighted.

Pulse-echo ultrasound transit time spectroscopy: A comparison of experimental measurements and simulation prediction

Considering ultrasound propagation through complex composite media as an array of parallel sonic rays, a comparison of computer simulated prediction with experimental data has previously been reported for transmission mode (where one transducer serves as transmitter, the other as receiver) in a series of ten acrylic step-wedge samples, immersed in water, exhibiting varying degrees of transit time inhomogeneity. In this study, the same samples were used but in pulse-echo mode, where the same ultrasound transducer served as both transmitter and receiver, detecting both ‘primary’ (internal sample interface) and ‘secondary’ (external sample interface) echoes. A transit time spectrum (TTS) was derived, describing the proportion of sonic rays with a particular transit time. A computer simulation was performed to predict the transit time and amplitude of various echoes created, and compared with experimental data. Applying an amplitude-tolerance analysis, 91.7±3.7% of the simulated data was within ±1 standard deviation (STD) of the experimentally measured amplitude-time data. Correlation of predicted and experimental transit time spectra provided coefficients of determination (R2) ranging from 100.0% to 96.8% for the various samples tested. The results acquired from this study provide good evidence for the concept of parallel sonic rays. Further, deconvolution of experimental input and output signals has been shown to provide an effective method to identify echoes otherwise lost due to phase cancellation. Potential applications of pulse-echo ultrasound transit time spectroscopy (PE-UTTS) include improvement of ultrasound image fidelity by improving spatial resolution and reducing phase interference artefacts.

Performance modelling of a fault-tolerant real-time multiprocessor using stochastic Petri nets

The fault-tolerant multiprocessor (ftmp) is a bus-based multiprocessor architecture with real-time and fault- tolerance features and is used in critical aerospace applications. A preliminary performance evaluation is of crucial importance in the design of such systems. In this paper, we review stochastic Petri nets (spn) and developspn-based performance models forftmp. These performance models enable efficient computation of important performance measures such as processing power, bus contention, bus utilization, and waiting times.

Ultrasound-assisted surface engineering of pharmaceutical powders

Effective processing of powdered particles can facilitate powder handling and result in better drug product performance, which is of great importance in the pharmaceutical industry where the majority of active pharmaceutical ingredients (APIs) are delivered as solid dosage forms. The purpose of this work was to develop a new ultrasound-assisted method for particle surface modification and thin-coating of pharmaceutical powders. The ultrasound was used to produce an aqueous mist with or without a coating agent. By using the proposed technique, it was possible to decrease the interparticular interactions and improve rheological properties of poorly-flowing water-soluble powders by aqueous smoothing of the rough surfaces of irregular particles. In turn, hydrophilic polymer thin-coating of a hydrophobic substance diminished the triboelectrostatic charge transfer and improved the flowability of highly cohesive powder. To determine the coating efficiency of the technique, the bioactive molecule β-galactosidase was layered onto the surface of powdered lactose particles. Enzyme-treated materials were analysed by assaying the quantity of the reaction product generated during enzymatic cleavage of the milk sugar. A near-linear increase in the thickness of the drug layer was obtained during progressive treatment. Using the enzyme coating procedure, it was confirmed that the ultrasound-assisted technique is suitable for processing labile protein materials. In addition, this pre-treatment of milk sugar could be used to improve utilization of lactose-containing formulations for populations suffering from severe lactose intolerance. Furthermore, the applicability of the thin-coating technique for improving homogeneity of low-dose solid dosage forms was shown. The carrier particles coated with API gave rise to uniform distribution of the drug within the powder. The mixture remained homogeneous during further tabletting, whereas the reference physical powder mixture was subject to segregation. In conclusion, ultrasound-assisted surface engineering of pharmaceutical powders can be effective technology for improving formulation and performance of solid dosage forms such as dry powder inhalers (DPI) and direct compression products.

Phosphorus nutrition and tolerance of cotton to water stress: II. Water relations, free and bound water and leaf expansion rate

In previous experiments, increased leaf-Phosphorus (P) content with increasing P supply enhanced the individual leaf expansion and water content of fresh cotton leaves in a severely drying soil. In this paper, we report on the bulk water content of leaves and its components, free and bound water, along with other measures of plant water status, in expanding cotton leaves of various ages in a drying soil with different P concentrations. The bound water in living tissue is more likely to play a major role in tolerance to abiotic stresses by maintaining the structural integrity and/or cell wall extensibility of the leaves, whilst an increased amount of free water might be able to enhance solute accumulation, leading to better osmotic adjustment and tolerance to water stress, and maintenance of the volumes of sub-cellular compartments for expansive leaf growth. There were strong correlations between leaf-P%, leaf water (total, free and bound water) and leaf expansion rate (LER) under water stress conditions in a severely drying soil. Increased soil-P enhanced the uptake of P from a drying soil, leading to increased supply of osmotically active inorganic solutes to the cells in growing leaves. This appears to have led to the accumulation of free water and more bound water, ultimately leading to increased leaf expansion rates as compared to plants in low P soil under similar water stress conditions. The greater amount of bound and free water in the high-P plants was not necessarily associated with changes in cell turgor, and appears to have maintained the cell-wall properties and extensibility under water stressed conditions in soils that are nutritionally P-deficient.

Phosphorus nutrition and tolerance of cotton to water stress I. Seed cotton yield and leaf morphology

Seed cotton yield and morphological changes in leaf growth were examined under drying soil with different phosphorus (P) concentrations in a tropical climate. Frequent soil drying is likely to induce a decrease in nutrients particularly P due to reduced diffusion and poor uptake, in addition to restrictions in available water, with strong interactive effects on plant growth and functioning. Increased soil P in field and in-ground soil core studies increased the seed cotton yield and related morphological growth parameters in a drying soil, with hot (daily maximum temperature >33°C) and dry conditions (relative humidity, 25% to 35%), particularly during peak boll formation and filling stage. The soil water content in the effective rooting zone (top 0.4 m) decreased to -1.5 MPa by day 5 of the soil drying cycle. However, the increased seed cotton yield for the high-P plants was closely related to increasing leaf area with increased P supply. Plant height, leaf fresh mass and leaf area per plant were positively related to the leaf P%, which increased with increasing P supply. Low P plants were lower in plant height, leaf area, and leaf tissue water in the drying soil. Individual leaf area and the water content of the fresh leaf (ratio of dry mass to fresh mass) were significantly dependent on leaf P%.

Investigating the effectiveness of an ecological approach to learning design in a first year mathematics for engineering unit

This is presentation of the refereed paper accepted for the Conferences' proceedings. The presentation was given on Tuesday, 1 December 2015.

Measurement and Interpretation of Salinity Tolerance in Four Perennial Grasses

Whilst the topic of soil salinity has received a substantive research effort over the years, the accurate measurement and interpretation of salinity tolerance data remain problematic. The tolerance of four perennial grass species (non-halophytes) to sodium chloride (NaCl) dominated salinity was determined in a free-flowing sand culture system. Although the salinity tolerance of non-halophytes is often represented by the threshold salinity model (bent-stick model), none of the species in the current study displayed any observable salinity threshold. Further, the observed yield decrease was not linear as suggested by the model. On re-examination of earlier datasets, we conclude that the threshold salinity model does not adequately describe the physiological processes limiting growth of non-halophytes in saline soils. Therefore, the use of the threshold salinity model is not recommended for non-halophytes, but rather, a model which more accurately reflects the physiological response observed in these saline soils, such as an exponential regression curve.

A study in Crystal engineering: Solid-state photodimerization of chloro- and methyl-coumarins

Use of chloro and methyl substitution in crystal engineering and their interchangeability in terms of mode of packing have been examined in a series of substituted coumarins. Photoreactivity in the solid state lists been correlated with the crystallograhic structures of these coumarins. The packing of chloro-substituted aromatic compounds has been investigated by analysing the arrangement of 132 compounds. Results substantiate the use of the chloro group as a steering agent and show that the chloro and methyl groups are not always interchangeable.

Evaluation of transgenic bananas expressing anti-apoptotic genes for resistance against Fusarium wilt

The banana industry worldwide is under threat from a fungal disease known as Fusarium wilt, a disease for which there is no chemical control. Conventional breeding approaches to generate resistant banana varieties are lengthy and very difficult. As such, genetic engineering for disease resistance is considered the most viable control option. In this PhD thesis, genetically modified banana plants were generated using several different stress tolerance genes. When challenged with Fusarium wilt in glasshouse trials, some lines showed increased resistance to the disease. The promising elite lines generated in this study will now require testing in field trials.

Shifting the Focus. Incorporating knowledge about Aboriginal engineering into main stream content

BACKGROUND OR CONTEXT The concept of 'Aboriginal engineering' has had little exposure in conventional engineering education programs, despite more than 40,000 years of active human engagement with the diverse Australian environment. The work reported in this paper began with the premise that Indigenous Student Support Through Indigenous Perspectives Embedded in Engineering Curricula (Goldfinch, et al 2013) would provide a clear and replicable means of encouraging Aboriginal teenagers to consider a career in engineering. Although that remains a key outcome of this OLT project, the direction taken by the research had led to additional insights and perspectives that have wide implications for engineering education more generally. There has only been passing reference to the achievements of Aboriginal engineering in current texts, and the very absence of such references was a prompt to explore further as our work developed. PURPOSE OR GOAL Project goals focused on curriculum-based change, including development of a model for inclusive teaching spaces, and study units employing key features of the model. As work progressed we found we needed to understand more about the principles and practices informing the development of pre-contact Aboriginal engineering strategies for sustaining life and society within the landscape of this often harsh continent. We also found ourselves being asked 'what engineering did Aboriginal cultures have?' Finding that there are no easy-to- access answers, we began researching the question, while continuing to engage with specific curriculum trials. APPROACH Stakeholders in the project had been identified as engineering educators, potential Aboriginal students and Aboriginal communities local to Universities involved in the project. We realised, early on, that at least one more group was involved - all the non-Aboriginal students in engineering classes. This realisation, coupled with recognition of the need to understand Aboriginal engineering as a set of viable, long term practices, altered the focus of our efforts. Rather than focusing primarily on finding ways to attract Aboriginal engineering students, the shift has been towards evolving ways of including knowledge about Aboriginal practices and principles in relevant engineering content. DISCUSSION This paper introduces the model resulting from the work of this project, explores its potential influence on engineering curriculum development and reports on implementation strategies. The model is a static representation of a dynamic and cyclic approach to engaging with Aboriginal engineering through contact with local communities in regard to building knowledge about the social beliefs underlying Aboriginal engineering principles and practices. Ways to engage engineering educators, students and the wider community are evolving through the continuing work of the project team and will be reported in more detail in the paper. RECOMMENDATIONS/IMPLICATIONS/CONCLUSION While engineering may be considered by some to be agnostic in regard to culture and social issues, the work of this project is drawing attention to the importance of including such issues into curriculum materials at a number of levels of complexity. The paper will introduce and explore the central concepts of the research completed to date, as well as suggesting ways in which engineering educators can extend their knowledge and understanding of Aboriginal engineering principles in the context of their own specialisations.

Thermal tolerance and potential distribution of Carvalhotingis visenda (Hemiptera: Tingidae), a biological control agent for cat's claw creeper, Macfadyena unguis-cati (Bignoniaceae)

The specialist tingid, Carvalhotingis visenda, is a biological control agent for cat's claw creeper, Macfadyena unguis-cati (Bignoniaceae). Cat's claw creeper is an invasive liana with a wide climatic tolerance, and for biological control to be effective the tingid must survive and develop over a range of temperatures. We evaluated the effect of constant temperatures (0-45°C) on the survival and development of C. visenda. Adults showed tolerance for wider temperature ranges (0-45°C), but oviposition, egg hatching and nymphal development were all affected by both high (>30°C) and low (<20°C) temperatures. Temperatures between 20°C and 30°C are the most favourable for adult survival, oviposition, egg hatching and nymphal development. The ability of adults and nymphs to survive for a few days at high (40°C and 45°C) and low (0°C and 5°C) temperatures suggest that extreme temperature events, which usually occur for short durations (hours) in cat's claw creeper infested regions in Queensland and New South Wales states are not likely to affect the tingid population. The potential number of generations (egg to adult) the tingid can complete in a year in Australia ranged from three to eight, with more generations in Queensland than in New South Wales.

Salinity tolerance of twelve hybrid Bermudagrass (Cynodon Dactylon (L.) Pers. x C. Transvaalensis Burtt Davy) genotypes

Salinity is an increasingly important issue in both rural and urban areas throughout much of Australia. The use of recycled/reclaimed water and other sources of poorer quality water to irrigate turf is also increasing. Hybrid Bermudagrass (Cynodon dactylon (L.) Pers. x C. transvaalensis Burtt Davey), together with the parent species C. dactylon, are amongst the most widely used warm-season turf grass groups. Twelve hybrid Bermudagrass genotypes and one accession each of Bermudagrass (C. dactylon), African Bermudagrass (C. transvaalensis) and seashore paspalum (Paspalum vaginatum Sw.) were grown in a glasshouse experiment with six different salinity treatments applied hydroponically through the irrigation water (ECW = <0.1, 6, 12, 18, 24 or 30 dSm-1) in a flood-and-drain system. Each pot was clipped progressively at 2-weekly intervals over the 12-week experimental period to determine dry matter production; leaf firing was rated visually on 3 occasions during the last 6 weeks of salinity treatment. At the end of the experiment, dry weights of roots and crowns below clipping height were also determined. Clipping yields declined sharply after about the first 6 weeks of salinity treatment, but then remained stable at substantially lower levels of dry matter production from weeks 8 to 12. Growth data over this final 4-week experimental period is therefore a more accurate guide to the relative salinity tolerance of the 15 entries than data from the preceding 8 weeks. Based on these data, the 12 hybrid Bermudagrass genotypes showed moderate salinity tolerance, with FloraDwarfM, 'Champion Dwarf', NovotekM and 'TifEagle' ranking as the most salt tolerant and 'Patriot', 'Santa Ana', 'Tifgreen' and TifSport M the least tolerant within the hybrid group. Nevertheless, Santa Ana, for example, maintained relatively strong root growth as salinity increased, and so may show better salt tolerance in practice than predicted from the growth data alone. The 12 hybrid Bermudagrasses and the single African Bermudagrass genotype were all ranked above FloraTeXM Bermudagrass in terms of salt tolerance. However, seashore paspalum, which is widely acknowledged as a halophytic species showing high salt tolerance, ranked well above all 14 Cynodon genotypes in terms of salinity tolerance.