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:
- Contribute to the development of graphical model editors of ACME;
- Develop a set of validation constraints on assurance case models to verify their correctness and completeness;
- Develop a set of model transformations which link components of system assurance cases to generate corresponding system assurance reports;
- Maintain existing model transformations for interoperability;
- 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
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.