A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions.

Since modern ambient assisted living solutions integrate a multitude of assisted-living functionalities, out of which some are safety critical, it is desirable that these systems are analyzed at their design stage to detect possible errors. To achieve this, one needs suitable architectures that support the seamless design of the integrated assisted-living functions, as well as capabilities for the formal modeling and analysis of the architecture. In this paper, we attempt to address this need, by proposing a generic integrated ambient assisted living system architecture, consisting of sensors, data collection, local and cloud processing schemes, and an intelligent decision support system, which can be easily extended to suit specific architecture categories.

Are systemic inflammatory profiles different in patients with COPD and metabolic syndrome as compared to those with COPD alone?

Background: Metabolic Syndrome (MS) is frequent in patients with COPD, almost 50% of patients with COPD had one or more components of metabolic syndrome (MS). Moreover, it was demonstrated that BMI might be one of the determinants of COPD phenotype. Chronic comorbid diseases affect health outcomes in COPD, in fact, patients with COPD mainly die of non-respiratory disorders such as cardiovascular disease.