Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

The use of increasingly complex hardware and software platforms in response to the ever rising performance demands of modern real-time systems complicates the verification and validation of their timing behaviour, which form a time-and-effort-intensive step of system qualification or certification. In this paper we relate the current state of practice in measurement-based timing analysis, the predominant choice for industrial developers, to the proceedings of the PROXIMA project in that very field. We recall the difficulties that the shift towards more complex computing platforms causes in that regard. Then we discuss the probabilistic approach proposed by PROXIMA to overcome some of those limitations. We present the main principles behind the PROXIMA approach as well as the changes it requires at hardware or software level underneath the application. We also present the current status of the project against its overall goals, and highlight some of the principal confidence-building results achieved so far

Long-term cellular immunity of vaccines for Zaire Ebola Virus Diseases

Recent Ebola outbreaks underscore the importance of continuous prevention and disease control efforts. Authorized vaccines include Merck’s Ervebo (rVSV-ZEBOV) and Johnson & Johnson’s two-dose combination (Ad26.ZEBOV/MVA-BN-Filo). Here, in a five-year follow-up of the PREVAC randomized trial (NCT02876328), we report the results of the immunology ancillary study of the trial. The primary endpoint is to evaluate long-term memory T-cell responses induced by three vaccine regimens: Ad26–MVA, rVSV, and rVSV–booster. Polyfunctional EBOV-specific CD4+ T-cell responses increase after Ad26 priming and are further boosted by MVA, whereas minimal responses are observed in the rVSV groups, declining after one year. In-vitro expansion for eight days show sustained EBOV-specific T-cell responses for up to 60 months post-prime vaccination with both Ad26-MVA and rVSV, with no decline. Cytokine production analysis identify shared biomarkers between the Ad26-MVA and rVSV groups. In secondary endpoint, we observed an elevation of pro-inflammatory cytokines at Day 7 in the rVSV group. Finally, we establish a correlation between EBOV-specific T-cell responses and anti-EBOV IgG responses. Our findings can guide booster vaccination recommendations and help identify populations likely to benefit from revaccination

Industrial experiences with resource management under software randomization in ARINC653 avionics environments

Injecting randomization in different layers of the computing platform has been shown beneficial for security, resilience to software bugs and timing analysis. In this paper, with focus on the latter, we show our experience regarding memory and timing resource management when software randomization techniques are applied to one of the most stringent industrial environments, ARINC653-based avionics. We describe the challenges in this task, we propose a set of solutions and present the results obtained for two commercial avionics applications, executed on COTS hardware and RTOS.The work leading to these results has been funded by the European Community’s Seventh Framework Programme (FP7/2007-2013) un- der the PROXIMA Project (grant agreement 611085). Moreover, it has been partially supported by the Spanish Ministry of Science and Innovation under grant TIN2015-65316-P and the HiPEAC Network of Excellence.Peer Reviewe

PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems

International audienc

PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

The use of increasingly complex hardware and software platforms in response to the ever rising performance demands of modern real-time systems complicates the verification and validation of their timing behaviour, which form a time-and-effort-intensive step of system qualification or certification. In this paper we relate the current state of practice in measurement-based timing analysis, the predominant choice for industrial developers, to the proceedings of the PROXIMA (Probabilistic real-time control of mixed-criticality multicore systems) project in that very field. We recall the difficulties that the shift towards more complex computing platforms causes in that regard. Then we discuss the probabilistic approach proposed by PROXIMA to overcome some of those limitations. We present the main principles behind the PROXIMA approach as well as the changes it requires at hardware or software level underneath the application. We also present the current status of the project against its overall goals, and highlight some of the principal confidence-building results achieved so far.The research leading to these results has received funding from the European Community’s Seventh Framework Programme [FP7/2007-2013] under the PROXIMA Project (grant agreement 611085). Carles Hern´andez is jointly funded by the Spanish Ministry of Economy and Competitiveness (MINECO) and FEDER funds through grant TIN2014-60404-JIN. Jaume Abella has been partially supported by the MINECO under Ramon y Cajal postdoctoral fellowship number RYC-2013-14717.Peer Reviewe