Runtime verification and monitoring of embedded systems

Ensuring the correctness of software applications is a difficult task. The area of runtime verification, which combines the approaches of formal verification and testing, offers a practical but limited solution that can help in finding many errors in software. Runtime verification relies upon tools for monitoring software execution. There are particular difficulties with regard to monitoring embedded systems. The concerns for arranging non-intrusive monitoring of embedded systems in a way that is suitable for use in runtime verification methods are considered here. A number of existing runtime verification tools are referenced, highlighting their requirement for monitoring solutions. Established and emerging approaches for the monitoring of software execution using execution monitors are reviewed, with an emphasis on the approaches that are best suited for use with embedded systems. A suggested solution for non-intrusive monitoring of embedded systems is presented. The conclusions summarise the possibilities for arranging non-intrusive monitoring of embedded systems, and the potential for runtime verification to utilise such monitoring approaches.     

Microhardness of silicon layers grown by liquid phase epitaxy

The microhardness of silicon epilayers grown from Sn fluxes is found to be lower than that of the silicon substrates and to significantly depend on the crystallographic orientation of the substrates. The microhardness values follow a Gaussian distribution in all of the epilayers. Unintentional impurities are shown to have a significant effect on the microhardness of the epilayers. The addition of ytterbium to the high-temperature solution reduces the microhardness of the epilayers.     

Rapid Prototyping for Functional Electrical Stimulation Control

The clinical set-up tool integrates fast parameter selection and a user-friendly interface to help electrical muscle stimulators more efficiently treat patients with neurological injuries. A key challenge in increasing functional electrical stimulation systems' clinical acceptance is facilitating or automating parameter selection, optimization, and programming to make the underlying engineering transparent to the user. To this end, we present the clinical set-up tool (CST), a finite-state-machine-based controller that integrates accurate, automatic parameter optimization in an intuitive user interface. Unlike other approaches, we employ a numerical algorithm that uses real-life data and well-defined criteria to rapidly optimize parameter values.     

Healthy Aims: Developing New Medical Implants and Diagnostic Equipment

Healthy Aims is a 23- million, four-year project, funded under the EU's information society technology sixth framework program to develop intelligent medical implants and diagnostic systems (www.healthyaims.org). The project has 25 partners from 10 countries, including commercial, clinical, and research groups. This consortium represents a combination of disciplines to design and fabricate new medical devices and components as well as to test them in laboratories and subsequent clinical trials. The project focuses on medical implants for nerve stimulation and diagnostic equipment based on strain-gauge technology.     

Using a weight-of-evidence approach for management of watersheds.

This research used a weight-of-evidence approach to evaluate sources of contaminants in a drinking water watershed that serves as part of the City of Boston's water supply. The approach incorporated land use analysis using GIS, sanitary surveys, traditional water quality monitoring and microbial source tracking (MST) tools. Case-study tributaries were selected based on elevated faecal coliform counts. Land use analysis and sanitary surveys were used to identify suspected microbial sources, including residential septic systems, agricultural animal operations, commercial/industrial operations and wildlife activity. Sampling sites were selected to hydrologically isolate potential contamination sources. Samples were collected seasonally over 1 year and analysed for traditional and MST parameters. Results demonstrated that both septic systems and a horse stable were contributing microbial loads in the first tributary. In the second tributary, septic systems from the townhouses were contributing microbial loads while a plant nursery was contributing organic matter. This evidence was used to evaluate best management practices to mitigate the contamination.     

Synthesis and characterization of acidic properties of Al-SBA-15 materials with varying Si/Al ratios

Al-SBA-15 of varying Si/Al ratios in the range 11.4–78.4 was synthesized using tri-block copolymer P123. The calcined materials were examined by XRD, pore size distribution, surface area, ²⁷Al NMR spectroscopy. The acidity and acid strength distribution were studied using microcalorimetric adsorption of NH₃. The acidic properties were also examined by cumene cracking reaction as a function of Si/Al ratios. Systematic variation of acidity and activity was observed as a function of Si/Al ratio. The initial heats of NH₃ adsorption correlated well with activity indicate that acid sites with ΔH > 100 kJ/mole is responsible for cumene cracking activity. Linear correlations were obtained with total acidity and cumene cracking activities. The tetrahedral aluminum was found to be responsible for the observed acidities and catalytic activities.