Contracts for Systems Design: Theory

Aircrafts, trains, cars, plants, distributed telecommunication military or health care systems,and more, involve systems design as a critical step. Complexity has caused system design times and coststo go severely over budget so as to threaten the health of entire industrial sectors. Heuristic methods andstandard practices do not seem to scale with complexity so that novel design methods and tools based on astrong theoretical foundation are sorely needed. Model-based design as well as other methodologies suchas layered and compositional design have been used recently but a unified intellectual framework with acomplete design flow supported by formal tools is still lacking.Recently an “orthogonal” approach has been proposed that can be applied to all methodologies introducedthus far to provide a rigorous scaffolding for verification, analysis and abstraction/refinement: contractbaseddesign. Several results have been obtained in this domain but a unified treatment of the topic that canhelp in putting contract-based design in perspective is missing. This paper intends to provide such treatmentwhere contracts are precisely defined and characterized so that they can be used in design methodologiessuch as the ones mentioned above with no ambiguity. In addition, the paper provides an important linkbetween interface and contract theories to show similarities and correspondences.This paper is complemented by a companion paper where contract based design is illustrated throughuse cases

Fundamental Approaches to Software Engineering

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications

Fundamental Approaches to Software Engineering

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications

How To Touch a Running System

The increasing importance of distributed and decentralized software architectures entails more and more attention for adaptive software. Obtaining adaptiveness, however, is a difficult task as the software design needs to foresee and cope with a variety of situations. Using reconfiguration of components facilitates this task, as the adaptivity is conducted on an architecture level instead of directly in the code. This results in a separation of concerns; the appropriate reconfiguration can be devised on a coarse level, while the implementation of the components can remain largely unaware of reconfiguration scenarios. We study reconfiguration in component frameworks based on formal theory. We first discuss programming with components, exemplified with the development of the cmc model checker. This highly efficient model checker is made of C++ components and serves as an example for component-based software development practice in general, and also provides insights into the principles of adaptivity. However, the component model focuses on high performance and is not geared towards using the structuring principle of components for controlled reconfiguration. We thus complement this highly optimized model by a message passing-based component model which takes reconfigurability to be its central principle. Supporting reconfiguration in a framework is about alleviating the programmer from caring about the peculiarities as much as possible. We utilize the formal description of the component model to provide an algorithm for reconfiguration that retains as much flexibility as possible, while avoiding most problems that arise due to concurrency. This algorithm is embedded in a general four-stage adaptivity model inspired by physical control loops. The reconfiguration is devised to work with stateful components, retaining their data and unprocessed messages. Reconfiguration plans, which are provided with a formal semantics, form the input of the reconfiguration algorithm. We show that the algorithm achieves perceived atomicity of the reconfiguration process for an important class of plans, i.e., the whole process of reconfiguration is perceived as one atomic step, while minimizing the use of blocking of components. We illustrate the applicability of our approach to reconfiguration by providing several examples like fault-tolerance and automated resource control

Tools and Algorithms for the Construction and Analysis of Systems

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems

Tools and Algorithms for the Construction and Analysis of Systems

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems

An evidence-based approach to the use of telehealth in long-term health conditions: development of an intervention and evaluation through pragmatic randomised controlled trials in patients with depression or raised cardiovascular risk

Background: Health services internationally are exploring the potential of telehealth to support the management of the growing number of people with long-term conditions (LTCs). Aim: To develop, implement and evaluate new care programmes for patients with LTCs, focusing on two common LTCs as exemplars: depression or high cardiovascular disease (CVD) risk. Methods Development: We synthesised quantitative and qualitative evidence on the effectiveness of telehealth for LTCs, conducted a qualitative study based on interviews with patients and staff and undertook a postal survey to explore which patients are interested in different forms of telehealth. Based on these studies we developed a conceptual model [TElehealth in CHronic disease (TECH) model] as a framework for the development and evaluation of the Healthlines Service for patients with LTCs. Implementation: The Healthlines Service consisted of regular telephone calls to participants from health information advisors, supporting them to make behaviour change and to use tailored online resources. Advisors sought to optimise participants’ medication and to improve adherence. Evaluation: The Healthlines Service was evaluated with linked pragmatic randomised controlled trials comparing the Healthlines Service plus usual care with usual care alone, with nested process and economic evaluations. Participants were adults with depression or raised CVD risk recruited from 43 general practices in three areas of England. The primary outcome was response to treatment and the secondary outcomes included anxiety (depression trial), individual risk factors (CVD risk trial), self-management skills, medication adherence, perceptions of support, access to health care and satisfaction with treatment. Trial results Depression trial: In total, 609 participants were randomised and the retention rate was 86%. Response to treatment [Patient Health Questionnaire 9-items (PHQ-9) reduction of ≥ 5 points and score of < 10 after 4 months] was higher in the intervention group (27%, 68/255) than in the control group (19%, 50/270) [odds ratio 1.7, 95% confidence interval (CI) 1.1 to 2.5; p = 0.02]. Anxiety also improved. Intervention participants reported better access to health support, greater satisfaction with treatment and small improvements in self-management, but not improved medication adherence. CVD risk trial: In total, 641 participants were randomised and the retention rate was 91%. Response to treatment (maintenance of/reduction in QRISK®2 score after 12 months) was higher in the intervention group (50%, 148/295) than in the control group (43%, 124/291), which does not exclude a null effect (odds ratio 1.3, 95% CI 1.0 to 1.9; p = 0.08). The intervention was associated with small improvements in blood pressure and weight, but not smoking or cholesterol. Intervention participants were more likely to adhere to medication, reported better access to health support and greater satisfaction with treatment, but few improvements in self-management. The Healthlines Service was likely to be cost-effective for CVD risk, particularly if the benefits are sustained, but not for depression. The intervention was implemented largely as planned, although initial delays and later disruption to delivery because of the closure of NHS Direct may have adversely affected participant engagement. Conclusion: The Healthlines Service, designed using an evidence-based conceptual model, provided modest health benefits and participants valued the better access to care and extra support provided. This service was cost-effective for CVD risk but not depression. These findings of small benefits at extra cost are consistent with previous pragmatic research on the implementation of comprehensive telehealth programmes for LTCs

Noncommunicable Diseases

Noncommunicable Diseases: A Compendium introduces readers to noncommunicable diseases (NCDs) – what they are, their burden, their determinants and how they can be prevented and controlled. Focusing on cardiovascular disease, diabetes, cancer and chronic respiratory disease and their five shared main risk factors (tobacco use, harmful use of alcohol, unhealthy diet, physical inactivity and air pollution) as defined by the United Nations, this book provides a synopsis of one of the world’s biggest challenges of the 21st century. NCDs prematurely claim the lives of millions of people across the world every year, with untold suffering to hundreds of millions more, trapping many people in poverty and curtailing economic growth and sustainable development. While resources between and within countries largely differ, the key principles of surveillance, prevention and management apply to all countries, as does the need to focus resources on the most cost-effective and affordable interventions and the need for strong political will, sufficient resources, and sustained and broad partnerships. This compendium consists of 59 short and accessible chapters in six sections: (i) describing and measuring the burden and impact of NCDs; (ii) the burden, epidemiology and priority interventions for individual NCDs; (iii) social determinants and risk factors for NCDs and priority interventions; (iv) global policy; (v) cross-cutting issues; and (vi) stakeholder action. Drawing on the expertise of a large and diverse team of internationally renowned policy and academic experts, the book describes the key epidemiologic features of NCDs and evidence-based interventions in a concise manner that will be useful for policymakers across all parts of society, as well as for public health and clinical practitioners

Software test and evaluation study phase I and II : survey and analysis

Issued as Final report, Project no. G-36-661 (continues G-36-636; includes A-2568