Towards Customizable CPS: Composability, Efficiency and Predictability

  title={Towards Customizable CPS: Composability, Efficiency and Predictability},
  author={Wang Yi},
  • W. Yi
  • Published in ICFEM 13 November 2017
  • Computer Science
Today, many industrial products are defined by software, and therefore customizable by installing new applications on demand - their functionalities are implemented by software and can be modified and extended by software updates. This trend towards customizable products is extending into all domains of IT, including Cyber-Physical Systems (CPS) such as cars, robotics, and medical devices. However, these systems are often highly safety-critical. The current state-of-practice allows hardly any… 

Towards Digital Twins for the Description of Automotive Software Systems

This work presents a modeling approach for software deployment taking different automotive requirements such as criticality, latency, memory, computational resources, and communication into account, and highlights connected research areas and challenges.

MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems

A model-based approach is enabled for not only building systems but also updating them after deployment, allowing for efficient analysis techniques such as model-in-the-loop simulation to verify the complete behaviour of the updated system.

Blech, Jan Towards Digital Twins for the Description of Automotive Software Systems

This material is protected by copyright and other intellectual property rights, and duplication or sale of all or part of any of the repository collections is not permitted, except that material may be duplicated by you for your research use or educational purposes in electronic or print form.

Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication

A computationally efficient algorithm is presented that tightly over-approximates the exact worst-case reaction latency in cause-effect data-flow chains in real-time embedded systems.

Design and Dynamic Update of Real-Time Systems

  • W. Yi
  • Computer Science
    2019 IEEE Real-Time Systems Symposium (RTSS)
  • 2019
Invited Paper

Cause-Effect Reaction Latency in Real-Time Systems



Real-time interfaces for composing real-time systems

A new notion of adaptive interfaces is introduced that supports the design by providing mechanisms for propagating system constraints, such as (end-to-end) delays, available computing and communication resources, buffer spaces, and energy.

Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems

The decisions in designing the modeling language, the tool architecture and features of TIMES-Pro, and also a case study to demonstrate its applicability are presented.

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

This paper proposes an original methodology for contract-based negotiation of software updates for change after deployment in safety-critical embedded system applications and shows how to rely on existing viewpoint-specific methods for update negotiation.

Contracts for Systems Design: Theory

This paper intends to provide treatment where contracts are precisely defined and characterized so that they can be used in design methodologies such as the ones mentioned above with no ambiguity, and provides an important link between interface and contract theories to show similarities and correspondences.

Uppaal in a nutshell

A detailed user guide is given which describes how to use the various tools of Uppaal version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior, to specify and verify its safety and bounded liveness properties in terms of its model.

Synchronous Programming of Reactive Systems

This book presents a synthesis of recent works concerning reactive system design, based on Robin Milner's pioneering works about synchronous process algebras, which consists in considering that a program instantaneously reacts to events, or that the machine execution time is negligible with respect to the response delays of its environment.

Cyber-physical system design contracts

This paper shows how design contracts can facilitate interaction between 2 groups: control and software engineers and proposes guidelines on how to choose, derive and employ them.

Semantics-preserving multitask implementation of synchronous programs

An intertask communication protocol, called DBP, that is semantics-preserving and memory-optimal, which guarantees semantical preservation under all possible triggering patterns of the synchronous program and works under both fixed priority and earliest-deadline first scheduling.

Refinement of Workload Models for Engine Controllers by State Space Partitioning

An engine control application where the behavior of engine controllers depends on the engine's rotational speed is studied, and it is shown how DRT models can be refined by finer grained partitioning of the state space of the engine to enable an exact timing analysis.

Resource Interfaces

A formalism for specifying component interfaces that expose component requirements on limited resources permits an algorithmic check if two or more components, when put together, exceed the available resources and can be used to compute the quantity of resources necessary for satisfying the requirements of a collection of components.