Medical cyber-physical systems (MCPS) are life-critical, context-aware, networked systems
of medical devices. These systems are increasingly used in hospitals to provide high-quality …

Context: Design models are essential for multiple tasks in software engineering, such as
consistency checking, code generation, and design-to-code tracing. Almost all of these …

Multimedia applications usually have throughput constraints. An implementation must meet
these constraints, while it minimizes resource usage and energy consumption. The compute …

Multimedia applications usually have throughput constraints. An implementation must meet
these constraints, while it minimizes resource usage and energy consumption. The compute …

The component-based strategy aims at managing complexity, shortening time-to-market,
and reducing maintenance requirements by building systems with existing components. The …

This paper presents our effort of using model-driven engineering to establish a safety-
assured implementation of Patient-Controlled Analgesic (PCA) infusion pump software …

Model-Driven Design (MDD) of cyber-physical systems advocates for design procedures
that start with formal modeling of the real-time system, followed by the model's verification at …

We demonstrate by a case study of an industrial distributed system how performance,
resource consumption, and deployment on the cloud can be formally modeled and analyzed …

The model-based approach has been widely applied to the design of software. However,
most of these approaches depend on simulation and manual code implementation, which …

Oris is a tool for qualitative verification and quantitative evaluation of reactive timed systems,
which supports modeling and analysis of various classes of timed extensions of Petri Nets …