Research Projects

DEIS: Dependability Engineering Innovation for Cyber Physical Systems, University of York

Nov 2018 - Feb 2019

An internship in the High Integrity System Engineering (HISE) to support with the development of the Assurance Case Modelling Environment (ACME). ACME is an integrated system assurance framework, which provides a systematic, model-based solution for system assurance. The intern will take part in the development of ACME to:

  1. Contribute to the development of graphical model editors of ACME;
  2. Develop a set of validation constraints on assurance case models to verify their correctness and completeness;
  3. Develop a set of model transformations which link components of system assurance cases to generate corresponding system assurance reports;
  4. Maintain existing model transformations for interoperability;
  5. Help maintain the existing source code.

ATAS: Adaptive Task Scheduling in Cyber-Physical Control Systems, University of York

Feb 2015 - Feb 2019

The ATAS is an adaptive scheduling framework which is formed of two sub-systems: 1) the target system and 2) the adaptation manager. As in CPS, the target system in most cases only has limited resources and computational power, it is preferable to use a distributed structure in which the computation intensive work is offloaded to a cloud computer. Multiple target systems can share one such more powerful cloud computer, and these two sub-systems are connected through network infrastructures, i.e., the Internet or local network, which are readily available in CPS.

Vision-based Vehicle Localization and Tracking Using a UAV (master thesis)

May 2014 – September 2014

Keywords: OpenCV, ROS, quadcopter, UGV, state estimation, vision feedback, AR.Drone quadcopter, 4WD UGV, Arduino Mega, Linux + ROS, C/C++, state-space modelling, PID, probabilistic estimation, vision feedback

Linux-based Autonomous Robot for Environment Monitoring (undergraduate thesis)

September 2010 – June 2011

Keywords: Embedded Linux, ARM9, AVR, robot, ultrasonic sensors, fuzzy logic control, pid control, motion control, C/C++, ARM9 (s3c2440) + embedded Linux, sockets (UDP/IP), Video for Linux (v4l), DC motors, servos, 360 degree ultrasonic sensor array, environmental sensors

Development Projects

ATB20 Automobile Terminator for Telematics

December 2012 – May 2013

Keywords: ARM Cortex-M3 (STM32F103), Sim900, GPS + COMPASS (GNSS), SPI Flash, CAN

ATC20 Automobile OBD/GPS/GPRS Gateway

July 2012 – December 2012

Keywords: ARM Cortex-M3 (STM32F103), Sim900, GPS, SPI Flash, CAN, OBD, MEMS

ZigBee-based Wireless Sensor Network (WSN) for Smart Agriculture

May 2012 – July 2012

Keywords: ARM Cortex-M3 (STM32F101), environmental sensors, weather station, ZigBee communication, GPRS, TCP/IP, Keil MDK, C

Modbus Host Protocol for Industrial Gateways

February 2012 – April 2012

Keywords: CMM201 Industrial Router (Cortex-M3, LPC1769), CMM401 (ARM9, AT91SAM9), RS232/485, Modbus, Ethernet (uIP), ARM MDK, C

Modbus Communication Protocol for NA-VIEW0701 HMI

October 2011 – February 2012

Keywords: HMI (NA-VIEW0701, ARM9-based), Modbus protocol, WinCE

Automated Test System for NA Series PLC Manufacturing

June 2011 – November 2011

Keywords: PLC (NA200 Series), GUI (Windows), Windows MFC, Windows Visual Studio, C++, XML, SQLite database, serial communication, TCP/IP

Portable Training Load Assessment Instrument

May 2010 – February 2011

Keywords: MSP430, ECG, DSP, low-power

In this project, we designed a portable instrument that is used for evaluating the training load level after some exercises. An evaluation model is proposed based on heart rate that is measured from an electrocardiography (ECG) sensor. The measured metric and the corresponding category is then displayed on the build-in LCD.

The design objective is to make a lightweight equipment that can be used in an open training ground where no power is supplied. To satisfy the requirement and increase the usage time, we designed a low-power system that uses TI MSP430F149 and an ECG sensor. Many techniques are involved in this project: low-power design, DSP, LCD, GUI, PCB, IAR and C programming.

This project is collaborated with two professors at the University and fully funded by the local government. A paper is submitted and accepted based on this work.