Testing real-time systems using TINA

The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts

First LOFAR observations at very low frequencies of cluster-scale non-thermal emission: the case of Abell 2256

Abell 2256 is one of the best known examples of a galaxy cluster hosting large-scale diffuse radio emission that is unrelated to individual galaxies. It contains both a giant radio halo and a relic, as well as a number of head-tail sources and smaller diffuse steep-spectrum radio sources. The origin of radio halos and relics is still being debated, but over the last years it has become clear that the presence of these radio sources is closely related to galaxy cluster merger events. Here we present the results from the first LOFAR Low band antenna (LBA) observations of Abell 2256 between 18 and 67 MHz. To our knowledge, the image presented in this paper at 63 MHz is the deepest ever obtained at frequencies below 100 MHz in general. Both the radio halo and the giant relic are detected in the image at 63 MHz, and the diffuse radio emission remains visible at frequencies as low as 20 MHz. The observations confirm the presence of a previously claimed ultra-steep spectrum source to the west of the cluster center with a spectral index of -2.3 \pm 0.4 between 63 and 153 MHz. The steep spectrum suggests that this source is an old part of a head-tail radio source in the cluster. For the radio relic we find an integrated spectral index of -0.81 \pm 0.03, after removing the flux contribution from the other sources. This is relatively flat which could indicate that the efficiency of particle acceleration at the shock substantially changed in the last \sim 0.1 Gyr due to an increase of the shock Mach number. In an alternative scenario, particles are re-accelerated by some mechanism in the downstream region of the shock, resulting in the relatively flat integrated radio spectrum. In the radio halo region we find indications of low-frequency spectral steepening which may suggest that relativistic particles are accelerated in a rather inhomogeneous turbulent region.Comment: 13 pages, 13 figures, accepted for publication in A\&A on April 12, 201

Laryngeal tuberculosis presenting as a supraglottic carcinoma: a case report and review of the literature

<p>Abstract</p> <p>Introduction</p> <p>Laryngeal tuberculosis used to be a common complication in advanced pulmonary tuberculosis. However, it has become a rare occurrence in developed countries since the introduction of antituberculous agents. Moreover, the pattern of the disease has changed over the years. Nowadays, it more closely resembles a laryngeal carcinoma than any other laryngeal illness.</p> <p>Case presentation</p> <p>We describe the case of a 50-year-old Caucasian man who presented with the clinical picture of laryngeal cancer, but which turned out to be tuberculosis. We illustrate the difficulty of recognizing laryngeal tuberculosis both clinically and even with radiological examination.</p> <p>Conclusion</p> <p>Although laryngeal tuberculosis is uncommon, especially in developed countries, it still occurs and should be considered as a differential diagnosis in any laryngeal disease, in particular in the case of a laryngeal carcinoma.</p

Towards the clinical implementation of pharmacogenetics in bipolar disorder.

BackgroundBipolar disorder (BD) is a psychiatric illness defined by pathological alterations between the mood states of mania and depression, causing disability, imposing healthcare costs and elevating the risk of suicide. Although effective treatments for BD exist, variability in outcomes leads to a large number of treatment failures, typically followed by a trial and error process of medication switches that can take years. Pharmacogenetic testing (PGT), by tailoring drug choice to an individual, may personalize and expedite treatment so as to identify more rapidly medications well suited to individual BD patients.DiscussionA number of associations have been made in BD between medication response phenotypes and specific genetic markers. However, to date clinical adoption of PGT has been limited, often citing questions that must be answered before it can be widely utilized. These include: What are the requirements of supporting evidence? How large is a clinically relevant effect? What degree of specificity and sensitivity are required? Does a given marker influence decision making and have clinical utility? In many cases, the answers to these questions remain unknown, and ultimately, the question of whether PGT is valid and useful must be determined empirically. Towards this aim, we have reviewed the literature and selected drug-genotype associations with the strongest evidence for utility in BD.SummaryBased upon these findings, we propose a preliminary panel for use in PGT, and a method by which the results of a PGT panel can be integrated for clinical interpretation. Finally, we argue that based on the sufficiency of accumulated evidence, PGT implementation studies are now warranted. We propose and discuss the design for a randomized clinical trial to test the use of PGT in the treatment of BD

An outcome analysis of self-expandable metallic stents in central airway obstruction: a cohort study

<p>Abstract</p> <p>Background</p> <p>Self-expandable metallic stents (SEMSs) have provided satisfactory management of central airway obstruction. However, the long-term benefits and complications of this management modality in patients with benign and malignant obstructing lesions after SEMS placement are unclear. We performed this cohort study to analyze the outcomes of Ultraflex SEMSs in patients with tracheobronchial diseases.</p> <p>Methods</p> <p>Of 149 patients, 72 with benign and 77 with malignant tracheobronchial disease received 211 SEMSs (benign, 116; malignant, 95) and were retrospectively reviewed in a tertiary hospital.</p> <p>Results</p> <p>The baseline characteristics of patients who received SEMS implantation for benign conditions and those who underwent implantation for malignant conditions were significantly different. These characteristics included age (mean, 63.9 vs. 58; <it>p </it>< 0.01), gender (male, 62% vs. 90%; <it>p </it>< 0.0001), smoking (47% vs. 85%; <it>p </it>< 0.0001), forced expiratory volume in 1 second (mean, 0.9 vs. 1.47 L/s; <it>p </it>< 0.0001), follow-up days after SEMS implantation (median; 429 vs. 57; <it>p </it>< 0.0001), and use of covered SEMS (36.2% vs. 94.7%; <it>p </it>< 0.0001). Symptoms improved more after SEMS implantation in patients with benign conditions than in those with malignant conditions (76.7% vs. 51.6%; <it>p </it>< 0.0001). The overall complication rate after SEMS implantation in patients with benign conditions was higher than that in patients with malignancy (42.2% vs. 21.1%; <it>p </it>= 0.001). Successful management of SEMS migration, granulation tissue formation, and SEMS fracture occurred in 100%, 81.25%, and 85% of patients, respectively.</p> <p>Conclusions</p> <p>Patients who received SEMS implantation owing to benign conditions had worse lung function and were older than those who received SEMS for malignancies. There was higher complication rate in patients with benign conditions after a longer follow-up period owing to the nature of the underlying diseases.</p

Theory of disk accretion onto supermassive black holes

Accretion onto supermassive black holes produces both the dramatic phenomena associated with active galactic nuclei and the underwhelming displays seen in the Galactic Center and most other nearby galaxies. I review selected aspects of the current theoretical understanding of black hole accretion, emphasizing the role of magnetohydrodynamic turbulence and gravitational instabilities in driving the actual accretion and the importance of the efficacy of cooling in determining the structure and observational appearance of the accretion flow. Ongoing investigations into the dynamics of the plunging region, the origin of variability in the accretion process, and the evolution of warped, twisted, or eccentric disks are summarized.Comment: Mostly introductory review, to appear in "Supermassive black holes in the distant Universe", ed. A.J. Barger, Kluwer Academic Publishers, in pres