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.

Influence of oil contamination on in vitro bond strength of bonding agents to dental substrates

Purpose: To evaluate the influence of cleaning procedures (pumice, anionic detergent and both procedures together) on the tensile bond strength of etch-and-rinse and self-etch adhesive systems to bovine enamel and dentin in vitro. Methods: Eighty non-carious, bovine incisors were extracted, embedded in acrylic resin to obtain enamel/dentin specimens. Flat bonding surfaces were obtained by grinding. Groups were divided according to substrate (enamel or dentin), adhesive system [etch-and-rinse, Adper Single Bond 2 (SB) or self-etch, Clearfil Protect Bond (PB)]; and cleaning substances (pumice, anionic detergent and their combination). The teeth were randomly divided into 20 groups (n=8): G1 - Enamel (E) + SB; G2 -E + oil (O) + SB; G3 - E + O + Pumice (P) + SB; G4 - E + O + Tergentol (T) + SB; G5 - E + O + P + T + SB; G6 - E + PB; G7 - E + O + PB; G8 - E + O + P + PB; G9 - E + O + T + PB; GIO - E + O + P + T + PB; G11 - Dentin (D) + SB; G12 D + SB + O; G13 - D + SB + O + P; G14 - D + SB + O + T; G15 - D + SB + O + P + T; G16 - D + PB; G17 - D + O + PB +; G18 - D + O + P + PB; G19 - D + O + T + PB; G20 - D + O + P + T + PB. Specimens were contaminated with handpiece oil for 5 seconds before bonding. Adhesive systems and resin composite were applied according to manufacturers` instructions. Specimens were tested in tension after 24 hours of immersion using a universal testing machine at a crosshead speed of 0.5 mm/minute. Bond strengths were analyzed with ANOVA. Failure sites were observed and recorded. Results: Tensile bond strength in MPa were: G1 (23.6 +/- 0.9); G2 (17.3 +/- 2.2); G3 (20.9 +/- 0.9); G4 (20.6 +/- 0.5); G5 (18.7 +/- 2.3); G6 (23.0 +/- 1.0); G7 (21.5 +/- 2.4); G8 (19.9 +/- 1.3); G9 (22.1 +/- 1.2); G10 (19.1 +/- 1.2); G11 (18.8 +/- 1.3); G12 (15.7 +/- 2.1); G13 (17.8 +/- 3.3); G14 (15.3 +/- 2.9); G15 (15.6 +/- 1.9); G16 (14.7 +/- 2.3); G17 (5.5 +/- 0.9); G18 (19.3 +/- 1.8); G19 (15.6 +/- 1.6); G20 (20.3 +/- 3.9). Statistical analysis showed that the main factors substrate and cleaning were statistically significant, as well as the triple interaction between factors of variance. However, the factor adhesive system did not show statistical difference. Oil contamination reduced bond strengths, being less detrimental to enamel than to dentin. Etch-and-rinse (SB) and two-step self-etch (PB) systems had similar bond strengths in the presence of oil contamination. For etch-and-rinse (SB), the cleaning procedures were able to clean enamel, but dentin was better cleaned by pumice. When self-etch (PB) system was used on enamel, anionic detergent was the best cleaning substance, while on dentin the tested procedures were similarly efficient.

Solubility study of phytochemical cross-linking agents on dentin stiffness

Objectives: The effects of interactions between cross-linking proanthocyanidins (PA) in polar solvents and type-I collagen of demineralized dentin were investigated. Methods: Three PA-rich extracts, two from grape seed (GSEP and GSES) and one from cocoa (COE), were dissolved (water, ethanol:water and acetone:water) and analyzed for their ability to increase the modulus of elasticity of demineralized dentin. Sound dentin beams (0.5 mm x 1.7 mm x 7 mm) were fully demineralized and divided into 12 groups according to the type of cross-linking agent and solvents used. Specimens were immersed in the respective solutions and tested at baseline, 10, 30, 60, 120 and 240 min. Results: The elastic modulus (EM) of dentin was significantly increased by the PA treatment regardless of time (p < 0.05 for all times). The extracts showed different solubility in different solvents. GSEP showed the highest increase in EM when diluted in distilled water and acetone at all exposure times. Both GSEs showed superior results when diluted in distilled water and after 4 h of treatment, while COE produced strongest enhancement when dissolved in ethanol:water. Conclusions: The results indicates that herbal extraction process and other pharmacognostic parameters have an important influence on extract solubility as well as constitution and, consequently, on the PA-dentin matrix interaction. (C) 2010 Elsevier Ltd. All rights reserved.

Evaluation of two mineral trioxide aggregate compounds as pulp-capping agents in human teeth

The present randomized, controlled prospective study evaluated the histomorphological response of human dental pulps capped with two grey mineral trioxide aggregate (MTA) compounds. Pulp exposures were performed on the occlusal floor of 40 human permanent pre-molars. The pulp was capped either with ProRoot (Dentsply) or MTA-Angelus (Angelus) and restored with zinc oxide eugenol cement. After 30 and 60 days, teeth were extracted and processed for histological examination and the effects on the pulp were scored. The data were subjected to Kruskal-Wallis and Conover tests (alpha = 0.05). In five out of the 40 teeth bacteria were present in pulp tissue. No significant difference was observed between the two materials (P > 0.05) in terms of overall histological features (hard tissue bridge, inflammatory response, giant cells and particles of capping materials). Overall, 94% and 88% of the specimens capped with MTA-Angelus and ProRoot, respectively, showed either total or partial hard tissue bridge formation (P > 0.05). Both commercial materials ProRoot (Dentsply) and MTA-Angelus (Angelus) produced similar responses in the pulp when used for pulp capping in intact, caries-free teeth.

Transdentinal protective role of sodium ascorbate against the cytopathic effects of H(2)O(2) released from bleaching agents

Objectives. The objectives of this study were to evaluate the transdentinal cytotoxicity of 10% and 16% carbamide peroxide gel (CP), as well as the ability of the antioxidant, 10% sodium ascorbate (SA), to protect the odontoblasts in culture. Study design. Human dentin discs of 0.5-mm thickness were obtained and were placed into artificial pulp chambers. MDPC-23 odontoblastlike cells were seeded on pulp surface of the discs and the following groups were established: G1-No Treatment (control), G2-10% SA/6hs, G3-10%/CP6hs, G4-10%SA/6hs+10%CP/6hs, G5-16%CP/6hs, and G6-10%SA/6hs+16%CP/6hs. The cell viability was measured by the MTT assay. Results. In groups where 16% CP was used, decreased cell viability was observed. Conversely, the application of 10% SA on the dentin discs, before the use of the CP, reduced the cytotoxic effects of these products on cells. Conclusions. The 16% CP cause a significant decrease in MDPC-23 cell viability and 10% SA was able to partially prevent the toxic effects of CP. (Oral Surg Oral Med Oral Pathol Oral Radiol Endod 2010; 109: e70-e76)