职称：教授



联系方式：
办公室：工学院工南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 Safe