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.

Articular Cartilage in the Knee: Current MR Imaging Techniques and Applications in Clinical Practice and Research

Magnetic resonance (MR) imaging is the most important imaging modality for the evaluation of traumatic or degenerative cartilaginous lesions in the knee. It is a powerful noninvasive tool for detecting such lesions and monitoring the effects of pharmacologic and surgical therapy. The specific MR imaging techniques used for these purposes can be divided into two broad categories according to their usefulness for morphologic or compositional evaluation. To assess the structure of knee cartilage, standard spin-echo (SE) and gradient-recalled echo (GRE) sequences, fast SE sequences, and three-dimensional SE and GRE sequences are available. These techniques allow the detection of morphologic defects in the articular cartilage of the knee and are commonly used in research for semiquantitative and quantitative assessments of cartilage. To evaluate the collagen network and proteoglycan content in the knee cartilage matrix, compositional assessment techniques such as T2 mapping, delayed gadolinium-enhanced MR imaging of cartilage (or dGEMRIC), T1 rho imaging, sodium imaging, and diffusion-weighted imaging are available. These techniques may be used in various combinations and at various magnetic field strengths in clinical and research settings to improve the characterization of changes in cartilage. (C)RSNA, 2011 , radiographics.rsna.org

Quantitative CT analysis of the glabellar and anterior nasal spine regions for the placement of implants for nasal prosthesis retention

Objectives: The aim of this study was to determine the precision of the measurements of 2 craniometric anatomic points-glabella and anterior nasal spine-in order to verify their possibility as potential locations for placing implants aimed at nasal prostheses retention. Methods: Twenty-six dry human skulls were scanned in a high-resolution spiral tomography with 1-mm axial slice thickness and 1-mm interval reconstruction using a bone tissue filter. Images obtained were stored and transferred to an independent workstation containing e-film imaging software. The measurements (in the glabella and anterior nasal fossa) were made independently by 2 observers twice for each measurement. Data were submitted to statistical analysis (parametric t test). Results: The results demonstrated no statistically significant difference between interobserver and intraobserver measurements (P > .05). The standard error was found to be between 0.49 mm and 0.84 mrn for measurements in bone protocol, indicating a high /eve/ of precision. Conclusions: The measurements obtained in anterior nasal spine and glabella were considered precise and reproducible. Mean values of such measurements pointed to the possibility of implant placement in these regions, particularly in the anterior nasal spine.