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.

From large polycyclic aromatic hydrocarbons to extended aromate-rich networks

The common ground of this study is the development of novel synthetic strategies to extended one-, two- and three-dimensional aromate-rich systems for which a number of applications are envisaged. rnThe point of departure is the synthesis and characterization of highly symmetric macrocyclic PAHs (polycyclic aromatic hydrocarbons) for which various aspects of supramolecular chemistry will be investigated. The versatility of the Yamamoto macrocyclization will be demonstrated on the basis of a set of cyclic trimers that exhibit a rich supramolecular chemistry. 1,10-phenanthroline, triphenylene and ortho-terphenyl building blocks have been successfully assembled to the corresponding macrocycles following the newly developed synthetic route. Scanning-tunneling microscopy (STM) and two-dimensional wide-angle X-ray scattering (2D-WAXS) were used to study the two- and three-dimensional self-assembly, respectively.rnSecondly, the development of chemical approaches to highly shape-anisotropic graphene nanoribbons (GNRs) and related nanographene molecules shall be discussed. Aryl-aryl coupling was used for the bottom-up fabrication of dendronized monomers, polymers and model compounds. Subsequently, these structures were converted into the final graphene material using oxidative (Scholl-type) cyclodehydrogenation. The GNRs thus obtained are characterized by an unprecedented length and lateral extension. The relevance of structural tailoring in the field of well-defined graphene materials is discussed in detail as only the chemical approach provides full geometry control. rnLastly, novel pathways towards the synthesis of extended three-dimensional networks that are dominated by nitrogen-rich motifs will be presented. If porous, these materials hold a great potential in the fields of gas and energy storage as well as for applications in catalysis. Hence, poly(aminal) networks based on melamine as crosslinking unit were synthesized and characterized with respect to the applications mentioned above. As set of conjugated poly(azomethine) networks was investigated regarding their use as a novel class of organic semiconductors for photocatalytic water splitting. The network structures described in this chapter can also be subjected to a controlled pyrolysis yielding mesoporous, nitrogen-rich carbon materials that were evaluated as active component for supercapacitors.rn

Study of PI3K/Akt signaling pathway as potential molecular target for T-cell acute lymphoblastic leukemia (T-ALL) treatment: pan-inhibition of PI3K catalitic isoforms as better therapeutic approach

Class I phosphatidylinositol 3-kinases (PI3Ks) are heterodimeric lipid kinases consisting of a regulatory subunit and one of four catalytic subunits (p110α, p110β, p110γ or p110δ). p110γ/p110δ PI3Ks are highly enriched in leukocytes. In general, PI3Ks regulate a variety of cellular processes including cell proliferation, survival and metabolism, by generating the second messenger phosphatidylinositol-3,4,5-trisphosphate (PtdIns(3,4,5)P3). Their activity is tightly regulated by the phosphatase and tensin homolog (PTEN) lipid phosphatase. PI3Ks are widely implicated in human cancers, and in particular are upregulated in T-cell acute lymphoblastic leukemia (T-ALL), mainly due to loss of PTEN function. These observations lend compelling weight to the application of PI3K inhibitors in the therapy of T-ALL. At present different compounds which target single or multiple PI3K isoforms have entered clinical trials. In the present research, it has been analyzed the therapeutic potential of the pan-PI3K inhibitor BKM120, an orally bioavailable 2,6-dimorpholino pyrimidine derivative, which has entered clinical trials for solid tumors, on both T-ALL cell lines and patient samples. BKM120 treatment resulted in cell cycle arrest and apoptosis, being cytotoxic to a panel of T-ALL cell lines and patient T-lymphoblasts. Remarkably, BKM120 synergized with chemotherapeutic agents currently used for treating T-ALL patients. BKM120 efficacy was confirmed in in vivo studies to a subcutaneous xenotransplant model of human T-ALL. Because it is still unclear which agents among isoform-specific or pan inhibitors can achieve the greater efficacy, further analyses have been conducted to investigate the effects of PI3K inhibition, in order to elucidate the mechanisms responsible for the proliferative impairment of T-ALL. Overall, these results indicated that BKM120 may be an efficient treatment for T-ALLs that have aberrant up-regulation of the PI3K signaling pathway and strongly support clinical application of pan-class I PI3K rather than single-isoform inhibitors in T-ALL treatment.

Involvement of microRNAs in Androgen Receptor-dependent Breast Cancers

Triple negative breast cancer (TNBC) is a very aggressive tumor subtype characterized by the lack of expression of estrogen receptor 1 (ESR1), due in the most of cases to an increased expression of DNA methyltransferases (DNMTs) and hypermethylation in CpG islands, resulting in gene silencing. Furthermore, in ESR1- negative breast cancers, androgen receptor (AR) is highly expressed and some studies suggest that it can drive tumor progression and might represent a therapeutic target. A correlation between microRNAs, small non-coding RNAs that regulate gene expression, and DNMTs was investigated in a TNBC cell line to restore a normal methylation pattern of ESR1, leading to its re-expression and conferring again sensitivity to selective estrogen receptor modulators (SERMs). miR-148A and miR-29B were found to be involved in the reduction of the expression of DNMT1 and DNMT3A and in a slight increase of ESR1 expression, but not at protein level. Then, we found a down-regulation of AR by miRs-7, -9, -27a, -27b, -29a, -29b, -29c, -127-3p, -127-5p and -376 at 48h post transfection and an up-regulation by miR-15a and miR-16 at every time considered. We concomitantly investigated a possible increase of Tamoxifen, Herceptin and Metformin sensitivity after AR silencing in MDA-MB 453 and T-47D cell lines. Cells seemed more sensitive when silenced for AR only in MDA-MB-453 at 24h post Tamoxifen treatment. Studies on Metformin have basically confirmed an increase of drug sensitivity due to AR silencing in both cell lines. Analysis of Herceptin showed how MDA-MB 453 samples silenced for AR have a slight decrease in the percentage of proliferating cells, demonstrating a possible increase in the response to treatment. These preliminary data provide the basis for further study of the modulation of the expression of AR by microRNAs and it will be interesting to understand the molecular mechanisms underlying these interactions.

Identifizierung und Charakterisierung von Protein-Biomarkern beim Glaukom

Das Glaukom ist, nach dem Katarakt, die zweithäufigste Ursache für Erblindungen weltweit mit Milionen von Betroffenen, die von dieser zunächst weitgehend symptomfreien neurodegenerativen Erkrankung heimgesucht werden. Die Möglichkeiten auf dem Feld der Diagnose beschränken sich bislang weitestgehend auf die Messung des Augeninnendrucks und der Beurteilung des Augenhintergrundes durch einen erfahrenen Augenarzt. Eine labordiagnostische Prophylaxe ist bis heute nicht verfügbar, die Zahl unerkannter Erkrankungen dementsprechend hoch. Hierdurch geht wertvolle Zeit verloren, die man für eine effektive Therapie nutzen könnte.rnBezüglich der Pathogenese des Glaukoms geht man heute von mehreren, miteinander wechselwirkenden Pathomechanismen aus, zu denen neben mechanischen Einflüssen durch einen erhöhten IOD auch Hypoxie, verminderte Neutrophinversorgung, Exzitotoxizität, oxidativer Stress und eine Beteiligung autoimmuner Prozesse gezählt werden. Unabhängig vom Pathomechanismus folgt stets die Etablierung umfangreicher degenerativer Prozesse im Sehnervenkopf, den retinalen Ganglienzellen und den Axonen des Sehnerven, die letztlich im irreversiblen Untergang dieser Neuronen münden. Diese pathologischen Prozesse im ZNS hinterlassen auf Proteomebene Spuren, die mithilfe moderner massenspektrometrischer Methoden in Kombination mit multivariaten statistischen Methoden detektierbar und als sogenannte Biomarker-Kandidaten mit definiertem Molekulargewicht darstellbar sind. In dieser Arbeit wurde ein „Workflow“ entwickelt, der es ermöglicht, diese Biomarker-Kandidaten im Blutserum und in der Tränenflüssigkeit in einfachen, reproduzierbaren Schritten zu identifizieren und zu charakterisieren. Abweichend von der etablierten Methotik der Bottom-Up-Proteomics musste hierfür eine Methode entsprechend einer Top-Down-Philosophie entwickelt werden, die es erlaubt, die Spuren des Glaukoms im Proteom zu detektieren und zu charakterisieren.rnDies erfolgte in dieser Arbeit durch sowohl massenspektroskopischen Methoden wie SELDI-TOF® und MALDI-Tof-Tof als auch durch Bead-, Gel- und Flüssigkeits-chromatographisch-basierte Separations und Fraktionierungstechniken.rnDie erfolgreiche Kombination dieser Methoden führte zu Identifikationen einer ganzen Reihe von Biomarker-Kandidaten. Unter den identifizierten Proteinen, die bezüglich ihres korrespondierenden SELDI-Peaks im Massenbereich von Biomarker-Kandidaten liegen, finden sich Zytokine und Effektormoleküle der angeborernen Immunität, stressinduzierbare Kinasen, Faktoren, die zum Schutz der Telomeren dienen, Proliferationsmarker, neuronale Antigene und Transportproteine. Darüber hinaus wurden Komponenten identifiziert, die an der neuronalen Neutrophinversorgung beteiligt sind, neuronale Rezeptoren und Antigene, Komponenten des Komplementsystems und des MHC-I-Komplexes. All diese identifizierten Proteine sind bezüglich ihrer Funktion und möglichen Rolle innerhalb der Pathogenese des Glaukoms detailliert beschrieben und charakterisiert. Dies erlaubt einen umfassenden Einblick in alle Pathomechanismen, denen nach heutigem Kenntnisstand, eine Rolle an der Pathogenese des Glaukoms unterstellt wird.rn

Role of Reactive Oxygen Species in signalling and oxidative stress

Results reported in this Thesis contribute to the comprehension of the complicated world of “redox biology”. ROS regulate signalling pathways both in physiological responses and in pathogenesis and progression of diseases. In cancer cells, the increase in ROS generation from metabolic abnormalities and oncogenic signalling may trigger a redox adaptation response, leading to an up-regulation of antioxidant capacity in order to maintain the ROS level below the toxic threshold. Thus, cancer cells would be more dependent on the antioxidant system and more vulnerable to further oxidative stress induced by exogenous ROS-generating agents or compounds that inhibit the antioxidant system. Results here reported indicate that the development of new drugs targeting specific Nox isoforms, responsible for intracellular ROS generation, or AQP isoforms, involved in the transport of extracellular H2O2 toward intracellular targets, might be an interesting novel anti-leukaemia strategy. Furthermore, also the use of CSD peptide, which simulate the VEGFR-2 segregation into caveolae in the inactive form, might be a strategy to stop the cellular response to VEGF signalling. As above stated, in the understanding of the redox biology, it is also important to identify and distinguish the molecular effectors that maintain normal biological and physiological responses, such as agents that stimulate our adaptation systems and elevate our endogenous antioxidant defences or other protective systems. Data here reported indicate that the nutraceutical compound sulforaphane and the Klotho protein are able to stimulate the HO-1 and Prx-1 expression, as well as the GSH levels, confirming their antioxidant and protective role. Finally, results here reported demonstrated that Stevia extracts are involved in insulin regulated glucose metabolism, suggesting that the use of these compounds goes beyond their sweetening power and may also offer therapeutic benefits hence improving the quality of life.