Evaluation of Burst Failure Robustness of Control Systems in the Fog

This paper investigates the robustness of control systems when a controller is run in a Fog environment. Control systems in the Fog are introduced and a discussion regarding relevant faults is presented. A preliminary investigation of the robustness properties of a MinSeg case study is presented and commented. The discussion is then used to outline future lines of research

Control-Theoretical Perspective in Feedback-Based Systems Testing

Self-Adaptive Systems (SAS) and Cyber-Physical Systems (CPS) have received significant attention in recent computer engineering research. This is due to their ability to improve the level of autonomy of engineering artefacts. In both cases, this autonomy increase is achieved through feedback. Feedback is the iteration of sens- ing and actuation to respectively acquire knowledge about the current state of said artefacts and steer them toward a desired state or behaviour. In this thesis we dis- cuss the challenges that the introduction of feedback poses on the verification and validation process for such systems, more specifically, on their testing. We highlight three types of new challenges with respect to traditional software testing: alteration of testing input and output definition, and intertwining of components with different nature. Said challenges affect the ways we can define different elements of the test- ing process: coverage criteria, testing set-ups, test-case generation strategies, and oracles in the testing process. This thesis consists of a collection of three papers and contributes to the definition of each of the mentioned testing elements. In terms of coverage criteria for SAS, Paper I proposes the casting of the testing problem, to a semi-infinite optimisation problem. This allows to leverage the Scenario Theory from the field of robust control, and provide a worst-case probabilistic bound on a given performance metric of the system under test. For what concerns the definition of testing set-ups for control-based CPS, Paper II investigates the implications of the use of different abstractions (i.e., the use of implemented or emulated compo- nents) on the significance of the testing. The paper provides evidence that confutes the common assumption present in previous literature on the existence of a hierar- chy among commonly used testing set-ups. Finally, regarding the test-case gener- ation and oracle definition, Paper III defines the problem of stress testing control- based CPS software. We contribute to the generation and identification of stress test cases for such software by proposing a novel test case parametrisation. Leveraging the proposed parametrisation we define metamorphic relations on the expected be- haviour of the system under test. We use said relations for the development of stress testing approach and sanity checks on the testing results

DMAC: Deadline-Miss-Aware Control

The real-time implementation of periodic controllers requires solving a co-design problem, in which the choice of the controller sampling period is a crucial element. Classic design techniques limit the period exploration to safe values, that guarantee the correct execution of the controller alongside the remaining real-time load, i.e., ensuring that the controller worst-case response time does not exceed its deadline. This paper presents DMAC: the first formally-grounded controller design strategy that explores shorter periods, thus explicitly taking into account the possibility of missing deadlines. The design leverages information about the probability that specific sub-sequences of deadline misses are experienced. The result is a fixed controller that on average works as the ideal clairvoyant time-varying controller that knows future deadline hits and misses. We obtain a safe estimate of the hit and miss events using the scenario theory, that allows us to provide probabilistic guarantees. The paper analyzes controllers implemented using the Logical Execution Time paradigm and three different strategies to handle deadline miss events: killing the job, letting the job continue but skipping the next activation, and letting the job continue using a limited queue of jobs. Experimental results show that our design proposal - i.e., exploring the space where deadlines can be missed and handled with different strategies - greatly outperforms classical control design techniques

Stress Testing Control Loops in Cyber-Physical Systems

Cyber-Physical Systems (CPSs) are often safety-critical and deployed in uncertain environments. Identifying scenarios where CPSs do not comply with requirements is fundamental but difficult due to the multidisciplinary nature of CPSs. We investigate the testing of control-based CPSs, where control and software engineers develop the software collaboratively. Control engineers make design assumptions during system development to leverage control theory and obtain guarantees on CPS behaviour. In the implemented system, however, such assumptions are not always satisfied, and their falsification can lead to guarantees loss. We define stress testing of control-based CPSs as generating tests to falsify such design assumptions. We highlight different types of assumptions, focusing on the use of linearised physics models. To generate stress tests falsifying such assumptions, we leverage control theory to qualitatively characterise the input space of a control-based CPS. We propose a novel test parametrisation for control-based CPSs and use it with the input space characterisation to develop a stress testing approach. We evaluate our approach on three case study systems, including a drone, a continuous-current motor (in five configurations), and an aircraft.Our results show the effectiveness of the proposed testing approach in falsifying the design assumptions and highlighting the causes of assumption violations.Comment: Accepted for publication in August 2023 on the ACM Transactions on Software Engineering and Methodology (TOSEM

Chimeric symbionts expressing a Wolbachia protein stimulate mosquito immunity and inhibit filarial parasite development

Wolbachia can reduce the capability of mosquitoes to transmit infectious diseases to humans and is currently exploited in campaigns for the control of arboviruses, like dengue and Zika. Under the assumption that Wolbachia-mediated activation of insect immunity plays a role in the reduction of mosquito vectorial capacity, we focused our attention on the Wolbachia surface protein (WSP), a potential inductor of innate immunity. We hypothesized that the heterologous expression of this protein in gut- and tissue-associated symbionts may reduce parasite transmission. We thus engineered the mosquito bacterial symbiont Asaia to express WSP (AsaiaWSP). AsaiaWSP induced activation of the host immune response in Aedes aegypti and Anopheles stephensi mosquitoes, and inhibited the development of the heartworm parasite Dirofilaria immitis in Ae. aegypti. These results consolidate previous evidence on the immune-stimulating property of WSP and make AsaiaWSP worth of further investigations as a potential tool for the control of mosquito-borne diseases

Non-neural phenotype of spinal and bulbar muscular atrophy: Results from a large cohort of Italian patients

Objective: To carry out a deep characterisation of the main androgen-responsive tissues involved in spinal and bulbar muscular atrophy (SBMA). Methods: 73 consecutive Italian patients underwent a full clinical protocol including biochemical and hormonal analyses, genitourinary examination, bone metabolism and densitometry, cardiological evaluation and muscle pathology. Results: Creatine kinase levels were slightly to markedly elevated in almost all cases (68 of the 73; 94%). 30 (41%) patients had fasting glucose above the reference limit, and many patients had total cholesterol (40; 54.7%), low-density lipoproteins cholesterol (29; 39.7%) and triglyceride (35; 48%) levels above the recommended values. Although testosterone, luteinising hormone and follicle-stimulating hormone values were generally normal, in one-third of cases we calculated an increased Androgen Sensitivity Index reflecting the presence of androgen resistance in these patients. According to the International Prostate Symptom Score (IPSS), 7/70 (10%) patients reported severe lower urinal tract symptoms (IPSS score >19), and 21/73 (30%) patients were moderately symptomatic (IPSS score from 8 to 19). In addition, 3 patients were carriers of an indwelling bladder catheter. Videourodynamic evaluation indicated that 4 of the 7 patients reporting severe urinary symptoms had an overt prostate-unrelated bladder outlet obstruction. Dual-energy X-ray absorptiometry scan data were consistent with low bone mass in 25/61 (41%) patients. Low bone mass was more frequent at the femoral than at the lumbar level. Skeletal muscle biopsy was carried out in 20 patients and myogenic changes in addition to the neurogenic atrophy were mostly observed. Conclusions: Our study provides evidence of a wide non-neural clinical phenotype in SBMA, suggesting the need for comprehensive multidisciplinary protocols for these patients. \ua9 2016 Published by the BMJ Publishing Group Limited

Good survival outcome of metastatic SDH-deficient gastrointestinal stromal tumors harboring SDHA mutations

Purpose:A subset of patients with KIT/PDGFRA wild-type gastrointestinal stromal tumors show loss of function of succinate dehydrogenase, mostly due to germ-line mutations of succinate dehydrogenase subunits, with a predominance of succinate dehydrogenase subunit A. The clinical outcome of these patients seems favorable, as reported in small series in which patients were individually described. This work evaluates a retrospective survival analysis of a series of patients with metastatic KIT/PDGFRA wild-type succinate dehydrogenase-deficient gastrointestinal stromal tumors.Methods:Sixty-nine patients with metastatic gastrointestinal stromal tumors were included in the study (11 KIT/PDGFRA wild-type, of whom 6 were succinate dehydrogenase deficient, 5 were non-succinate dehydrogenase deficient, and 58 were KIT/PDGFRA mutant). All six succinate dehydrogenase-deficient patients harbored SDHA mutations. Kaplan-Meier curves and log-rank tests were used to compare the survival of patients with succinate dehydrogenase subunit A-mutant gastrointestinal stromal tumors with that of KIT/PDGFRA wild-type patients without succinate dehydrogenase deficiency and patients with KIT/PDGFRA-mutant gastrointestinal stromal tumors.Results:Follow-up ranged from 8.5 to 200.7 months. The difference between succinate dehydrogenase subunit A-mutant gastrointestinal stromal tumors and KIT/PDGFRA-mutant or KIT/PDGFRA wild-type non-succinate dehydrogenase deficient gastrointestinal stromal tumors was significant considering different analyses (P = 0.007 and P = 0.033, respectively, from diagnosis of gastrointestinal stromal tumor for the whole study population; P = 0.005 and P = 0.018, respectively, from diagnosis of metastatic disease for the whole study population; P = 0.007 for only patients who were metastatic at diagnosis).Conclusion:Patients with metastatic KIT/PDGFRA wild-type succinate dehydrogenase-deficient gastrointestinal stromal tumors harboring succinate dehydrogenase subunit A mutations present an impressively long survival. These patients should be identified in clinical practice to better tailor treatments and follow-up over time A subset of patients with KIT/PDGFRA wild-type gastrointestinal stromal tumors show loss of function of succinate dehydrogenase, mostly due to germ-line mutations of succinate dehydrogenase subunits, with a predominance of succinate dehydrogenase subunit A. The clinical outcome of these patients seems favorable, as reported in small series in which patients were individually described. This work evaluates a retrospective survival analysis of a series of patients with metastatic KIT/PDGFRA wild-type succinate dehydrogenase-deficient gastrointestinal stromal tumors.Methods:Sixty-nine patients with metastatic gastrointestinal stromal tumors were included in the study (11 KIT/PDGFRA wild-type, of whom 6 were succinate dehydrogenase deficient, 5 were non-succinate dehydrogenase deficient, and 58 were KIT/PDGFRA mutant). All six succinate dehydrogenase-deficient patients harbored SDHA mutations. Kaplan-Meier curves and log-rank tests were used to compare the survival of patients with succinate dehydrogenase subunit A-mutant gastrointestinal stromal tumors with that of KIT/PDGFRA wild-type patients without succinate dehydrogenase deficiency and patients with KIT/PDGFRA-mutant gastrointestinal stromal tumors.Results:Follow-up ranged from 8.5 to 200.7 months. The difference between succinate dehydrogenase subunit A-mutant gastrointestinal stromal tumors and KIT/PDGFRA-mutant or KIT/PDGFRA wild-type non-succinate dehydrogenase deficient gastrointestinal stromal tumors was significant considering different analyses (P = 0.007 and P = 0.033, respectively, from diagnosis of gastrointestinal stromal tumor for the whole study population; P = 0.005 and P = 0.018, respectively, from diagnosis of metastatic disease for the whole study population; P = 0.007 for only patients who were metastatic at diagnosis).Conclusion:Patients with metastatic KIT/PDGFRA wild-type succinate dehydrogenase-deficient gastrointestinal stromal tumors harboring succinate dehydrogenase subunit A mutations present an impressively long survival. These patients should be identified in clinical practice to better tailor treatments and follow-up over time

Integrated genomic study of quadruple-WT GIST (KIT/PDGFRA/SDH/RAS pathway wild-type GIST)

BACKGROUND: About 10-15% of adult gastrointestinal stromal tumors (GIST) and the vast majority of pediatric GIST do not harbour KIT or platelet-derived growth factor receptor alpha (PDGFRA) mutations (J Clin Oncol 22:3813-3825, 2004; Hematol Oncol Clin North Am 23:15-34, 2009). The molecular biology of these GIST, originally defined as KIT/PDGFRA wild-type (WT), is complex due to the existence of different subgroups with distinct molecular hallmarks, including defects in the succinate dehydrogenase (SDH) complex and mutations of neurofibromatosis type 1 (NF1), BRAF, or KRAS genes (RAS-pathway or RAS-P).In this extremely heterogeneous landscape, the clinical profile and molecular abnormalities of the small subgroup of WT GIST suitably referred to as quadruple wild-type GIST (quadrupleWT or KITWT/PDGFRAWT/SDHWT/RAS-PWT) remains undefined. The aim of this study is to investigate the genomic profile of KITWT/PDGFRAWT/SDHWT/RAS-PWT GIST, by using a massively parallel sequencing and microarray approach, and compare it with the genomic profile of other GIST subtypes. METHODS: We performed a whole genome analysis using a massively parallel sequencing approach on a total of 16 GIST cases (2 KITWT/PDGFRAWT/SDHWT and SDHBIHC+/SDHAIHC+, 2 KITWT/PDGFRAWT/SDHAmut and SDHBIHC-/SDHAIHC- and 12 cases of KITmut or PDGFRAmut GIST). To confirm and extend the results, whole-genome gene expression analysis by microarray was performed on 9 out 16 patients analyzed by RNAseq and an additional 20 GIST patients (1 KITWT/PDGFRAWTSDHAmut GIST and 19 KITmut or PDGFRAmut GIST). The most impressive data were validated by quantitave PCR and Western Blot analysis. RESULTS: We found that both cases of quadrupleWT GIST had a genomic profile profoundly different from both either KIT/PDGFRA mutated or SDHA-mutated GIST. In particular, the quadrupleWT GIST tumors are characterized by the overexpression of molecular markers (CALCRL and COL22A1) and of specific oncogenes including tyrosine and cyclin- dependent kinases (NTRK2 and CDK6) and one member of the ETS-transcription factor family (ERG). CONCLUSION: We report for the first time an integrated genomic picture of KITWT/PDGFRAWT/SDHWT/RAS-PWT GIST, using massively parallel sequencing and gene expression analyses, and found that quadrupleWT GIST have an expression signature that is distinct from SDH-mutant GIST as well as GIST harbouring mutations in KIT or PDGFRA. Our findings suggest that quadrupleWT GIST represent another unique group within the family of gastrointestintal stromal tumors