P-SOCRATES: A parallel software framework for time-critical many-core systems

Article in Press, Corrected Proof

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Comprehensive treatments for social cognitive deficits in schizophrenia: A critical review and effect-size analysis of controlled studies

Recent advances in psychosocial treatments for schizophrenia have targeted social cognitive deficits. A critical literature review and effect-size (ES) analysis was conducted to investigate the efficacy of comprehensive programs of social cognitive training in schizophrenia. Results revealed 16 controlled studies consisting of seven models of comprehensive treatment with only three of these treatment models investigated in more than one study. The effects of social cognitive training were reported in 11/15 studies that included facial affect recognition skills (ES=.84) and 10/13 studies that included theory-of-mind (ES=.70) as outcomes. Less than half (4/9) of studies that measured attributional style as an outcome reported effects of treatment, but effect sizes across studies were significant (ESs=.30-.52). The effect sizes for symptoms were modest, but, with the exception of positive symptoms, significant (ESs=.32-.40). The majority of trials were randomized (13/16), selected active control conditions (11/16) and included at least 30 participants (12/16). Concerns for this area of research include the absence of blinded outcome raters in more than 50% of trials and low rates of utilization of procedures for maintaining treatment fidelity. These findings provide preliminary support for the broader use of comprehensive social cognitive training procedures as a psychosocial intervention for schizophrenia.

Fractional State Space Analysis of Temperature Time Series

Atmospheric temperatures characterize Earth as a slow dynamics spatiotemporal system, revealing long-memory and complex behavior. Temperature time series of 54 worldwide geographic locations are considered as representative of the Earth weather dynamics. These data are then interpreted as the time evolution of a set of state space variables describing a complex system. The data are analyzed by means of multidimensional scaling (MDS), and the fractional state space portrait (fSSP). A centennial perspective covering the period from 1910 to 2012 allows MDS to identify similarities among different Earth’s locations. The multivariate mutual information is proposed to determine the “optimal” order of the time derivative for the fSSP representation. The fSSP emerges as a valuable alternative for visualizing system dynamics.

Potencialidades de uma abordagem com Interdisciplinaridade entre matemática e estudo do meio e centrada no ambiente

O presente estudo partiu do problema “Como promover aprendizagens da Matemática e do Estudo do Meio numa perspetiva interdisciplinar, explorando o mundo real?”. Neste sentido, tem como objetivos: selecionar recursos e atividades que se revelem motivadoras para os alunos; demonstrar a relevância da inter-relação de diferentes conceitos e a importância da sua ligação com as vivências dos alunos; ativar o envolvimento dos alunos para a aprendizagem da Matemática através do Estudo do meio e de situações do mundo real; estimular a perceção do aluno da presença da Matemática nos conteúdos de Estudo do Meio; fomentar a compreensão da relação dos conteúdos de Matemática e estudo do Meio. Com este propósito formularam-se as seguintes questões: (1) Que tipo de atividades se poderão proporcionar de forma a motivar os alunos para os conteúdos do Estudo do Meio e da Matemática? (2) De que forma a exploração das situações/conceções do quotidiano poderá promover o envolvimento dos alunos na aprendizagem da Matemática e do Estudo do Meio? (3) De que forma o Ensino Experimental das Ciências numa perspetiva interdisciplinar pode contribuir para desenvolver tanto as competências conceptuais (fatores do ambiente: temperatura e humidade/OTD/números racionais), como capacidades de pensamento crítico e tomada de decisão inerente? Tendo em vista os objetivos do estudo, desenvolveram-se, com uma turma do 2º ano de escolaridade, quatro situações formativas, que envolveram as disciplinas de Matemática e Estudo do Meio. O domínio de conteúdos preponderante na área de Estudo do Meio foi À descoberta do Ambiente Natural, enquanto na Matemática os domínios predominantes foram Organização e tratamento de dados e Números e operações. Foram realizadas diversas atividades experimentais, onde os alunos tiveram um papel ativo na construção dos seus conhecimentos. A investigação segue uma metodologia qualitativa, centrando-se num estudo de caso, onde se caracteriza uma experiência interdisciplinar que envolveu as disciplinas de Matemática e Estudo do Meio. Os dados foram recolhidos pela professora investigadora através de gravações de vídeo e áudio, fotografias, trabalhos dos alunos e de registos da professora investigadora. Os resultados demonstraram como os alunos mobilizaram e apropriaram os conteúdos de Matemática e Estudo do Meio. Os dados, através da análise de conteúdo, parecem iv sugerir que houve uma evolução no desempenho dos alunos a vários níveis, nomeadamente: no trabalho cooperativo, no envolvimento da tarefa, nas interações estabelecidas e na motivação para a aprendizagem da Matemática e Estudo do Meio.