Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Effect of image analysis software on neurofunctional activation during processing of emotional human faces

Functional brain imaging techniques such as functional MRI (fMRI) that allow the in vivo investigation of the human brain have been exponentially employed to address the neurophysiological substrates of emotional processing. Despite the growing number of fMRI studies in the field, when taken separately these individual imaging studies demonstrate contrasting findings and variable pictures, and are unable to definitively characterize the neural networks underlying each specific emotional condition. Different imaging packages, as well as the statistical approaches for image processing and analysis, probably have a detrimental role by increasing the heterogeneity of findings. In particular, it is unclear to what extent the observed neurofunctional response of the brain cortex during emotional processing depends on the fMRI package used in the analysis. In this pilot study, we performed a double analysis of an fMRI dataset using emotional faces. The Statistical Parametric Mapping (SPM) version 2.6 (Wellcome Department of Cognitive Neurology, London, UK) and the XBAM 3.4 (Brain Imaging Analysis Unit, Institute of Psychiatry, Kings College London, UK) programs, which use parametric and non-parametric analysis, respectively, were used to assess our results. Both packages revealed that processing of emotional faces was associated with an increased activation in the brain`s visual areas (occipital, fusiform and lingual gyri), in the cerebellum, in the parietal cortex, in the cingulate cortex (anterior and posterior cingulate), and in the dorsolateral and ventrolateral prefrontal cortex. However, blood oxygenation level-dependent (BOLD) response in the temporal regions, insula and putamen was evident in the XBAM analysis but not in the SPM analysis. Overall, SPM and XBAM analyses revealed comparable whole-group brain responses. Further Studies are needed to explore the between-group compatibility of the different imaging packages in other cognitive and emotional processing domains. (C) 2009 Elsevier Ltd. All rights reserved.

Monolithic CAD/CAM Lithium Disilicate Versus Veneered Y-TZP Crowns: Comparison of Failure Modes and Reliability After Fatigue

Purpose: The aim of this research was to evaluate the fatigue behavior and reliability of monolithic computer-aided design/computer-assisted manufacture (CAD/CAM) lithium disilicate and hand-layer-veneered zirconia all-ceramic crowns. Materials and Methods: A CAD-based mandibular molar crown preparation, fabricated using rapid prototyping, served as the master die. Fully anatomically shaped monolithic lithium disilicate crowns (IPS e.max CAD, n = 19) and hand-layer-veneered zirconia-based crowns (IPS e.max ZirCAD/Ceram, n = 21) were designed and milled using a CAD/CAM system. Crowns were cemented on aged dentinlike composite dies with resin cement. Crowns were exposed to mouth-motion fatigue by sliding a WC-indenter (r = 3.18 mm) 0.7 mm lingually down the distobuccal cusp using three different step-stress profiles until failure occurred. Failure was designated as a large chip or fracture through the crown. If no failures occurred at high loads (> 900 N), the test method was changed to staircase r ratio fatigue. Stress level probability curves and reliability were calculated. Results: Hand-layer-veneered zirconia crowns revealed veneer chipping and had a reliability of < 0.01 (0.03 to 0.00, two-sided 90% confidence bounds) for a mission of 100,000 cycles and a 200-N load. None of the fully anatomically shaped CAD/CAM-fabricated monolithic lithium disilicate crowns failed during step-stress mouth-motion fatigue (180,000 cycles, 900 N). CAD/CAM lithium disilicate crowns also survived r ratio fatigue (1,000,000 cycles, 100 to 1,000 N). There appears to be a threshold for damage/bulk fracture for the lithium disilicate ceramic in the range of 1,100 to 1,200 N. Conclusion: Based on present fatigue findings, the application of CAD/CAM lithium disilicate ceramic in a monolithic/fully anatomical configuration resulted in fatigue-resistant crowns, whereas hand-layer-veneered zirconia crowns revealed a high susceptibility to mouth-motion cyclic loading with early veneer failures. Int J Prosthodont 2010; 23: 434-442.

Surgical planning for resection of an ameloblastoma and reconstruction of the mandible using a selective laser sintering 3D biomodel

Ameloblastoma is a benign locally aggressive infiltrative odontogenic lesion. It is characterized by slow growth and painless swelling. The treatment for ameloblastoma varies from curettage to en bloc resection, and the reported recurrence rates after treatment are high; the safety margin of resection is important to avoid recurrence. Advances in technology brought about great benefits in dentistry; a new generation of computed tomography scanners and 3-dimensional images enhance the surgical planning and management of maxillofacial tumors. The development of new prototyping systems provides accurate 3D biomodels on which surgery can be simulated, especially in cases of ameloblastoma, in which the safety margin is important for treatment success. A case of mandibular follicular ameloblastoma is reported where a 3D biomodel was used before and during surgery.

Quantitative 3D profilometry and SEM analysis of the adaptation of root-end filling materials placed under an optical microscope

P>Aim To evaluate by 3D profilometry and scanning electron microscopy (SEM), the marginal adaptation of mineral trioxide aggregate (MTA) and Sealer 26 placed in root-end cavities with direct vision or under an optical microscope. Methodology The root ends of 52 root filled canine teeth were filled with MTA or Sealer 26 under direct vision or optical microscope (n = 13). In each group, eight specimens were analysed by profilometry for measurement of the area and depth of gaps. In the other five specimens, gap area was measured using SEM to verify marginal adaptation and surface characteristic. Data were analysed by parametric (anova and Tukey) and non-parametric (Kruskal-Wallis and Dunn) tests. Results The assessment of the adaptation of both materials to dentine was not influenced by the mode of visualization, which was confirmed by both profilometry and SEM observations. The voids measured with profilometry for Sealer 26 under direct vision were significantly wider and deeper than those for MTA under direct vision (P < 0.05). In SEM, significantly larger gap areas were observed with Sealer 26 (P < 0.05). Conclusion Root-end cavities filled with MTA had smaller gaps and better marginal adaptation than Sealer 26.

Pharmacokinetic software for the health sciences - Choosing the right package for teaching purposes

Computer assisted learning has an important role in the teaching of pharmacokinetics to health sciences students because it transfers the emphasis from the purely mathematical domain to an 'experiential' domain in which graphical and symbolic representations of actions and their consequences form the major focus for learning. Basic pharmacokinetic concepts can be taught by experimenting with the interplay between dose and dosage interval with drug absorption (e.g. absorption rate, bioavailability), drug distribution (e.g. volume of distribution, protein binding) and drug elimination (e.g. clearance) on drug concentrations using library ('canned') pharmacokinetic models. Such 'what if' approaches are found in calculator-simulators such as PharmaCalc, Practical Pharmacokinetics and PK Solutions. Others such as SAAM II, ModelMaker, and Stella represent the 'systems dynamics' genre, which requires the user to conceptualise a problem and formulate the model on-screen using symbols, icons, and directional arrows. The choice of software should be determined by the aims of the subject/course, the experience and background of the students in pharmacokinetics, and institutional factors including price and networking capabilities of the package(s). Enhanced learning may result if the computer teaching of pharmacokinetics is supported by tutorials, especially where the techniques are applied to solving problems in which the link with healthcare practices is clearly established.

Reliability factors in business software: volatility, requirements and end-users

Many business-oriented software applications are subject to frequent changes in requirements. This paper shows that, ceteris paribus, increases in the volatility of system requirements decrease the reliability of software. Further, systems that exhibit high volatility during the development phase are likely to have lower reliability during their operational phase. In addition to the typically higher volatility of requirements, end-users who specify the requirements of business-oriented systems are usually less technically oriented than people who specify the requirements of compilers, radar tracking systems or medical equipment. Hence, the characteristics of software reliability problems for business-oriented systems are likely to differ significantly from those of more technically oriented systems.

Microstrip circular phased array design and development using microwave antenna CAD tools

The complex design and development of a planar multilayer phased array antenna in microstrip technology can be simplified using two commercially available design tools 1) Ansoft Ensemble and 2) HP-EEsof Touchstone. In the approach presented here, Touchstone is used to design RF switches and phase shifters whose scattering parameters are incorporated in Ensemble simulations using its black box tool. Using this approach, Ensemble is able to fully analyze the performance of radiating and beamforming layers of a phased array prior to its manufacturing. This strategy is demonstrated in a design example of a 12-element linearly-polarized circular phased array operating at L band. A comparison between theoretical and experimental results of the array is demonstrated.

Infusing the use of seasonal climate forecasting into crop management practice in North East Australia using discussion support software

Seasonal climate forecasting offers potential for improving management of crop production risks in the cropping systems of NE Australia. But how is this capability best connected to management practice? Over the past decade, we have pursued participative systems approaches involving simulation-aided discussion with advisers and decision-makers. This has led to the development of discussion support software as a key vehicle for facilitating infusion of forecasting capability into practice. In this paper, we set out the basis of our approach, its implementation and preliminary evaluation. We outline the development of the discussion support software Whopper Cropper, which was designed for, and in close consultation with, public and private advisers. Whopper Cropper consists of a database of simulation output and a graphical user interface to generate analyses of risks associated with crop management options. The charts produced provide conversation pieces for advisers to use with their farmer clients in relation to the significant decisions they face. An example application, detail of the software development process and an initial survey of user needs are presented. We suggest that discussion support software is about moving beyond traditional notions of supply-driven decision support systems. Discussion support software is largely demand-driven and can compliment participatory action research programs by providing cost-effective general delivery of simulation-aided discussions about relevant management actions. The critical role of farm management advisers and dialogue among key players is highlighted. We argue that the discussion support concept, as exemplified by the software tool Whopper Cropper and the group processes surrounding it, provides an effective means to infuse innovations, like seasonal climate forecasting, into farming practice. Crown Copyright (C) 2002 Published by Elsevier Science Ltd. All rights reserved.