Skip to content
@ReFLEX-Lab-York

ReFLEX Lab

ReFLEX: Real-Time & Flexible Cyber-Physical Systems Lab @ University of York

ReFLEX Lab York

ReFLEX: Real-Time & Flexible Cyber-Physical Systems Lab @ University of York

Homepage: https://www.xiaotiandai.com/lab/

At Real-Time and Flexible Cyber-Physical Systems (ReFLEX) Lab, we focus on advancing real-time and embedded systems across topics like scheduling on many-core architectures, harnessing digital twins for performance gains, ensuring reliable timing in robotics and AI, verifying long-lived cyber-physical systems, and innovating hardware for real-time and IoT solutions. Typical target systems of the lab include autonomous driving, avionic and aerospace control systems, robotic warehouse, virtual production and transportation. By blending theory and practice, we aim to push the boundaries of computing and deliver safer, more efficient technologies that can serve both industry and society.

Our lab leverages digital twin technology to build real-time virtual replicas of embedded and cyber-physical systems, enabling runtime monitoring, scheduling optimisation, and verification of timing properties. We also develop novel scheduling algorithms and resource allocation strategies for safety-critical platforms, from multi-core processors and networks-on-chip to multi-robot systems and autonomous vehicles.

Pinned Loading

  1. dag-gen-rnd dag-gen-rnd Public

    Forked from automaticdai/dag-gen-rnd

    dag-gen-rnd: A randomized Multi-DAG task generator for scheduling and allocation research

    Python

  2. dag-scheduling-analysis dag-scheduling-analysis Public

    Forked from automaticdai/dag-scheduling-analysis

    Experiments and evaluation for the paper "DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency", RTSS 2020. (artifacts evaluation passed)

  3. dual-period dual-period Public

    Forked from automaticdai/research-dual-period

    MATLAB & Simulink code of paper “Exploiting a Dual-Mode Strategy for Performance-Maximization and Resource-Efficient CPS Design”, EMSOFT, 2019.

    MATLAB

  4. mcs-ap-analysis mcs-ap-analysis Public

    Forked from automaticdai/research-mcs-ap-analysis

    Experiment code for the analysis in "HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems". RTSS 2021

    Python

  5. sched-tsn sched-tsn Public

    Forked from automaticdai/research-sched-tsn

    Experiment code (MATLAB) for "Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Network", ICCAD, 2020.

    MATLAB

Repositories

Showing 10 of 14 repositories

Top languages

Loading…

Most used topics

Loading…