SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications

We present a new visual language, SCCharts, designed for specifying safety-critical reactive systems. SCCharts uses a new statechart notation and provides deterministic concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs. Specifically, we lift earlier limitations on sequential accesses to shared variables, by leveraging the sequentially constructive MoC. The key features of SCCharts are defined by a very small set of elements, the Core SCCharts, consisting of state machines plus fork/join concurrency. Conversely, Extended SCCharts contain a rich set of advanced features, such as different abort types, signals, history transitions, etc., all of which can be reduced via model-to-model transformations into Core SCCharts. This approach enables a simple yet efficient compilation strategy and aids verification and certification

Intracranial complications of sinogenic and otogenic infections in children:an ESPN survey on their occurrence in the pre-COVID and post-COVID era

Background: COVID-19 pandemic is thought to have changed the epidemiology of some pediatric neurosurgical disease: among them are the intracranial complications of sinusitis and otitis (ICSO). According to some studies on a limited number of cases, both streptococci-related sinusitis and ICSO would have increased immediately after the pandemic, although the reason is not clear yet (seasonal changes versus pandemic-related effects). The goal of the present survey of the European Society for Pediatric Neurosurgery (ESPN) was to collect a large number of cases from different European countries encompassing the pre-COVID (2017–2019), COVID (2020–2021), and post-COVID period (2022–June 2023) looking for possible epidemiological and/or clinical changes. Material and methods: An English language questionnaire was sent to ESPN members about year of the event, patient’s age and gender, presence of immune-deficit or other favoring risk factors, COVID infection, signs and symptoms at onset, site of primary infection, type of intracranial complication, identified germ, type and number of surgical operations, type and duration of medical treatment, clinical and radiological outcome, duration of the follow-up. Results: Two hundred fifty-four cases were collected by 30 centers coming from 14 different European countries. There was a statistically significant difference between the post-COVID period (129 children, 86 cases/year, 50.7% of the whole series) and the COVID (40 children, 20 cases/year, 15.7%) or the pre-COVID period (85 children, 28.3 cases/year, 33.5%). Other significant differences concerned the presence of predisposing factors/concurrent diseases (higher in the pre-COVID period) and previous COVID infection (higher in the post-COVID period). No relevant differences occurred as far as demographic, microbiological, clinical, radiological, outcome, morbidity, and mortality data were concerned. Paranasal sinuses and middle ear/mastoid were the most involved primary site of infection (71% and 27%, respectively), while extradural or subdural empyema and brain abscess were the most common ICSO (73% and 17%, respectively). Surgery was required in 95% of cases (neurosurgical and ENT procedure in 71% and 62% of cases, respectively) while antibiotics in 99% of cases. After a 12.4-month follow-up, a full clinical and radiological recovery was obtained in 85% and 84% of cases, respectively. The mortality rate was 2.7%. Conclusions: These results suggest that the occurrence of ICSO was significantly increased after the pandemic. Such an increase seems to be related to the indirect effects of the pandemic (e.g., immunity debt) rather than to a direct effect of COVID infection or to seasonal fluctuations. ICSO remain challenging diseases but the pandemic did not affect the management strategies nor their prognosis. The epidemiological change of sinusitis/otitis and ICSO should alert about the appropriate follow-up of children with sinusitis/otitis.</p

Factors associated with diversity, quantity and zoonotic potential of ectoparasites on urban mice and voles

Wild rodents are important hosts for tick larvae but co-infestations with other mites and insects are largely neglected. Small rodents were trapped at four study sites in Berlin, Germany, to quantify their ectoparasite diversity. Host-specific, spatial and temporal occurrence of ectoparasites was determined to assess their influence on direct and indirect zoonotic risk due to mice and voles in an urban agglomeration. Rodent-associated arthropods were diverse, including 63 species observed on six host species with an overall prevalence of 99%. The tick Ixodes ricinus was the most prevalent species, found on 56% of the rodents. The trapping location clearly affected the presence of different rodent species and, therefore, the occurrence of particular host-specific parasites. In Berlin, fewer temporary and periodic parasite species as well as non-parasitic species (fleas, chiggers and nidicolous Gamasina) were detected than reported from rural areas. In addition, abundance of parasites with low host-specificity (ticks, fleas and chiggers) apparently decreased with increasing landscape fragmentation associated with a gradient of urbanisation. In contrast, stationary ectoparasites, closely adapted to the rodent host, such as the fur mites Myobiidae and Listrophoridae, were most abundant at the two urban sites. A direct zoonotic risk of infection for people may only be posed by Nosopsyllus fasciatus fleas, which were prevalent even in the city centre. More importantly, peridomestic rodents clearly supported the life cycle of ticks in the city as hosts for their subadult stages. In addition to trapping location, season, host species, body condition and host sex, infestation with fleas, gamasid Laelapidae mites and prostigmatic Myobiidae mites were associated with significantly altered abundance of I. ricinus larvae on mice and voles. Whether this is caused by predation, grooming behaviour or interaction with the host immune system is unclear. The present study constitutes a basis to identify interactions and vector function of rodent-associated arthropods and their potential impact on zoonotic diseases

Gesetz und Glück: Untersuchungen zum Naturalismus der stoischen Ethik

Contains fulltext : mmubn000001_237192209.pdf (publisher's version ) (Open Access)Promotores : P. van Tongeren en E. BrugmansIX, 359 p

Demodex huttereri spec. nov. (Acarina: Prostigmata: Demodicidae) from the Meibomian glands of Apodemus agrarius (Rodentia: Muridae)

Volume: 34Start Page: 489End Page: 49