赵林

博士、讲师、讲师

基本信息

办公电话：51684971-8037 电子邮件： lzhao3@bjtu.edu.cn
通讯地址： 邮编：

教育背景

      9/2003 – 6/2008 中国科学院研究生院，成都计算机应用研究所

      硕士、博士，计算机软件与理论专业

      9/1998 – 6/2002 湘潭大学

      学士，计算机科学与技术专业


      目前在北京交通大学轨道交通控制与安全国家重点实验室的复杂系统分析和验证研究小组，主要工作是研究实时系统、混成系统的建模和验证方法，并探讨这些理论和方法在列控系统设计中的应用。

工作经历

研究方向

招生专业

科研项目

  1. 基本科研业务费：一种基于形式化模型的一致性测试方法及其在高速铁路列控系统安全功能测试中的应用，2014-01-15--2015-12-31，8.0万元，参加
  2. 国家自然科学基金"青年基金"：基于模型的列控系统功能一致性测试研究，2014-01-01--2016-12-31，23.0万元，参加
  3. 北京交通大学：轨道交通自动化研究所，2013-01-05--2017-12-31，1500.0万元，参加
  4. 国家重点实验室：面向列控系统的运行监控技术研究，2013-01-01--2014-12-31，15.0万元，主持
  5. 国家重点实验室：多形式化融合的高速铁路列控系统概率安全评估与论证研究，2013-01-01--2014-12-31，15.0万元，参加
  6. 北京市教委：城市轨道交通北京实验室，2012-08-01--2013-12-31，700.0万元，参加
  7. 国际科技合作计划：高速铁路运行控制系统安全分析及设计平台，2012-01-01--2015-04-30，185.0万元，参加
  8. 科技部“863”：高速铁路信号系统安全认证和评估技术研究，2012-03-27--2014-12-31，481.0万元，参加
  9. 基本科研业务费：高速铁路列控系统形式化设计与验证方法的研究，2012-01-01--2013-12-01，8.0万元，参加
  10. 国家重点实验室：北京交通大学红果园“双百”人才计划D类，2010-06-01--2013-05-31，4.5万元，参加
  11. 国家重点实验室：高速铁路列车运行控制系统分层形式化建模与验证方法的研究，2012-01-01--2014-01-01，3.0万元，参加
  12. 国家重点实验室：CBTC系统基础理论、关键技术与集成方法研究，2011-09-01--2012-09-01，21.0万元，参加
  13. 国家重点实验室：高速铁路运行控制系统成果凝练，2011-09-01--2012-09-30，21.0万元，参加
  14. 基本科研业务费：面向列控系统的建模与验证关键技术研究，2011-07-01--2013-06-30，7.0万元，主持
  15. 科技部“863”：轨道交通CPS系统的感知、运行和安全技术应用验证（安全技术分析平台），2011-06-27--2013-12-31，103.0万元，主持
  16. 国家重点实验室：列车运行控制的基础理论与关键技术研究，2011-01-01--2012-12-31，40.0万元，参加
  17. 国际合作：安全苛求混合系统的建模与验证，2009-12-01--2011-11-30，110.0万元，参加
  18. 博士点基金：嵌入式软件设计验证与评估若干关键问题研究，2010-01-01--2012-12-31，6.0万元，参加
  19. 科技部“科技支撑”：CTCS-3级列控系统测试评估认证平台及评估测试（系统规范），2009-01-01--2011-12-31，1271.15万元，参加
  20. 国家自然科学基金“面上”：微分半代数程序模型的等价及等价谱系，2010-01-01--2012-12-31，32.0万元，参加
  21. 国家重点实验室：基于模型驱动架构的复杂系统设计基础理论与关键算法研究，2009-04-01--2012-03-31，80.0万元，参加
  22. 国家重点实验室：基于多值语义的运行时验证理论及其在列车运行控制系统中的应用，2009-04-01--2011-03-31，5.0万元，主持
  23. 国家自然科学基金“面上”：复杂并发系统验证和评估分析的代数符号化理论与方法，2009-01-01--2011-12-31，35.0万元，参加

教学工作

授课“系统可靠性理论”课程：

2010-2011 北京交通大学远程与继续教育学院，32学时。

2011-2012 第二学期研究生函授班，16学时。

2012-2013 研究生承德函授班，32学时。

论文/期刊

  1. 期 刊-> 赵林，唐涛.Supporting the Formal Analysis of System Requirements Model[J]。Journal of Convergence Information Technology，2013-01，6（8），546：552
  2. 期 刊-> 赵林，唐涛,程瑞军,何丽芸.Property Based Requirements Analysis for Train Control System[J]。Journal of Computational Information Systems，2013-03，3（ 9），915：922
  3. 期 刊-> 刘金涛，唐涛,赵林,刘玉鹏.基于微分动态逻辑的无线闭塞中心交接协议建模与验证[J]。中国铁道科学，2012-09，33（5），98：104
  4. 期 刊-> 赵林，唐涛,徐田华,柴铭,李宪.运行时验证及其在列车运行控制系统中的应用[J]。铁道学报，2011-12，第33卷，第12期（1001-8360），65：71
  5. 期 刊-> 柴铭，李宪,赵林.RUNTIME VERIFICATION BASED ON 4-VALUED PAST TIME LTL[J]。American Journal of Engineering and Technology Research，2011-08，9（11），2286：2291
  6. 期 刊-> 唐涛，徐田华,赵林,谢雨飞,李开成.CTCS-3级列控系统规范建模与验证[J]。铁道通信信号，2010-12，46（4），
  7. 期 刊-> 赵林，吴尽昭.基于吴方法的多值模型检验[J]。系统科学与数学，2009-12，第28卷（第8期），
  8. 会议论文-> 刘金涛，唐涛,赵林,徐田华,郑伟1.Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata。15th IEEE Computer Society symposium on object/component/service-oriented realtime distributed computing ，深圳，7：7，2012-05
  9. 会议论文-> 李宪，柴铭,赵林,唐涛,徐田华.Safety Monitoring for ETCS with 4-valued LTL。10th International Symposium on Autonomous Decentralized Systems，东京，86：86，2011-03
  10. 会议论文-> 刘玉鹏，唐涛,刘金涛,赵林,徐田华.Formal modeling and verification of RBC handover of ETCS using Differential Dynamic Logic。10th International Symposium on Autonomous Decentralized Systems ，东京，67：67，2011-03
  11. 会议论文-> 赵林，唐涛,徐田华,吴尽昭.Runtime Verification with Multi-Valued Formula Rewriting。4th IEEE International Symposium on Theoretical Aspects of Software Engineering，台湾，台北市，台湾大学，2010-12
  12. 会议论文-> 谢雨飞，唐涛,徐田华,赵林.Research on requirement management for complex systems。2010 2nd International Conference on Computer Engineering and Technology (ICCET)，成都，2010-12
  13. 会议论文-> 柴铭，赵林,唐涛.Safety Monitoring of Communication Session for CTCS-3。Proceedings of 2010 Cross-Strait Conference on Information Science and Technology. 2010，秦皇岛，2010-12

专著/译著

  1. 唐涛，徐田华,赵林.列车运行控制系统规范建模与验证[M]。国内:中国铁道出版社，2010-06

  2. 唐涛，赵林，徐田华，吕继东，牛儒，张路. 基于模型的列车运行控制系统设计与验证方法[M]. 北京：铁道出版社，2012.



专利

软件著作权

1 列控系统需求验证系统V1.0，登记号2012SR041688.

2 列控系统混成特性建模分析系统V1.0，登记号2012SR042179 .

获奖与荣誉

社会兼职