Works

1. Timing equivalence of simulation and real time of CPAL - Demo at RTAS 2016

2. Scheduler synthesis framework development for real-time scheduling algorithms - WiP at RTAS 2016

3. A case for FIFO scheduling - ECRTS 2016

4. Co-simulation of CPAL in to MLSL - ISED 2016

5. A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints - Sensors 2017 - 18

6. System-Level Co-simulation of a Latency-Sensitive Networked Control System - 2018

7. Automated Traceability of High level Non-functional Requirements to Low-level Model - 2018