A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

This survey provides an overview of the scientific literature on timing verificationtechniques for multi-core real-time systems. It reviews the key results in the fieldfrom its origins around 2006 to the latest research published up to the end of July2018. The survey highlights the key issues involved in providing guarantees oftiming correctness for multi-core systems. A detailed review is provided coveringfour main categories: full integration, temporal isolation, integrating interferenceeffects into schedulability analysis, and mapping and allocation. The survey concludeswith a discussion of the advantages and disadvantages of these different approaches,identifying open issues, key challenges, and possible directions for futureresearch.TR-2018-9info:eu-repo/semantics/nonPublishe

Development and evaluation of a prototype of a Memory Centric Scheduler

The demands for high performance computing with a low cost and low power consumption are driving a transition towards multi-core processors in many consumer and industrial applications. However, the adoption of multi-core processors in the domain of real-time systems faces a series of challenges that has been the focus of great research intensity during the last decade. These challenges arise in great part from the non real-time nature of the hardware arbiters that schedule the access to shared resources, such as the main memory. One solution proposed in the literature is called Memory Centric Scheduling, which defines a separate software scheduler for the sections of the tasks that will access the main memory, hence circumventing the low level unpredictable hardware arbiters. Several Memory Centric schedulers and associated theoretical analyses have been proposed, but as far as we know, no actual implementation of the required OS-level underpinnings to support Memory Centric Scheduling has been presented before. In this paper we aim to fill this gap, by proposing the first implementation of Memory Centric Scheduling in an RTOS designed for multi-core systems. We will confirm via measurements the main theoretical benefits of Memory Centric Scheduling (e.g. task isolation). Furthermore, we will describe an effective schedulability analysis using concepts from distributed systems.beware grant PARTITA (1610375)info:eu-repo/semantics/nonPublishe

RENACER study: Assessment of 12-month efficacy and safety of 168 certolizumab PEGol rheumatoid arthritis-treated patients from a Spanish multicenter national database

Objective: To assess effectiveness and safety of certolizumab PEGol (CZP) in rheumatoid arthritis (RA) patients after 12 months of treatment and to detect predictors of response.Methods: Observational longitudinal prospective study of RA patients from 35 sites in Spain. Variables (baseline, 3- and 12-month assessment): sociodemographics, previous Disease Modifying Anti-Rheumatic Drug (DMARD) and previous Biological Therapies (BT) use; TJC, SJC, ESR, CRP, DAS28, SDAI. Response variables: TJC, SJC, CRP, ESR, and steroids dose reductions, EULAR Moderate/Good Response, SDAI response and remission, DAS28 remission. Safety variables: discontinuation due to side-effects. Descriptive, comparative and Logistic regression analyses were performed.Results: We included 168 patients: 79.2% women, mean age 54.5 years (+/- 13.2 SD), mean disease duration 7.5 years (+/- 7.3 SD). Mean number of prior DMARD: 1.4 (+/- 1.2 SD), mean number of prior BT was 0.8 (+/- 1.1). Mean time on CZP was 9.8 months (+/- 3.4 SD). A total of 71.4% were receiving CZP at 12-month assessment. Baseline predictors of response: lower prior number DMARD; low number prior BT; higher CRP, ESR, TJC, SJC, DAS28 and SDAI (