Operating System Contribution to Composable Timing Behaviour in High-Integrity Real-Time Systems

The development of High-Integrity Real-Time Systems has a high footprint in terms of human, material and schedule costs. Factoring functional, reusable logic in the application favors incremental development and contains costs. Yet, achieving incrementality in the timing behavior is a much harder problem. Complex features at all levels of the execution stack, aimed to boost average-case performance, exhibit timing behavior highly dependent on execution history, which wrecks time composability and incrementaility with it. Our goal here is to restitute time composability to the execution stack, working bottom up across it. We first characterize time composability without making assumptions on the system architecture or the software deployment to it. Later, we focus on the role played by the real-time operating system in our pursuit. Initially we consider single-core processors and, becoming less permissive on the admissible hardware features, we devise solutions that restore a convincing degree of time composability. To show what can be done for real, we developed TiCOS, an ARINC-compliant kernel, and re-designed ORK+, a kernel for Ada Ravenscar runtimes. In that work, we added support for limited-preemption to ORK+, an absolute premiere in the landscape of real-word kernels. Our implementation allows resource sharing to co-exist with limited-preemptive scheduling, which extends state of the art. We then turn our attention to multicore architectures, first considering partitioned systems, for which we achieve results close to those obtained for single-core processors. Subsequently, we shy away from the over-provision of those systems and consider less restrictive uses of homogeneous multiprocessors, where the scheduling algorithm is key to high schedulable utilization. To that end we single out RUN, a promising baseline, and extend it to SPRINT, which supports sporadic task sets, hence matches real-world industrial needs better. To corroborate our results we present findings from real-world case studies from avionic industry.

Sleep motor activity in parkinsonian syndromes at onset: a prospective study to determine potential diagnostic and prognostic markers

Aim of this study is to describe the possible diagnostic value of sleep disturbances in the differential diagnosis of neurodegenerative diseases characterized by parkinsonism at onset. 42 consecutive patients with parkinsonian features and disease duration up to 3 years were included in the BO-ProPark study. Each patient was evaluated twice, at baseline (T0) and 16 months later (T1). Patients were diagnosed as Parkinson disease (PD, 27 patients), PD plus (PD with cognitive impairment/dementia or dysautonomia, 4 patients) and parkinsonian syndrome (PS, 11 patients). All patients underwent a full night video-polysomnography scored by a neurologist blinded to the clinical diagnosis. Sleep efficiency and total sleep time were reduced in all patients; wake after sleep onset was higher in patients with atypical parkinsonisms than in PD patients. No significant differences between groups of patients were detected in other sleep parameters. The mean percentage of epochs with enhanced tonic muscle EMG activity during REM sleep was higher in PD plus and PS than in PD. No difference in phasic muscle EMG activity during REM sleep was seen between the two groups. REM behaviour disorder was more frequent in PD plus and PS than in PD patients. Our data suggest that REM sleep motor control is more frequently impaired at disease onset in patients with PS and PD plus compared to PD patients. The presence of RBD or an enhanced tonic muscle EMG activity in a patient with recent onset parkinsonian features should suggest a diagnosis of atypical parkinsonism, rather than PD. More data are needed to establish the diagnostic value of these features in the differential diagnosis of parkinsonisms. The evaluation of sleep disorders may be a useful tool in the differential diagnosis of parkinsonism at onset.

Timing attack di Paul C. Kocher: attacco al sistema di sicurezza RSA mediante strumenti di statistica

In questa tesi ho voluto descrivere il Timing Attack al sistema crittografico RSA, il suo funzionamento, la teoria su cui si basa, i suoi punti di forza e i punti deboli. Questo particolare tipo di attacco informatico fu presentato per la prima volta da Paul C. Kocher nel 1996 all’“RSA Data Security and CRYPTO conferences”. Nel suo articolo “Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems” l’autore svela una nuova possibile falla nel sistema RSA, che non dipende da debolezze del crittosistema puramente matematiche, ma da un aspetto su cui nessuno prima di allora si era mai soffermato: il tempo di esecuzione delle operazioni crittografiche. Il concetto è tanto semplice quanto geniale: ogni operazione in un computer ha una certa durata. Le variazioni dei tempi impiegati per svolgere le operazioni dal computer infatti, necessariamente dipendono dal tipo di algoritmo e quindi dalle chiavi private e dal particolare input che si è fornito. In questo modo, misurando le variazioni di tempo e usando solamente strumenti statistici, Kocher mostra che è possibile ottenere informazioni sull’implementazione del crittosistema e quindi forzare RSA e altri sistemi di sicurezza, senza neppure andare a toccare l’aspetto matematico dell’algoritmo. Di centrale importanza per questa teoria diventa quindi la statistica. Questo perché entrano in gioco molte variabili che possono influire sul tempo di calcolo nella fase di decifrazione: - La progettazione del sistema crittografico - Quanto impiega la CPU ad eseguire il processo - L’algoritmo utilizzato e il tipo di implementazione - La precisione delle misurazioni - Ecc. Per avere più possibilità di successo nell’attaccare il sistema occorre quindi fare prove ripetute utilizzando la stessa chiave e input differenti per effettuare analisi di correlazione statistica delle informazioni di temporizzazione, fino al punto di recuperare completamente la chiave privata. Ecco cosa asserisce Kocher: “Against a vulnerable system, the attack is computationally inexpensive and often requires only known ciphertext.”, cioè, contro sistemi vulnerabili, l’attacco è computazionalmente poco costoso e spesso richiede solo di conoscere testi cifrati e di ottenere i tempi necessari per la loro decifrazione.

Cognitive and behavioural assessment of parkinsonian syndromes at onset: a longitudinal study

Background: cognitive impairment is one of the non motor features widely descripted in parkinsonian syndrome, it has been related to the motor characteristics of the parkinsonian syndrome, associated with neuropsychiatric dysfunction and the characteristic sleep and autonomic features. It has been shown to be highly prevalent at all disease stages and to contribute significantly to disability. Objectives: aim of this study is to evaluate longitudinally the cognitive and behavioral characteristics of patients with a parkinsonian syndrome at onset; to describe the cognitive and behavioral characteristics of each parkinsonian syndrome; to define in PD patients at onset the presence of MCI or Parkinson disease dementia; to correlate the cognitive and behavioral characteristics with the features of the parkinsonian syndrome and with the associated sleep and autonomic features. Results: we recruited 55 patients, 22 did not present cognitive impairment both at T0 and at T1. 18 patients presented a progression of cognitive impairment. Progressive cognitively impaired patients were older and presented the worst motor phenotype. Progression of cognitive impairment was not associated to sleep and autonomic features. Conclusion: the evaluation of cognitive impairment could not be useful as a predictor of a correct diagnosis but each non motor domain will help to clarify and characterize the motor syndrome. The diagnosis of parkinsonian disorders lies in building a clinical profile in conjunction with other clinical characteristics such as mode of presentation, disease progression, response to medications, sleep and autonomic features.

Studio e realizzazione di un "timing circuit" e "output circuit" per pacemaker

Nell'elaborato è stato svolto uno studio su più livelli degli elementi essenziali del pacemaker asincrono secondo la realizzazione circuitale proposta da Wilson Greatbatch nel 1960. Un primo livello ha riguardato l’analisi teorica del circuito. Un secondo livello ha riguardato un’analisi svolta con LTSPICE. Con questo stesso programma, si è analizzato il segnale di temporizzazione e la forma d’onda sul carico al variare del valore di alcuni componenti chiave del circuito. Infine, si è proceduto alla sua realizzazione su breadboard.

Lack of prophylaxis before the onset of acute venous thromboembolism among hospitalized cancer patients: the SWIss Venous ThromboEmbolism Registry (SWIVTER)

Venous thromboembolism (VTE) prophylaxis remains underutilized, particularly in cancer patients. We explored clinical predictors of prophylaxis in hospitalized cancer patients before the onset of acute VTE.

Adult-onset ornithine transcarbamylase (OTC) deficiency unmasked by the Atkins' diet

Late-onset symptoms of urea-cycle disorder may lead to a life-threatening disease which is often undetected. We report the clinical and metabolic manifestations of acute hyperammonemic encephalopathy in a 47-year-old asymptomatic man with ornithine transcarbamylase (OTC) deficiency. The hyperammonemic encephalopathy was unmasked by a high-protein Atkins diet.

Mitochondrial tRNA(Leu(UUR)) mutation m.3302A > G presenting as childhood-onset severe myopathy: threshold determination through segregation study

Mitochondrial tRNA(Leu(UUR)) mutation m.3302A > G is associated with respiratory chain complex I deficiency and has been described as a rare cause of mostly adult-onset slowly progressive myopathy. Five families with 11 patients have been described so far; 5 of them died young due to cardiorespiratory failure. Here, we report on a segregation study in a family with an index patient who already presented at the age of 18 months with proximal muscular hypotonia, abnormal fatigability, and lactic acidosis. This early-onset myopathy was rapidly progressive. At 8 years, the patient is wheel-chair bound, requires nocturnal assisted ventilation, and suffers from recurrent respiratory infections. Severe complex I deficiency and nearly homoplasmy for m.3302A > G were found in muscle. We collected blood, hair, buccal swabs and muscle biopsies from asymptomatic adults in this pedigree and determined heteroplasmy levels in these tissues as well as OXPHOS activities in muscle. All participating asymptomatic adults had normal OXPHOS activities. In contrast to earlier reports, we found surprisingly little variation of heteroplasmy levels in different tissues of the same individual. Up to 45% mutation load in muscle and up to 38% mutation load in other tissues were found in non-affected adults. The phenotypic spectrum of tRNA(Leu(UUR)) m.3302A > G mutation seems to be wider than previously described. A threshold of more than 45% heteroplasmy in muscle seems to be necessary to alter complex I activity leading to clinical manifestation. The presented data may be helpful for prognostic considerations and counseling in affected families.

Changes in CXCL12/CXCR4-chemokine expression during onset of colorectal malignancies

Chemokines have been proposed to contribute to tumour growth and metastatic spread of several cancer entities. Here, we examined the relative levels of CXCL12/CXCR4 in resection specimens from patients with different malignant and non-malignant colorectal diseases as well as colorectal liver metastases (CRLM). CXCL12/CXCR4 mRNA and protein expression profiles were assessed by quantitative real-time PCR, Western blot analysis, enzyme-linked immunosorbent assay (ELISA) and immunohistochemistry in resection specimens from patients with ulcerative colitis (UC; n = 15), colorectal adenoma (CRA; n = 15), colorectal adenocarcinoma (CRC; n = 47) and CRLM (n = 16). Corresponding non-affected tissues served as control. In contrast to UC tissues, CXCL12 showed a distinct down-regulation in CRA, CRC and CRLM specimens, whereas the corresponding receptor CXCR4 demonstrated a significant up-regulation in CRC and CRLM related to corresponding non-affected tissues (p < 0.05, respectively). Our results strongly suggest an association between CXCL12/CXCR4 expression and the induction of CRA, CRC and the development of CRLM. Therefore, CXCR4 may be a potential target for specific therapeutic interventions.

Impact of single nucleotide polymorphisms and of clinical risk factors on new-onset diabetes mellitus in HIV-infected individuals

Background. Metabolic complications, including cardiovascular events and diabetes mellitus (DM), are a major long-term concern in human immunodeficienc virus (HIV)-infected individuals. Recent genome-wide association studies have reliably associated multiple single nucleotide polymorphisms (SNPs) to DM in the general population. Methods. We evaluated the contribution of 22 SNPs identifie in genome-wide association studies and of longitudinally measured clinical factors to DM. We genotyped all 94 white participants in the Swiss HIV Cohort Study who developed DM from 1 January 1999 through 31 August 2009 and 550 participants without DM. Analyses were based on 6054 person-years of follow-up and 13,922 measurements of plasma glucose. Results. The contribution to DM risk explained by SNPs (14% of DM variability) was larger than the contribution to DM risk explained by current or cumulative exposure to different antiretroviral therapy combinations (3% of DM variability). Participants with the most unfavorable genetic score (representing 12% and 19% of the study population, respectively, when applying 2 different genetic scores) had incidence rate ratios for DM of 3.80 (95% confidenc interval [CI], 2.05–7.06) and 2.74 (95% CI, 1.53–4.88), respectively, compared with participants with a favorable genetic score. However, addition of genetic data to clinical risk factors that included body mass index only slightly improved DM prediction. Conclusions. In white HIV-infected persons treated with antiretroviral therapy, the DM effect of genetic variants was larger than the potential toxic effects of antiretroviral therapy. SNPs contributed significantl to DM risk, but their addition to a clinical model improved DM prediction only slightly, similar to studies in the general population.

The ocular motor features of adult-onset alexander disease: a case and review of the literature

A 51-year-old Chinese man presented with gaze-evoked nystagmus, impaired smooth pursuit and vestibular ocular reflex cancellation, and saccadic dysmetria, along with a family history suggestive of late-onset autosomal dominant parkinsonism. MRI revealed abnormalities of the medulla and cervical spinal cord typical of adult-onset Alexander disease, and genetic testing showed homozygosity for the p.D295N polymorphic allele in the gene encoding the glial fibrillary acidic protein. A review of the literature shows that ocular signs are frequent in adult-onset Alexander disease, most commonly gaze-evoked nystagmus, pendular nystagmus, and/or oculopalatal myoclonus, and less commonly ptosis, miosis, and saccadic dysmetria. These signs are consistent with the propensity of adult-onset Alexander disease to cause medullary abnormalities on neuroimaging.