Formal assessment of reliability specifications in embedded cyber-physical systems

Reliability has become an integral component of the design intent of embedded cyber-physical systems. Safety-critical embedded systems are designed with specific reliability targets, and design practices include the appropriate allocation of both spatial and temporal redundancies in the implementation to meet such requirements. With increasing complexity of such systems and considering the large number of components in such systems, redundancy allocation requires a formal scientific basis. In this work, we profess the analysis of the redundancy requirement upfront with the objective of making it an integral part of the specification. The underlying problem is one of synthesizing a formal specification with built-in redundancy artifacts, from the formal properties of the error-free system, the error probabilities of the control components, and the reliability target. We believe that upfront formal analysis of redundancy requirements is important in budgeting the resource requirements from a cost versus reliability perspective. Several case-studies from the automotive domain highlight the efficacy of our proposal.     

An extended application ‘Brain Q’ processing EEG and MEG data of finger stimulation extended from ‘Zeffiro’ based on machine learning and signal processing

GoalTo apply signal processing and machine learning skills and knowledge in processing the EEG and MEG signal and further localize and evaluate the source of the finger stimulation.MethodsCognitive control is usually applied in information processing and behavioral response. In the preprocessing, baseline correction is implemented to analyze the pre-stimuli, combining ERP to mark the event related potential, studying the time-locked only behavior. Z-score transform, coherence and spec trum are calculated and analyzed in the functional connectivity analysis.In addition to the functional analysis, Bayes Optimizer evaluates the neuro imaging according to the hierarchical Bayes. The introduction of the application is described from both user and developer’s prospects. Results: Introduction of both user and developers aspects, on its modules from pre-processing, functional analysis and results visualization and evaluation is conducted with one specific clinical data case, including the correlation is higher especially on gamma band and the MVAR coherence on the whole source space depicting the relation between different regions, especially on somatosensory (compared by thalamus) when stimulated by finger activity, phase-lock property of the E/MEG signal and etc. Compared to a manual selection, the scaling parameter prediction can be improved with support vector machine (SVM). The evaluation results with Bayes Optimization, location prediction is superior in the somatosensory area and in the thalamus, the total reconstructed source space is larger, one of the realization of cognitive system comparing different kernels and classifiers. The SVM and discriminant classifier gives similar results evaluating the dipole localization and the parameter choice related as well to the shape parameter, noise level, hyperprior and etc.ConclusionApproaches of Brain Q are found to be suitable for pre-processing for the EEG and MEG data. The system is capable of functional analysis including coherence and spectral related computation. Machine learning techniques are conducted as well to analyze and evaluate the result of the dipole reconstruction and help to predict the better model parameters and the localization of the origin dipoles. A case on finger stimulation clinical data is conducted and the results of the analysis temporarily and spatially manifests its functionality for users and potential extensions for developers.     

Affective processing in positive schizotypy: Loose control of social-emotional information

Behavioral studies suggested heightened impact of emotionally laden perceptual input in schizophrenia spectrum disorders, in particular in patients with prominent positive symptoms. De-coupling of prefrontal and posterior cortices during stimulus processing, which is related to loosening of control of the prefrontal cortex over incoming affectively laden information, may underlie this abnormality. Pre-selected groups of individuals with low versus high positive schizotypy (lower and upper quartile of a large screening sample) were tested. During exposure to auditory displays of strong emotions (anger, sadness, cheerfulness), individuals with elevated levels of positive schizotypal symptoms showed lesser prefrontal–posterior coupling (EEG coherence) than their symptom-free counterparts (right hemisphere). This applied to negative emotions in particular and was most pronounced during confrontation with anger. The findings indicate a link between positive symptoms and a heightened impact particularly of threatening emotionally laden stimuli which might lead to exacerbation of positive symptoms and inappropriate behavior in interpersonal situations.     

Taking Racism to Heart: Race-Related Stressors and Cardiovascular Reactivity for Multiracial People

Multiracial people experience an accumulation of racial stress for both their minority and their multiracial identities, yet no research has examined the physiological impact of this stress. This within-groups experimental study examined whether two race-related stressors—identity invalidation and discrimination from family—affect cardiovascular reactivity for Black/White multiracial adults (N = 60). The authors found a Condition × Phase interaction effect indicating that discrimination from family affected blood pressure. Invalidation had no effect on blood pressure. Las personas multirraciales experimentan una acumulación de estrés racial tanto a causa de su identidad multirracial como de su identidad como minoría, pero no hay investigaciones que hayan examinado el impacto psicológico de este estrés. Este estudio experimental dentro de grupos examinó si dos factores causantes de estrés relacionados con la raza (la invalidación de la identidad y la discriminación por parte de la familia) afectan a la reactividad cardiovascular de personas adultas multirraciales blancas/negras (N = 60). Los autores hallaron un efecto de interacción Condición × Fase que indica que la discriminación por parte de la familia tuvo un efecto sobre la presión sanguínea. La invalidación no tuvo efecto sobre la presión sanguínea.     

Old processes,new perspectives: Familiarity is correlated with (not independent of) recollection and is more (not equally) variable for targets than for lures

According to dual-process models of memory, recognition is subserved by two processes: recollection and familiarity. Many variants of these models assume that recollection and familiarity make stochastically independent contributions to performance in recognition tasks and that the variance of the familiarity signal is equal for targets and for lures. Here, we challenge these ‘common-currency’ assumptions. Using a model-comparison approach, featuring the Continuous Dual Process (CDP; Wixted & Mickes, 2010) model as the protagonist, we show that when these assumptions are relaxed, the model’s fits to individual participants’ data improve. Furthermore, our analyses reveal that across items, recollection and familiarity show a positive correlation. Interestingly, this across-items correlation was dissociated from an across-participants correlation between the sensitivities of these processes. We also find that the familiarity signal is significantly more variable for targets than for lures. One striking theoretical implication of these findings is that familiarity—rather than recollection, as most models assume—may be the main contributor responsible for one of the most influential findings of recognition memory, that of subunit zROC slopes. Additionally, we show that erroneously adopting the common-currency assumptions, introduces severe biases to estimates of recollection and familiarity.     

Language as human ecology: A new agenda for linguistic education

The efficiency of linguistic education based on the code model of language is questioned. The view of written language as a representation of speech ignores the important difference between the experientially different cognitive domains of speech and writing which affect human cognitive development by establishing an extended ecology of languaging. As a consequence, functional illiteracy in societies with established literate cultures becomes a real threat. It can be avoided when it is understood that language is a kind of socially driven behavior which contributes, in a quite definitive way, to the rich context of the human ecological niche, including texts, without which it cannot be understood.     

Sense of agency disturbances in movement disorders: A comprehensive review

Sense of agency refers to the experience that one’s self-generated action causes an event in the external environment. Here, we review the behavioural and brain evidence of aberrant experiences of agency in movement disorders, clinical conditions characterized by either a paucity or an excess of movements unrelated to the patient’s intention. We show that specific abnormal agency experiences characterize several movement disorders. Those manifestations are typically associated with structural and functional brain abnormalities. However, the evidence is sometimes conflicting, especially when considering results obtained through different agency measures. The present review aims to create order in the existing literature on sense of agency investigations in movement disorders and to provide a coherent overview framed within current neurocognitive models of motor awareness.     

Increased variability in spiral drawing in patients with functional (psychogenic) tremor

Increased variability is a characteristic clinical and physiologic feature of functional (psychogenic) tremor. In this study, we use computerized spiral analysis to show that the variability of a motor task is a quantifiable characteristic of functional tremor. We compare functional tremor patients to phenomenologically similar dystonic tremor patients and to normal controls. We used the spiral severity score, a measure that does not incorporate spiral tightness, as a marker of spiral drawing performance, and inter-spiral tightness variability (based on the 25–75%^ile range in tightness across ten spirals) to evaluate the effects of functional tremor on drawing spirals. The spirals of 74 participants: 22 functional tremor, 21 dystonic tremor, and 31 normal controls were analyzed. Spiral severity was higher in both tremor groups compared to controls, but did not differentiate them. Inter-spiral variability, however, was higher in the functional tremor group compared to both other groups. Thus, spiral analysis captures variability of a motor task and may be used as an objective test for functional tremor. The effect of functional tremor in other motor tasks should be investigated.     

Selfhood triumvirate: From phenomenology to brain activity and back again

Recently, a three-dimensional construct model for complex experiential Selfhood has been proposed (Fingelkurts, Fingelkurts, & Kallio-Tamminen, 2016b,c). According to this model, three specific subnets (or modules) of the brain self-referential network (SRN) are responsible for the manifestation of three aspects/features of the subjective sense of Selfhood. Follow up multiple studies established a tight relation between alterations in the functional integrity of the triad of SRN modules and related to them three aspects/features of the sense of self; however, the causality of this relation is yet to be shown. In this article we approached the question of causality by exploring functional integrity within the three SRN modules that are thought to underlie the three phenomenal components of Selfhood while these components were manipulated mentally by experienced meditators in a controlled and independent manner. Participants were requested, in a block-randomised manner, to mentally induce states representing either increased (up-regulation) or decreased (down-regulation) sense of (a) witnessing agency (“Self”), or (b) body representational-emotional agency (“Me”), or (c) reflective/narrative agency (“I”), while their brain activity was recorded by an electroencephalogram (EEG). This EEG-data was complemented by first-person phenomenological reports and standardised questionnaires which focused on subjective contents of three aspects of Selfhood. The results of the study strengthen the case for a direct causative relationship between three phenomenological aspects of Selfhood and related to them three modules of the brain SRN. Furthermore, the putative integrative model of the dynamic interrelations among three modules of the SRN has been proposed.