Feature-Aware Verification

A software product line is a set of software products that are distinguished in terms of features (i.e., end-user--visible units of behavior). Feature interactions ---situations in which the combination of features leads to emergent and possibly critical behavior--- are a major source of failures in software product lines. We explore how feature-aware verification can improve the automatic detection of feature interactions in software product lines. Feature-aware verification uses product-line verification techniques and supports the specification of feature properties along with the features in separate and composable units. It integrates the technique of variability encoding to verify a product line without generating and checking a possibly exponential number of feature combinations. We developed the tool suite SPLverifier for feature-aware verification, which is based on standard model-checking technology. We applied it to an e-mail system that incorporates domain knowledge of AT&T. We found that feature interactions can be detected automatically based on specifications that have only feature-local knowledge, and that variability encoding significantly improves the verification performance when proving the absence of interactions.Comment: 12 pages, 9 figures, 1 tabl

Collaborative and Robot-Based Plug & Produce for Rapid Reconfiguration of Modular Production Systems

Wojtynek M, Oestreich H, Beyer O, Wrede S. Collaborative and Robot-Based Plug & Produce for Rapid Reconfiguration of Modular Production Systems. In: Proceedings of the 2017 IEEE/SICE International Symposium on System Integration. Piscataway, NJ: IEEE; 2017.The manufacturing of individualized products down to batch size 1 poses ongoing challenges for the design and integration of future production systems. Today’s production lines with a high degree of automation achieve high efficiency, but usually come with high costs for adaptation to product variants. In order to combine full automation with high flexibility, we propose a concept for the dynamic composition of automation components in a modular production system that facilitates the rapid adaptation of collaborative and robot-supported manufacturing processes. To achieve this, we integrate self-descriptive automation components at runtime into the control architecture of the production system using a Plug-and-Produce approach. While the location and orientation of automation components in the modular production system are derived from physical human-robot interaction, the adaptation and verification of the robot behavior is made possible through a simulation-based planning subsystem. Once this dynamic reconfiguration process by the machine setter is finished, the adapted production process is executed in a fully automated way with high efficiency. A case study carried out in an industrial collaboration project on flexible assembly demonstrates the benefits of the presented approach

Risk factors for upper and lower type prolonged postoperative ileus following surgery for Crohn’s disease

Purpose: Prolonged postoperative ileus (PPOI) is common after bowel resections, especially in Crohn's disease (CD). The pathophysiology of PPOI is not fully understood. PPOI could affect only the upper or lower gastrointestinal (GI) tract. The aim of this study was to assess risk factors for diverse types of PPOI, particularly to differentiate PPOI of upper and lower GI tract. Methods: A retrospective analysis of 163 patients with CD undergoing ileocecal resection from 2015 to 2020 in a single center was performed. PPOI of the upper GI tract was predefined as the presence of vomiting or use of nasogastric tube longer than the third postoperative day. Lower PPOI was predefined as the absence of defecation for more than three days. Independent risk factors were identified by multivariable logistic regression analysis. Results: Overall incidence of PPOI was 42.7%. PPOI of the upper GI tract was observed in 30.7% and lower PPOI in 20.9% of patients. Independent risk factors for upper PPOI included older age, surgery by a resident surgeon, hand-sewn anastomosis, prolonged opioid analgesia, and reoperation, while for lower PPOI included BMI <= 25 kg/m(2), preoperative anemia, and absence of ileostomy. Conclusion: This study identified different risk factors for upper and lower PPOI after ileocecal resection in patients with CD. A differentiated upper/lower type approach should be considered in future research and clinical practice. High-risk patients for each type of PPOI should be closely monitored, and modifiable risk factors, such as preoperative anemia and opioids, should be avoided if possible

Three-Dimensional High-Resolution Black-Blood Magnetic Resonance Imaging for Detection of Arteritic Anterior Ischemic Optic Neuropathy in Patients With Giant Cell Arteritis

Objectives: Arteritic anterior ischemic optic neuropathy (A-AION) caused by inflammatory occlusion of the posterior ciliary arteries is the most common reason for irreversible vision loss in patients with giant cell arteritis. Atypical clinical presentation and negative funduscopy can delay systemic high-dose corticosteroid therapy to prevent impending permanent blindness and involvement of the contralateral eye. The purpose of this study was to assess the diagnostic accuracy of 3-dimensional (3D) high-resolution T1-weighted black-blood magnetic resonance imaging (T1-BB-MRI) for the detection of posterior ciliary artery involvement in patients with giant cell arteritis and funduscopic A-AION. Materials and Methods: After institutional review board approval and informed consent, 27 patients with suspected giant cell arteritis and vision disturbances were included in this monocentric prospective cohort study. Giant cell arteritis was diagnosed in 18 patients according to the diagnostic reference standard (6 men, 73.8 [69.0-78.0] years);14 of those were positive for A-AION. Precontrast and postcontrast 3D T1-BB-MRI was performed in all 27 patients. Two radiologists separately assessed image quality and local fat suppression (4-point scale), visual contrast enhancement (3-point scale), and diagnostic confidence (5-point scale) regarding arteritic posterior ciliary artery involvement. Magnetic resonance imaging findings were assessed in comparison to funduscopy. Statistical analysis included accuracy parameters and interrater agreement. Results: Sensitivity of 3D T1-BB-MRI was 92.9% (95% confidence interval, 66.1%-99.8%) and specificity was 92.3% (95% confidence interval, 64.0%-99.8%) for detection of A-AION-positive patients. Image quality and local fat suppression were assessed with 3.2 +/- 0.8 (median 3) and 3.8 +/- 0.5 (median 4). Visual contrast enhancement with 2.3 +/- 0.8 (median 3) and diagnostic confidence was rated at 4.7 +/- 0.5 (median 5). Interrater agreement was high (kappa = 0.85, P < 0.001). Three-dimensional T1-BB-MRI displayed bilateral findings in 50% of the cases, whereas only unilateral A-AION was detected in funduscopy as a possible indication for the contralateral eye at risk. Conclusions: Three-dimensional T1-BB-MRI allows accurate detection of arteritic posterior ciliary artery involvement in patients with A-AION. Further, 3D T1-BB-MRI seems to display arteritic involvement of the posterior ciliary arteries earlier than funduscopy and might, therefore, display "vision-at-risk" in patients with visual impairment and suspected giant cell arteritis but unremarkable funduscopy

Impact of myopenia and myosteatosis on postoperative outcome and recurrence in Crohn’s disease

PURPOSE: Myopenia and myosteatosis have been proposed to be prognostic factors of surgical outcomes for various diseases, but their exact role in Crohn’s disease (CD) is unknown. The aim of this study is to evaluate their impact on anastomotic leakage, CD recurrence, and postoperative complications after ileocecal resection in patients with CD. METHODS: A retrospective analysis of CD patients undergoing ileocecal resection at our tertiary referral center was performed. To assess myopenia, skeletal muscle index (skeletal muscle area normalized for body height) was measured using an established image analysis method at third lumbar vertebra level on MRI cross-sectional images. Muscle signal intensity was measured to assess myosteatosis index. RESULTS: A total of 347 patients were retrospectively analyzed. An adequate abdominal MRI scan within 12 months prior to surgery was available for 223 patients with median follow-up time of 48.8 months (IQR: 20.0–82.9). Anastomotic leakage rate was not associated with myopenia (SMI: p = 0.363) or myosteatosis index (p = 0.821). Patients with Crohn’s recurrence had a significantly lower SMI (p = 0.047) in univariable analysis, but SMI was not an independent factor for recurrent anastomotic stenosis in multivariable analysis (OR 0.951, 95% CI 0.840–1.078; p = 0.434). Postoperative complications were not associated with myopenia or myosteatosis. CONCLUSION: Based on the largest cohort of its kind with a long follow-up time, we could provide some data that MRI parameters for myopenia and myosteatosis may not be reliable predictors of postoperative outcome or recurrence in patients with Crohn’s disease undergoing ileocecal resection

Multiple Sclerosis: Improved Detection of Active Cerebral Lesions With 3-Dimensional T1 Black-Blood Magnetic Resonance Imaging Compared With Conventional 3-Dimensional T1 GRE Imaging

Objectives: The aim of this study was to assess the diagnostic accuracy of a modified high-resolution whole-brain three-dimensional T1-weighted black-blood sequence (T1-weighted modified volumetric isotropic turbo spin echo acquisition [T1-mVISTA]) in comparison to a standard three-dimensional T1-weighted magnetization-prepared rapid gradient echo (MP-RAGE) sequence for detection of contrast-enhancing cerebral lesions in patients with relapsing-remitting multiple sclerosis (MS).& para;& para;Materials and Methods: After institutional review board approval and informed consent, 22 patients (8 men;aged 31.0 +/- 9.2 years) with relapsing-remitting MS were included in this monocentric prospective cohort study.& para;& para;Contrast-enhanced T1-mVISTA and MP-RAGE, both with 0.8 mm(3) resolution, were performed in all patients. In a substudy of 12 patients, T1-mVISTA was compared with a T1-mVISTA with 1.0 mm(3) resolution (T1-mVISTA_1.0). Reference lesions were 2-defined by an experienced neuroradiologist using all available sequences and served as the criterion standard. T1-mVISTA, T1-mVISTA_1.0, and MP-RAGE sequences were read in random order 4 weeks apart. Image quality, visual contrast enhancement, contrast-to-noise-ratio (CNR), diagnostic confidence, and lesion size were assessed and compared by Wilcoxon and Mann-Whitney U tests.& para;& para;Results: Eleven of 22 patients displayed contrast-enhancing lesions. Visual contrast enhancement, CNR, and diagnostic confidence of contrast-enhancing MS lesions were significantly increased in T1-mVISTA compared with MP-RAGE (P < 0.001). Significantly more contrast-enhancing lesions were detected with T1-mVISTA than with MP-RAGE (71 vs 39, respectively;P < 0.001). With MP-RAGE, 25.6% of lesions were missed in the initial reading, whereas only 4.2% of lesions were missed with T1-mVISTA. Increase of the voxel volume from 0.8 mm to 1.0 mm isotropic in T1-mVISTA_1.0 did not affect the detect-ability of lesions, whereas scan time was decreased from 4:43 to 1:55 minutes.& para;& para;Conclusions: Three-dimensional T1-mVISTA improves the detection rates of contrast-enhancing cerebral MS lesions compared with conventional 3D MP-RAGE sequences by increasing CNR of lesions and might, therefore, be useful in patient management

Proposed Mobility Assessments with Simultaneous Full-Body Inertial Measurement Units and Optical Motion Capture in Healthy Adults and Neurological Patients for Future Validation Studies: Study Protocol

Healthy adults and neurological patients show unique mobility patterns over the course of their lifespan and disease. Quantifying these mobility patterns could support diagnosing, tracking disease progression and measuring response to treatment. This quantification can be done with wearable technology, such as inertial measurement units (IMUs). Before IMUs can be used to quantify mobility, algorithms need to be developed and validated with age and disease-specific datasets. This study proposes a protocol for a dataset that can be used to develop and validate IMU-based mobility algorithms for healthy adults (18–60 years), healthy older adults (>60 years), and patients with Parkinson’s disease, multiple sclerosis, a symptomatic stroke and chronic low back pain. All participants will be measured simultaneously with IMUs and a 3D optical motion capture system while performing standardized mobility tasks and non-standardized activities of daily living. Specific clinical scales and questionnaires will be collected. This study aims at building the largest dataset for the development and validation of IMU-based mobility algorithms for healthy adults and neurological patients. It is anticipated to provide this dataset for further research use and collaboration, with the ultimate goal to bring IMU-based mobility algorithms as quickly as possible into clinical trials and clinical routine

Cyanobakterier og cyanotoksiner i norske drikkevannskilder - (VKM)

publishedVersio

The disease management program for type 2 diabetes in Germany enhances process quality of diabetes care - a follow-up survey of patient's experiences

<p>Abstract</p> <p>Background</p> <p>In summer 2003 a disease management program (DMP) for type 2 diabetes was introduced on a nationwide basis in Germany. Patient participation and continuity of care within the DMP are important factors to achieve long-term improvements in clinical endpoints. Therefore it is of interest, if patients experience any positive or negative effects of the DMP on their treatment that would support or hamper further participation. The main objective of the study was to find out if the German Disease Management Program (DMP) for type 2 diabetes improves process and outcome quality of medical care for patients in the light of their subjective experiences over a period of one year.</p> <p>Methods</p> <p>Cohort study with a baseline interview and a follow-up after 10.4 ± 0.64 months. Data on process and outcome measures were collected by telephone interviews with 444 patients enrolled and 494 patients not enrolled in the German DMP for type 2 diabetes. Data were analyzed by multivariate logistic regression analyses.</p> <p>Results</p> <p>DMP enrolment was significantly associated with a higher process quality of care. At baseline enrolled patients more often reported that they had attended a diabetes education course (OR = 3.4), have ≥ 4 contacts/year with the attending physician (OR = 3.3), have at least one annual foot examination (OR = 3.1) and one referral to an ophthalmologist (OR = 3.4) and possess a diabetes passport (OR = 2.4). Except for the annual referral to an ophthalmologist these parameters were also statistically significant at follow-up. In contrast, no differences between enrolled and not enrolled patients were found concerning outcome quality indicators, e.g. self-rated health, Glycated hemoglobin (GHb) and blood pressure. However, 16-36% of the DMP participants reported improvements of body weight and/or GHb and/or blood pressure values due to enrolment - unchanged within one year of follow-up.</p> <p>Conclusions</p> <p>In the light of patient's experiences the DMP enhances the process quality of medical care for type 2 diabetes in Germany. The lack of significant differences in outcome quality between enrolled and not enrolled patients might be due to the short program duration. Our data suggest that the DMP for type 2 diabetes should not be withdrawn unless an evidently more promising approach is found.</p