Investigation on AUTOSAR-Compliant Solutions for Many-Core Architectures

As of today, AUTOSAR is the de facto standard in the automotive industry, providing a common software architec- ture and development process for automotive applications. While this standard is originally written for singlecore operated Elec- tronic Control Units (ECU), new guidelines and recommendations have been added recently to provide support for multicore archi- tectures. This update came as a response to the steady increase of the number and complexity of the software functions embedded in modern vehicles, which call for the computing power of multicore execution environments. In this paper, we enumerate and analyze the design options and the challenges of porting AUTOSAR-based automotive applications onto multicore platforms. In particular, we investigate those options when considering the emerging many- core architectures that provide a more scalable environment than the traditional multicore systems. Such platforms are suitable to enable massive parallel execution, and their design is more suitable for partitioning and isolating the software components.

Methodologies for the WCET Analysis of Parallel Applications on Many-core Architectures

Euromicro Conference on Digital System Design (DSD 2015), Funchal, Portugal.

Partitioning the Network-on-Chip to Enable Virtualization on Many-Core Processors

6th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2015), Lund, Sweden.

Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures supported by an FTT-SE Network

Distributed real-time systems such as automotive applications are becoming larger and more complex, thus, requiring the use of more powerful hardware and software architectures. Furthermore, those distributed applications commonly have stringent real-time constraints. This implies that such applications would gain in flexibility if they were parallelized and distributed over the system. In this paper, we consider the problem of allocating fixed-priority fork-join Parallel/Distributed real-time tasks onto distributed multi-core nodes connected through a Flexible Time Triggered Switched Ethernet network. We analyze the system requirements and present a set of formulations based on a constraint programming approach. Constraint programming allows us to express the relations between variables in the form of constraints. Our approach is guaranteed to find a feasible solution, if one exists, in contrast to other approaches based on heuristics. Furthermore, approaches based on constraint programming have shown to obtain solutions for these type of formulations in reasonable time.

A system model and stack for the parallelization of time-critical applications on many-core architectures

3rd Workshop on High-performance and Real-time Embedded Systems (HIRES 2015). 21, Jan, 2015. Amsterdam, Netherlands.

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

Article in Press, Corrected Proof

Hard real-time multiprocessor scheduling resilient to core failures

Presented at 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015). 19 to 21, Aug, 2015, pp 122-131. Hong Kong, China.

Towards realistic core-failure-resilient scheduling and analysis

Presented at IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..

Towards realistic core-failure-resilient scheduling and analysis

Presented at IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..

Real-time Parallel Applications on Many-core Architectures

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

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.

Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments

EMC2 finds solutions for dynamic adaptability in open systems. It provides handling of mixed criticality multicore applications in r eal-time conditions, withscalability and utmost flexibility, full-scale deployment and management of integrated tool chains, through the entire lifecycle.

C4d Presence in Kidney Allograft Biopsy: Sensitivity and Specifity of Immunoperoxidase vs Immunofluorescence

OBJECTIVES: Evaluate the sensitivity/specificity of immunoperoxidase method in comparison with the standard immunofluorescence. MATERIAL AND METHODS: Retrospective review of 87 biopsies made for allograft dysfunction. Immunofluorescence (IF) was performed in frozen allograft biopsies using monoclonal antibody anti-C4d from Quidel®. The indirect immunoperoxidase (IP) technique was performed in paraffin-embebbed tissue with polyclonal antiserum from Serotec®. Biopsies were independently evaluated by two nephropathologist according Banff 2007 classification. RESULTS: By IF, peritubular C4d deposition were detected in 60 biopsies and absent in 27 biopsies. The evaluation of biopsy by IP was less precise due to the presence of background and unspecific staining. We find 13.8% (12/87) of false negative and Banff classification concordance in 79.3% (69/87) of cases (table1). The ROC curve study reveal a specificity of 100% and sensitivity of 80.0 % of IP method in relation to the gold standard (area under curve:0.900; 95% Confidence interval :0.817-0.954; p=0.0001). Banff Classification C4d Cases Immunofluorescence Immunoperoxidase n =87 Diffuse Negative 3 (3.4%) Focal Negative 9 (10.3%) Negative Negative 27 (31.0%) Diffuse Diffuse 33 (37.9%) Focal Focal 9 (10.3%) Diffuse Focal 6 (6.9%) CONCLUSION: The IP method presents a good specificity, but lesser sensitivity to C4d detection in allograft dysfunction. The evaluation is more difficult, requiring more experience of the observer than IF method. If frozen tissue is unavailable, the use of IP for C4d detection is acceptable.

Leishmania spp. parasite isolation through inoculation of patient biopsy macerates in interferon gamma knockout mice

Isolation of Leishmania parasite and species identification are important for confirmation and to help define the epidemiology of the leishmaniasis. Mice are often used to isolate pathogens, but the most common mouse strains are resistant to infection with parasites from the Leishmania (Viannia) subgenus. In this study we tested the inoculation of interferon gamma knockout (IFNγ KO) mice with biopsy macerates from Leishmania-infected patients to increase the possibility of isolating parasites. Biopsies from twenty five patients with clinical signs of leishmaniasis were taken and tested for the presence of parasites. Immunohistochemical assay (IHC) and conventional histopathology detected the parasite in 88% and 83% of the patients, respectively. Leishmania sp. were isolated in biopsy macerates from 52% of the patients by culture in Grace's insect medium, but 13% of isolates were lost due to contamination. Inoculation of macerates in IFNγ KO mice provides isolation of parasites in 31.8% of the biopsies. Most isolates belong to L. (Viannia) subgenus, as confirmed by PCR, except one that belongs to L. (Leishmania) subgenus. Our preliminary results support the use of IFNγ KO mice to improve the possibility to isolate New World Leishmania species.