Timing Analysis using the MARTE Profile in the Design of Rail Automation Systems

International audienceFor dependable systems as in the railway domain the timing behaviour is considered part of the functional correctness. Thus timing requirements have to be traced and refined through the system and software development phases and validation and verification efforts have to address the timing as well as the pure input/output behaviour. We show how timing can be handled in a UML or SysML based approach to the development of software-intensive railway systems by using the new MARTE profile. Thereby timing becomes fully integrated in the chain of system and software models and may benefit from tool support. Moreover, automated timing analysis may be employed via model transformations which enables the exploration of timing-related issues in various design phases

Reconstructing the direction of reactor antineutrinos via electron scattering in Gd-doped water Cherenkov detectors

The potential of elastic antineutrino-electron scattering in a Gd-doped water Cherenkov detector to determine the direction of a nuclear reactor antineutrino flux was investigated using the recently proposed WATCHMAN antineutrino experiment as a baseline model. The expected scattering rate was determined assuming a 13-km standoff from a 3.758-GWt light water nuclear reactor and the detector response was modeled using a Geant4-based simulation package. Background was estimated via independent simulations and by scaling published measurements from similar detectors. Background contributions were estimated for solar neutrinos, misidentified reactor-based inverse beta decay interactions, cosmogenic radionuclides, water-borne radon, and gamma rays from the photomultiplier tubes (PMTs), detector walls, and surrounding rock. We show that with the use of low background PMTs and sufficient fiducialization, water-borne radon and cosmogenic radionuclides pose the largest threats to sensitivity. Directional sensitivity was then analyzed as a function of radon contamination, detector depth, and detector size. The results provide a list of experimental conditions that, if satisfied in practice, would enable antineutrino directional reconstruction at 3$\sigma$ significance in large Gd-doped water Cherenkov detectors with greater than 10-km standoff from a nuclear reactor.Comment: 11 pages, 9 figure

Theology, News and Notes - Vol. 45, No. 02

Theology News & Notes was a theological journal published by Fuller Theological Seminary from 1954 through 2014.https://digitalcommons.fuller.edu/tnn/1132/thumbnail.jp

Primary hyperparathyroidism caused by bilateral parathyroid cystic carcinoma in a cat

Abstract Case summary A 16-year-old neutered female Korat cat presented with chronic vomiting, mild azotaemia and mild hypercalcaemia. Physical examination revealed bilateral palpable masses on each side of the trachea. Laboratory results were consistent with primary hyperparathyroidism, diagnostic imaging findings with cystic thyroid or parathyroid masses, and fine-needle aspiration cytology with thyroid hyperplasia or adenoma. In order to confirm whether one or two of the masses were the cause of the hyperparathyroidism, cystic fluid was aspirated from both for parathyroid hormone concentration measurement. The concentration was shown to exceed that of the serum manyfold in both samples, confirming both masses to be functional and of parathyroid origin. A total parathyroidectomy and thyroidectomy were performed on the right side, and a subtotal thyroidectomy and a subtotal to total parathyroidectomy on the left, without any major postoperative complications. Histopathology was consistent with bilateral parathyroid carcinoma. Relevance and novel information To our knowledge, this report is the first to describe a rare case of bilateral parathyroid cystic carcinoma in a cat. It highlights the usefulness of determining parathyroid hormone concentration in the cystic fluid of a suspected neoplastic parathyroid mass preoperatively. It also demonstrates that it may be possible to remove most of the cervical parathyroid and thyroid tissue of a cat without causing any clinically relevant hypocalcaemia or iatrogenic hypothyroidism. However, serum concentrations of ionised calcium, thyroxine and creatinine should be closely monitored in the postoperative period in order to detect and control possible complications.Peer reviewe