唐 月

发布者:付冲发布时间:2020-10-23浏览次数:1778

1.研究方向

实时系统

对于实时系统来说,系统的正确性不仅仅取决于能够计算出正确的结果,还需要结果在规定的时间范围内输出。例如,汽车的刹车系统必须在规定时间内做出反应,否则就会产生严重的后果。为了保证系统具有实时性,需要在系统设计阶段对其进行形式化的分析,从而对其实际运行时的时间性能进行预测。

  

Real-Time Systems

The correctness of a real-time system not only depends on the correctness of results, but on the time when the results are generated. For example, the braking system must respond in time, else severe consequences may happen. To guarantee the pre-defined timing constraints are satisfied, formal model and analysis of the system must be conducted during system design stage, thus predicting its timing performance when it is put into operation.

  

  

2.招生方向

实时系统,物联网相关

Real-Time Systems, Cyber-Physical Systems

  

3.学术论文

1)Yue Tang, Nan Guan, Weichen Liu, Linh Thi Xuan Phan and Wang Yi, ‘Revisiting GPC and AND Connector in Real-Time Calculus‘ in RTSS 2017. CCF A

2)Yue Tang, Yuming Jiang, Xu Jiang and Nan Guan, ‘Improving Multiprocessor Real-Time Systems with Bursty Inputs under Global EDF using Shapers‘, in ISORC 2019. Best Paper Award

3)Yue Tang, Yuming Jiang, Xu Jiang and Nan Guan, ‘Pay-burst-only-once in Real-Time Calculus‘, in RTCSA 2019.

4)Yue Tang, Yuming Jiang and Nan Guan, ‘Improving the Analysis of GPC in Real-Time Calculus‘, in SETTA 2019.

5)Xu Jiang, Jinghao Sun, Yue Tang, Nan Guan. Utilization-Tensity Bound for Real-Time DAG Tasks under Global EDF Scheduling. IEEE Trans. Computers, 2020. CCF A

  

  

研究方向关键字:

实时系统,可调度性分析

Real-time systems, schedulability analysis

  

  

个人经历

2009.08 – 2013.06, 必赢线路检测3003, 计算机科学与技术,本科

2013.09 – 2015.07, 必赢线路检测3003, 计算机软件与理论,硕士

2016.09 - 2020.01, 香港理工大学,计算机,博士

个人网址:

http://faculty.neu.edu.cn/cse/tangyue/index.html


Baidu
sogou