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.

A new DTL-electrode holder for recording of electroretinograms in animals

Purpose: Contact lens electrodes (CLEs) are frequently used to register electroretinograms (ERGs) in small animals such as mice or rats. CLEs are expensive to buy or difficult to be produced individually. In addition, CLE`s have been noticed to elicit inconstant results and they carry potential to injure the cornea. Therefore, a new electrode holder was constructed based on the clinically used DTL-electrode and compared to CLEs. Material and methods: ERGs were recorded with both electrode types in nine healthy Brown-Norway rats under scotopic conditions. For low intensity responses a Naka-Rushton function was fitted and the parameters V(max), k and n were analyzed. The a-wave, b-wave and oscillatory potentials were analyzed for brighter flash intensities (1-60 scot cd s/m(2)). Repeatability was assessed for both electrode types in consecutive measurements. Results: The new electrode holder was faster in setting up than the CLE and showed lower standard deviations. No corneal alterations were observed. Slightly higher amplitudes were recorded in most of the measurements with the new electrode holder (except amplitudes induced by 60 cd s/m(2)). A Bland-Altman test showed good agreement between the DTL holder and the CLE (mean difference 35.2 mu V (Holder-CLE)). Pearson`s correlation coefficient for test-retest-reliability was r = 0.783. Conclusions: The DTL holder was superior in handling and caused far less corneal problems than the CLE and produced comparable or better electrophysiological results. The minimal production costs and the possibility of adapting the DTL holder to bigger eyes, such as for dogs or rabbits, offers with broader application prospects. (C) 2010 Elsevier B.V. All rights reserved.

Transcorneal Electrical Stimulation for Patients with Retinitis Pigmentosa: A Prospective, Randomized, Sham-Controlled Exploratory Study

PURPOSE. To assess the safety of transcorneal electrical stimulation (TES) and explore its efficacy in various subjective and objective parameters of visual function in patients with retinitis pigmentosa (RP). METHODS. Twenty-four patients in this prospective, randomized, partially blinded, good-clinical-practice study underwent TES (5-ms biphasic pulses; 20 Hz; DTL electrodes) 30 minutes per week for 6 consecutive weeks. The patients were randomly assigned to one of three groups: sham, 66%, or 150% of individual electrical phosphene threshold (EPT). Visual acuity (VA), visual field (VF; kinetic, static), electroretinography (Ganzfeld, multifocal), dark-adaptation (DA), color discrimination, and EPTs were assessed at all visits or four times, according to the study plan. RESULTS. TES using DTL electrodes was tolerated well; all patients finished the study. Two adverse (foreign body sensation), but no serious adverse events were encountered. There was a tendency for most functional parameters to improve (8/18) or to remain constant (8/18) in the 150% group. VF area and scotopic b-wave amplitude reached statistical significance (P < 0.027 and P < 0.001, respectively). Only desaturated color discrimination and VF mean sensitivity decreased. There was no obvious trend in the 66% group. CONCLUSIONS. TES was found to be safe in RP patients. Positive trends were discovered, but due to the small sample size of this exploratory study, statistical significance was reached only for VF area and scotopic b-wave amplitude. Further studies with larger sample sizes and longer duration are needed to confirm the findings and to define optimal stimulation parameters. (ClinicalTrials.gov number, NCT00804102.) (Invest Ophthalmol Vis Sci. 2011;52:4485-4496) DOI:10.1167/iovs.10-6932

Influence of aging, tidal volume, and respiratory rate on Doppler echocardiographic indices of diastolic function in normal male subjects: A quantitative evaluation

Background: Although the influence of respiration on ventricular filling, as evaluated by Doppler technique, and the evaluation of diastolic velocities of mitral valve annulus (MVA), as measured by Doppler tissue imaging (DTI), can provide valuable information for the study of left ventricular (LV) diastolic function, the concomitant effects of aging, tidal volume (TV), and respiratory rate (RR) on these velocities have not been quantitatively investigated. Methods: We evaluated 12 normal male volunteers (Group I) aged 20-26 years (mean: 22.8) and 8 normal subjects aged 41 to 54 years old (mean: 45.9) (Group II). Using DTI we measured peak early (E-a) and late (A(a)) velocities of longitudinal axis expansion at lateral and medial MVA. Doppler mitral and tricuspid flow velocities were measured: peak early (E) and late (A) inflow velocity, early (E-i) and late (A(i)) flow integral, and deceleration time of peak early mitral flow velocity (DT). Respiratory cycles were simultaneously recorded at RR of 9, 12, 15, and 18 cycles/min and TV of 600 and 900 mL during respiration (RESP). Results and conclusions: (1) E, A, and A(i) in MV had negligible change during respiration, but E-i was significantly reduced during inspiration; (2) DT reduced slightly with inspiration, but the change was significant only with TV of 900 mL; (3) an important increase of E in right ventricular flow was observed during inspiration; (4) variations of RR and TV did not significantly influence right and left ventricular inflow in normal subjects, in the conditions of this investigation; (5) a significant increase of E-a at medial MVA was documented during inspiration only in young subjects; (6) a significant decrease of A(a) at medial MVA was observed during inspiration in both groups of volunteers; (7) RR and TV did not influence MVA velocities in young and adult subjects; (8) a consistent reduction in E-a and a significant increase in A(a) were observed with increasing age; (9) these changes were more conspicuous and consistent than those documented in ventricular filling when young and middle-age men are compared, suggesting that the DTI is more sensitive to detect changes in diastolic function; and (10) in addition, these data suggest that, for evaluation of diastolic function, in clinical context, it is not necessary to control rigorously RR or TV.

Focal and linear endocardial and epicardial catheter-based cryoablation of normal and infarcted ventricular tissue

Background: This study of a chronic porcine postinfarction model examined whether linear epicardial cryoablation was capable of creating large, homogenous lesions in regions of the myocardium including scarred ventricle. Endocardial and epicardial focal cryolesions were also compared to determine if there were significant differences in lesion characteristics. Methods: Eighty focal endocardial and 28 focal epicardial cryoapplications were delivered to eight normal caprine and four normal porcine ventricular myocardium, and 21 linear cryolesions were applied along the border of infarcted epicardial tissue in a chronic porcine infarct model in six swines. Results: Focal endocardial cryolesions in normal animals measured 9.7 +/- 0.4 mm (length) by 7.3 +/- 1.4 mm (width) by 4.8 +/- 0.2 mm (depth), while epicardial lesions measured 10.2 +/- 1.4 mm (length) by 7.7 +/- 2 mm (width) by 4.6 +/- 0.9 mm (depth); P > 0.05. Linear epicardial cryolesions in the chronic porcine infarct model measured 36.5 +/- 7.8 mm (length) by 8.2 +/- 1.3 mm (width) by 6.0 +/- 1.2 mm (depth). The mean depth of linear cryolesions applied to the border of the infarct scar was 7 +/- 0.7 mm, as measured by magnetic resonance imaging. Conclusions:Cryoablation can create deep lesions when delivered to the ventricular epicardium. Endocardial and epicardial cryolesions created by a focal cryoablation catheter are similar in size and depth. The ability to rapidly create deep linear cryolesions may prove to be beneficial in substrate-based catheter ablation of ventricular arrhythmias.

Could sudden death syndrome (SDS) in chickens (Gallus gallus) be a valid animal model for sudden unexpected death in epilepsy (SUDEP)?

Epilepsy is the most common serious neurological disorder and approximately 1% of the population worldwide has epilepsy. Moreover, sudden unexpected death in epilepsy (SUDEP) is the most important direct epilepsy-related cause of death. Information concerning fisk factors for SUDEP is conflicting, but potential risk factors include: young age, early onset of epilepsy, duration of epilepsy, uncontrolled seizures, seizure frequency, AED number and winter temperatures. Additionally, the cause of SUDEP is still unknown; however, the most commonly suggested mechanisms are cardiac abnormalities during and between seizures. Similarly, sudden death syndrome (SDS) is a disease characterized by an acute death of well-nourished and seeming healthy Gallus gallus after abrupt and brief flapping of their wings and incidence of SDS these animals has recently increased worldwide. Moreover, the exactly cause of SDS in Gallus gallus is unknown, but is very probable that cardiac abnormalities play a potential role. Due the similarities between SUDEP and SDS and as Gallus gallus behavioral manifestation during SDS phenomenon is close of a tonic-clonic seizure, in this paper we suggest that epilepsy could be a new possible causal factor for SDS. (C) 2009 Elsevier Ltd. All rights reserved.

Presence of arsenic in different types of MTA and white and gray Portland cement

Objective. The presence of arsenic in various types of mineral trioxide aggregate (MTA) and Portland cements were evaluated to verify if they comply with the ISO-recommended limit for water-based cements of 2 mg arsenic/kg material. Study design. An amount of 5 mL of hydrochloric acid was added to 2 g each of MTA and Portland cement to be analyzed. After 15 minutes, the material was filtered and the volume of supernatant was diluted with reagent-grade water up to 40 mL. Atomic absorption spectrophotometry readings were performed in triplicate. Results. The following mean values were obtained: CPM (Egeo, Buenos Aires, Argentina) 11.06 mg/kg; CPM sealer (Egeo) 10.30 mg/kg; MTA- Obtura (Angelus, Londrina, PR, Brazil) 0.39 mg/kg; Experimental MTA: 10.30 mg/kg; White MTA- Angelus (Angelus) 1.03 mg/kg; Gray MTA- Angelus (Angelus) 5.91 mg/kg; ProRoot-MTA (Dentsply/Tulsa Dental Specialties, Tulsa, OK) 5.25 mg/kg; Gray Portland cement (Votorantim Cimentos, Cubatao, SP, Brazil): 34.27 mg/kg; and White Portland cement (Cimento Rio Branco, Rio de Janeiro, RJ, Brazil) 0.52 mg/kg. Conclusion. All tested materials presented arsenic in their composition. The form of arsenic was not analyzed nor the toxicity of the arsenic found. Only MTA- Obtura, White MTA- Angelus, and White Portland cement presented arsenic levels below the limit set in the ISO 9917-1 standard. (Oral Surg Oral Med Oral Pathol Oral Radiol Endod 2008; 106: 909-913)

Analysis of Piezoelectric sensor to detect flexural waves

The electromechanical transfer characteristics of adhesively bonded piezoelectric sensors are investigated. By the use of dynamic piezoelectricity theory, Mindlin plate theory for flexural wave propagation, and a multiple integral transform method, the frequency-response functions of piezoelectric sensors with and without backing materials are developed and the pressure-voltage transduction functions of the sensors calculated. The corresponding simulation results show that the sensitivity of the sensors is not only dependent on the sensors' inherent features, such as piezoelectric properties and geometry, but also on local characteristics of the tested structures and the admittance and impedance of the attached electrical circuit. It is also demonstrated that the simplified rigid mass sensor model can be used to analyze successfully the sensitivity of the sensor at low frequencies, but that the dynamic piezoelectric continuum model has to be used for higher frequencies, especially around the resonance frequency of the coupled sensor-structure vibration system.

Ethanol and gene expression in brain

This article represents the proceedings of a symposium at the 2000 ISBRA Meeting in Yokohama, Japan. The chairs were Izuru Matusmoto and Peter A. Wilce. The presentations were (1) GABA receptor subunit expression in the human alcoholic brain, by Tracey Buckley and Peter Dodd; (2) NMDAR gene expression during ethanol addiction, by Jorg Puzke, Rainer Spanagel, Walther Zieglgansberger, and Gerald Wolf; (3) Differentially expressed gene in the nucleus accumbens from ethanol-administered rat, by Shuangying Leng; (4) Expression of a novel gene in the alcoholic brain, by Peter A. Wilce; and (5) Investigations of haplotypes of the dopamine Da-receptor gene in alcoholics, by Hans Rommelspacher, Ulrich Finckh, and Lutz G. Schmidt.

The status of the Diplosentidae (Acanthocephala : Palaeacanthocephala) and a new family of acanthocephalans from Australian wrasses (Pisces : Labridae)

The status and composition of the Diplosentidae Tubangui et Masilungan, 1937 are reviewed. The type species of the type genus, Diplosentis amphacanthi Tubangui et Masilungan, 1937 from Siganus canaliculatus (Park, 1797) in the Philippines, is concluded to have been described inaccurately,in supposedly possessing, only two cement glands and lemnisci enclosed in a membranous sac. The species is almost certainly very close to species of Neorhadinorhynchus yamaguti, 1939 and Sclerocollum Schmidt of Paperna, 1978 which have also been reported from siganids from the tropical Indo-Pacific. Species of these genera have four cement glands and unexceptional lemnisci. As a result, Diplosentis Tubangui et Masilungan, 1937 is best considered to have affinities with the Cavisomidae Meyer, 1932. The Cavisomidae has priority over the Diplosentidae; thus the Diplosentidae becomes a synonym of the Cavisomidae. Neorhadinorhynchus and Sclerocollum are considered synonyms of Diplosentis. The affinities of the other species and genera formerly included in the Diplosentidae (other species of Diplosentis, Allorhadinorhynchus Yamaguti, 1959, Amapacanthus Salgado-Maldonado et Santos, 2000, Pararhadinorhynchus Johnston et Edmonds, 1947, Golvanorhynchus Noronha, do Fabio et Pinto, 1978 and Slendrorhynchus Amin et Soy, 1996) are discussed. It is concluded that all but Pararhadinorhynchus, two species of Diplosentis and Amapacanthus can be accommodated elsewhere satisfactorily. A new family, Transvenidae, is proposed for a small group of acanthocephalans that genuinely possess only two cement glands. Transvena annulospinosa gen. n., sp. n. is described from the labrids Anampses neoguinaicus Bleeker, 1878 (type host), A. geographicus Valenciennes, 1840, A. caeruleopunctatus Ruppell, 1829, Hemigymnus fasciatus (Bloch, 1792), and H. melapterus (Bloch, 1791) from the Great Barrier Reef, Queensland, Australia. Transvena gen. n. is distinguished from all other acanthocephalan genera by having a combination of a single ring of small spines on its trunk near or at the junction between the neck and trunk, two cement glands, a double-walled proboscis receptacle and hooks which decrease in length from the apex to the base of the proboscis. A second new genus within the Transvenidae, Trajectura, is proposed for T. perinsolens sp. n. from Anampses neoguinaicus, also from the Great Barrier Reef. Trajectura gen. n. is distinguished by the possession of only two cement glands and an anterior conical projection (function unknown) on the females. Diplosentis ikedai Machida, 1992 shares these characters and is recombined as Trajectura ikedai comb. n. Pararhadinorhynchus is transferred to the Transvenidae and Diplosentis manteri Gupta et Fatma, 1979 is recombined as Pararhadinorhynchus manteri comb. n.

Interlaminar differences in the pyramidal cell phenotype in cortical areas 7m and STP (the superior temporal polysensory area) of the macaque monkey

Pyramidal neurones were injected with Lucifer Yellow in slices cut tangential to the surface of area 7m and the superior temporal polysensory area (STP) of the macaque monkey. Comparison of the basal dendritic arbors of supra- and infragranular pyramidal neurones (n=139) that were injected in the same putative modules in the different cortical areas revealed variation in their structure. Moreover, there were relative differences in dendritic morphology of supra- and infragranular pyramidal neurones in the two cortical areas. Shell analyses revealed that layer III pyramidal neurones in area STP had considerably higher peak complexity (maximum number of dendritic intersections per Shell circle) than those in layer V, whereas peak complexities were similar for supra- and infragranular pyramidal neurones in area 7m. In both cortical areas, the basal dendritic trees of layer m pyramidal neurones were characterized by a higher spine density than those in layer V. Calculations of the total number of dendritic spines in the average basal dendritic arbor revealed that layer V pyramidal neurones in area 7m had twice as many spines as cells in layer III. (4535 and 2294, respectively). A similar calculation for neurones in area STP revealed that layer III pyramidal neurones had approximately the same number of spines as cells in layer V (3585 and 3850 spines, respectively). Relative differences in the branching patterns of, and the number of spines in, the basal dendritic arbors of supra- and infragranular pyramidal neurones in the different cortical areas may allow for integration of different numbers of inputs, and different degrees of dendritic processing. These results support the thesis that intra-areal circuitry differs in different cortical areas.

Let your feet do the walking: constraints on the stability of bipedal coordination

In this paper we consider whether the behaviour of the neural circuitry that controls lower limb movements in humans is shaped primarily by the spatiotemporal characteristics of bipedal gait patterns, or by selective pressures that are sensitive to considerations of balance and energetics. During the course of normal locomotion, the full dynamics of the neural circuitry are masked by the inertial properties of the limbs. In the present study, participants executed bipedal movements in conditions in which their feet were either unloaded or subject to additional inertial loads. Two patterns of rhythmic coordination were examined. In the in-phase mode, participants were required to flex their ankles and extend their ankles in synchrony. In the out-of-phase mode, the participants flexed one ankle while extending the other and vice versa. The frequency of movement was increased systematically throughout each experimental trial. All participants were able to maintain both the in-phase and the out-of-phase mode of coordination, to the point at which they could no longer increase their frequency of movement. Transitions between the two modes were not observed, and the stability of the out-of-phase and in-phase modes of coordination was equivalent at all movement frequencies. These findings indicate that, in humans, the behaviour of the neural circuitry underlying coordinated movements of the lower limbs is not constrained strongly by the spatiotemporal symmetries of bipedal gait patterns.

The effect of obstacle position on reach-to-grasp movements

Numerous everyday tasks require the nervous system to program a prehensile movement towards a target object positioned in a cluttered environment. Adult humans are extremely proficient in avoiding contact with any non-target objects (obstacles) whilst carrying out such movements. A number of recent studies have highlighted the importance of considering the control of reach-to-grasp (prehension) movements in the presence of such obstacles. The current study was constructed with the aim of beginning the task of studying the relative impact on prehension as the position of obstacles is varied within the workspace. The experimental design ensured that the obstacles were positioned within the workspace in locations where they did not interfere physically with the path taken by the hand when no obstacle was present. In all positions, the presence of an obstacle caused the hand to slow down and the maximum grip aperture to decrease. Nonetheless, the effect of the obstacle varied according to its position within the workspace. In the situation where an obstacle was located a small distance to the right of a target object, the obstacle showed a large effect on maximum grip aperture but a relatively small effect on movement time. In contrast, an object positioned in front and to the right of a target object had a large effect on movement speed but a relatively small effect on maximum grip aperture. It was found that the presence of two obstacles caused the system to decrease further the movement speed and maximum grip aperture. The position of the two obstacles dictated the extent to which their presence affected the movement parameters. These results show that the antic ipated likelihood of a collision with potential obstacles affects the planning of movement duration and maximum grip aperture in prehension.