Dataset Information

A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints.

ABSTRACT: Model-Driven Engineering (MDE) is widely applied in the industry to develop new software functions and integrate them into the existing run-time environment of a Cyber-Physical System (CPS). The design of a software component involves designers from various viewpoints such as control theory, software engineering, safety, etc. In practice, while a designer from one discipline focuses on the core aspects of his field (for instance, a control engineer concentrates on designing a stable controller), he neglects or considers less importantly the other engineering aspects (for instance, real-time software engineering or energy efficiency). This may cause some of the functional and non-functional requirements not to be met satisfactorily. In this work, we present a co-design framework based on timing tolerance contract to address such design gaps between control and real-time software engineering. The framework consists of three steps: controller design, verified by jitter margin analysis along with co-simulation, software design verified by a novel schedulability analysis, and the run-time verification by monitoring the execution of the models on target. This framework builds on CPAL (Cyber-Physical Action Language), an MDE design environment based on model-interpretation, which enforces a timing-realistic behavior in simulation through timing and scheduling annotations. The application of our framework is exemplified in the design of an automotive cruise control system.

SUBMITTER: Sundharam SM

PROVIDER: S-EPMC5856116 | biostudies-literature | 2018 Feb

REPOSITORIES: biostudies-literature

ACCESS DATA

Publications

A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints.

Sundharam Sakthivel Manikandan SM Navet Nicolas N Altmeyer Sebastian S Havet Lionel L

Sensors (Basel, Switzerland) 20180220 2

Model-Driven Engineering (MDE) is widely applied in the industry to develop new software functions and integrate them into the existing run-time environment of a Cyber-Physical System (CPS). The design of a software component involves designers from various viewpoints such as control theory, software engineering, safety, etc. In practice, while a designer from one discipline focuses on the core aspects of his field (for instance, a control engineer concentrates on designing a stable controller), ...[more]

PMID: 29461489

Similar Datasets

Project description:Background Continual improvements to health systems, products, and services are necessary for improvements in health. However, many of these improvements are not incorporated into everyday practice. When designing new health systems, products, and services, involving members of the healthcare community and the public with personal healthcare experience can help to make sure that improvements will be useful and relevant to others like them. Methods Together with healthcare workers and family members with healthcare experience, we developed and applied a step-by-step guide to involving those with personal experience in the design of health system improvements. Results Our guide has three phases- 'Pre-Design', 'Co-Design', and 'Post-Design'. This paper describes each of these phases and illustrates how we applied them to our own project, which is to use virtual healthcare methods to improve care for children with chronic healthcare conditions and their families. In our own work, we found that healthcare workers and family members with personal healthcare experiences were able to use their knowledge and creativity to help us imagine how to improve care for children with chronic healthcare conditions and their families. We have created action items from these family member- and healthcare worker-identified needs, which we will use to shape our virtual healthcare system. Conclusions This paper may be useful for those seeking to involve members of the healthcare community and the public in the creation of better healthcare systems, products, and services. Background Challenges with the adoption, scale, and spread of health innovations represent significant gaps in the evidence-to-practice cycle. In the health innovation design process, a lack of attention paid to the needs of end-users, and subsequent tailoring of innovations to meet these needs, is a possible reason for this deficit. In the creative field of health innovation, which includes the design of healthcare products, systems (governance and organization mechanisms), and services (delivery mechanisms), a framework for both soliciting the needs of end-users and translating these needs into the design of health innovations is needed. Methods To address this gap, our team developed and applied a seven-step methodological framework, called A Generative Co-Design Framework for Healthcare Innovation. This framework was developed by an interdisciplinary team that included patient partners. Results This manuscript contributes a framework and applied exemplar for those seeking to engage end-users in the creative process of healthcare innovation. Through the stages of 'Pre-Design', 'Co-Design', and 'Post-Design', we were able to harness the creative insights of end-users, drawing on their experiences to shape a future state of care. Using an expository example of our own work, the DigiComp Kids project, we illustrate the application of each stage of the Framework. Conclusions A Generative Co-Design Framework for Healthcare Innovation provides healthcare innovators, applied health science researchers, clinicians, and quality improvement specialists with a guide to eliciting and incorporating the viewpoints of end-users while distilling practical considerations for healthcare innovation and design.

Project description:One of the key challenges in current cancer research is the development of computational strategies to support clinicians in the identification of successful personalized treatments. Control theory might be an effective approach to this end, as proven by the long-established application to therapy design and testing. In this respect, we here introduce the Control Theory for Therapy Design (CT4TD) framework, which employs optimal control theory on patient-specific pharmacokinetics (PK) and pharmacodynamics (PD) models, to deliver optimized therapeutic strategies. The definition of personalized PK/PD models allows to explicitly consider the physiological heterogeneity of individuals and to adapt the therapy accordingly, as opposed to standard clinical practices. CT4TD can be used in two distinct scenarios. At the time of the diagnosis, CT4TD allows to set optimized personalized administration strategies, aimed at reaching selected target drug concentrations, while minimizing the costs in terms of toxicity and adverse effects. Moreover, if longitudinal data on patients under treatment are available, our approach allows to adjust the ongoing therapy, by relying on simplified models of cancer population dynamics, with the goal of minimizing or controlling the tumor burden. CT4TD is highly scalable, as it employs the efficient dCRAB/RedCRAB optimization algorithm, and the results are robust, as proven by extensive tests on synthetic data. Furthermore, the theoretical framework is general, and it might be applied to any therapy for which a PK/PD model can be estimated, and for any kind of administration and cost. As a proof of principle, we present the application of CT4TD to Imatinib administration in Chronic Myeloid leukemia, in which we adopt a simplified model of cancer population dynamics. In particular, we show that the optimized therapeutic strategies are diversified among patients, and display improvements with respect to the current standard regime.

Dataset Information

A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints.

Publications

A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints.

Similar Datasets

OmicsDI is part of the ELIXIR infrastructure

Tweets