首页/师资力量/教师名录/计算机技术与科学

总体介绍

姓名:蔡 浩
职称:教授


联系方式
办公室:工学院工南203室
Email: haocai@stu.edu.cn

 


 


简介

 

 

蔡浩博士, 英国工程技术学会会员, 2005年获得英国约克大学计算机系实时系统博士学位.  最先提出并论证一个可预测的两层优先级并加入预算的调度模型.  通过实际的应用验证了所提出的调度模型有效性和正确性, 调度性分析方法的正确性.  为混合高安全实时系统的实际应用提供了理论基础, 该调度方法现广泛应用于大型复杂高安全软件系统中.

 

教育科研背景
06/2012 – 现在,汕头大学工学院,计算机系,教授
职责:参与并负责实时动态列车安全及撞车预防系统项目策划, 设计与实施. 主要从事复杂实时高安全系统工程领域的科研, 教学工作。重点包括以下几个领域:
- 实时高安全系统和相关的编程语言
- 实时高安全系统的工程设计方法
- 容错系统的硬件和软件的开发,和软硬件协同设计

08/2008 – 06/2012,高级软件工程师,咨询师,技术总监
单位:Altran Praxis Ltd- 嵌入式安全和紧急系统工程领域的国际领先企业
职责:参与并负责英国国家最新空中交通管制系统 NATS Air Traffic Control System iFACTS项目策划, 设计与实现.  NATS iFACTS 系统是目前国际最先进空中交通管制系统,是航空工业近10年来的最大的一次技术革新。 iFACT 系统给予飞行控制员及时的预警,避免飞行碰撞的发生。 iFACTS 项目总投资超过千万英磅. 在此项目中,我担任核心系统 - 引擎(FWP Engine)技术总监

08/2005 – 08/2008 研究员,博士生导师,实时组博士评审委员会委员
单位:London Metropolitan University, UK,伦敦城市大学, http://www.londonmet.ac.uk
主要研究领域 - 动态实时高安全系统, 实时嵌入式系统,多核计算机系统
职责: 参与欧洲六框架下的科研项目(ON-Board Active Safety System- ONBASS)与来自欧盟五个国家的工程师,科学家合作开发下一代普通飞机安全系统; 负责欧盟科研项目策划, 计划, 执行, 研发;科研经费超过 3 百万欧元; 指导硕士,博士生研究和实时高安全系统相关课程教学。

10/2001 – 08/2005 助教, 博士研究生
单位:The University of York, http://www.york.ac.uk, UK, 英国约克大学。
职责:参与欧洲六框架下的科研项目 (Java for High Integrity Real-time Systems – HIJA). 英国 York 大学计算机系 Real-time Systems Group (www.cs.york.ac.uk/rts) 作为世界著名的研究小组, 一直走在实时系统研究最前沿. HIJA 项目超过 2 百万欧元的欧盟科研经费. 在此项目中,与美国著名的 TimeSys Corporation 实时系统公司,美国 Jet Propulsion Laboratory (JPL)-美国宇航局的一个应用研究中心, Carnegie Mellon University 和 Sun Microsystems 合作来完成新的火星探测器计划 “Golden Gate Project”.

 

 研究领域
软件/硬件协同设计容错计算机系统
 - 高完整性的实时系统的工程方法
 - 低功耗移动和嵌入式计算系统
 - 高完整性,实时系统的硬件和软件架构
 - 高完整性,实时系统的多核心计算机
 - 可靠分布式计算系统

讲授课程
    软件工程

科研成果
2008 – 2012 iFACTS Project
主要成果:
• 提出并进一步论证了两层固定优先级并加入预算的实时调度方法, 为混合高安全实时系统提供了理论基础;
• 成功的在Spark Ada 系统中实现我所提出的新的实时调度方法,并且广泛应用于大型高安全实时系统中(包括英国最新空中交通管制系统);
• 论证正规化方法 (Formal Methods) 在大型高安全软件工业领域中的实际应用。使用Z和 SPARK Ada 应用于英国最新空中交通管制系统开发, 主持目前软件工业领域最大规模使用正规化方法。 证实了正规化方法是提高大型软件质量,降低软件开发成本的有效重要的方法。 具体的创新成果包括:
• 制定和完善整套的有效使用正规化方法开发高安全软件的流程;
• 相应的开发工具的优化,支持工具的研发;
• FWP Engine 的架构设计 (包括并行处理方法,安全分析,飞行数据处理,雷达信号处理等);
• 参与制定了整套从正规化系统设计到系统实现的大型高安全软件质量控制体系。

2005 – 2008 ON-Board Active Safety System- ONBASS
主要成果 (我作为ONBASS科研小组核心研究成员)

Hao Cai and ONBASS consortium, ON-Board Active Safety System for General Aircrafts,  2. 2008,Eurocontrol, Paris
Hao Cai and ONBASS consortium, The Hardware and Software Architectures for ONBASS, December 2007, Distributed for ONBASS consortium, 12, 2007,EuroTelematik, Germany, Ulm,
Hao Cai and ONBASS consortium, The fault tolerance CPU for ONBASS, December 2006, Distributed for ONBASS consortium, 6. 2006, ETH Zentrum, Zurich

2002-2005欧洲六框架下的科研项目 (Java for High Integrity Real-time Systems - HIJA)
Hao Cai and Andy Wellings, Temporal Isolation in Ravenscar-Java, 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 5. 2005, ISBN: 0769523560,EI
Hao Cai and Andy Wellings, Supporting Mixed Criticality Applications in a Ravenscar-Java Environments, On The Move to Meaningful Internet Systems 2004: Workshop on Java Technologies for Real-Time Embedded Systems (JRTES), Lecture Note Computer Science 3292, 10.2004 JRTES,Springer ISBN: 3-540-23664-3,SCI
Hao Cai and Andy Wellings, Real-Time Isolates Specification for Ravenscar-Java, Proceedings of the Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC, 2004,ISBN: 076952124X,EI
Hao Cai and Andy Wellings, Towards a High Integrity Real-Time Java Virtual Machine, On the Move to Meaningful Internet Systems 2003: Workshop on Java Technologies for Real-Time and Embedded Systems (JRTES), Lecture Note Computer Science  2889,p319-334, Springer, 2003,ISBN 3-540-20494-6, SCI
Hao Cai, A Virtual Machine for High Integrity Real-Time Systems,The University of York, Ph.D thesis, 2005, YCST 2005/10, The British Library

教育背景

工作背景

科研项目

智能交通安全技术研发
实时动态列车安全和碰撞预防系统
进化智能与机器人联合研究中心
广东高校数字内容版权管理及应用工程技术研究中心建设项目
一种基于智慧城市的智能安全系统
基于信息融合的轨道交通安全数据分类方法的研究
实时动态列车安全和碰撞预防系统
基于云计算的企业信息化平台安全技术研究及应用
2014年扬帆计划引进紧缺拔尖人才项目

科研论文

积木3D模型智能搭建系统主要算法的研究与设计
On Performance of Distributed Computer Systems
Modelling High Integrity Transport Systems by Formal Methods
Modelling High Integrity Transport Systems by Formal Methods
Safety Monitors for Safety-Critical Railway Systems
A Real-time Train Collision Prevention System

科研成果