杨志斌研究生导师介绍
姓名杨志斌 性 别:  行政职务 :
专业技术职务副教授 办公电话 导师类别硕士生导师
最后学历博士毕业 最后学位博士 最后毕业学校北京航空航天大学
电子邮件yangzhibin168@163.com  
工作单位计算机科学与技术学院    
学科研究方向一:
专业名称软件工程 (招收硕士研究生)                                                                  学科代码11083500
大数据/智能化软件工程、安全关键嵌入式软件(safety-critical software)、模型驱动开发方法、需求工程、形式化方法
个人简历(学历、学术经历及社会兼职):

杨志斌,男,博士,南京航空航天大学计算机学院副教授。长期从事安全关键嵌入式软件及形式化方法研究。


20122月在北京航空航天大学计算机学院获博士学位。20124月-201412月在法国图卢兹大学作博士后研究,博士后期间,获得一项法国航空航天基金(STAE)资助(2013.72014.6)。作为主要科研人员,先后参加了国家自然科学基金面上项目、航空科学基金、国家863重大项目子课题、军口863、航天合作项目等课题。2015年3月到南航工作,目前主持国家自然科学青年基金、GF科技基础研究重点项目、装发共性技术预研、江苏省自然科学青年基金、航空科学基金、软件开发环境国家重点实验室开放基金、国家博士后基金等课题。在Journal of Systems and Software等国际期刊和国际会议发表论文30余篇。AADL国际标准委员会委员、中国计算机学会抗恶劣计算机专委委员、中国计算机学会形式化方法专委委员。


ACM Trans. on Embedded Computing Systems(TECS)、Frontiers of Computer Science(FCS)、Science in China、软件学报等期刊会议审稿人。


 


主讲课程:本科生《编译原理》《编译原理课程设计》(2015年秋季、2016年秋季、2018年秋季)



发表学术论文,出版专著情况:
SCI期刊论文:
1)Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali.MinSIGNAL: Towards a Simple and Safe Compiler for the Synchronous Language SIGNAL in Objective Caml. 2017.3. SCI
2) Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali,Kai Hu, Yongwang Zhao, Dianfu Ma. Towards a Verified Compiler Prototype for the Synchronous Language SIGNAL. Frontiers of Computer Science10(1):37-53(2016), SCI
3) Yongwang Zhao, Zhibin Yang, Dianfu Ma. A survey on formal specification and verification of separation kernels.Frontiers of Computer Science. 2016.SCI
4) Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin: From AADL to Timed Abstract State Machines: A verified model transformation. Journal of Systems and Software 93: 42-68 (2014), SCI
5) Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali: A comparative study of two formal semantics of the SIGNAL language. Frontiers of Computer Science 7(5): 673-693 (2013),SCI
6) Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai: Exploring AADL verification tool through model transformation. Journal of Systems Architecture - Embedded Systems Design 61(3-4): 141-156 (2015). SCI.
7) Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang: Towards a verified transformation from AADL to the formal component-based language FIACRE. Science of Computer Programming. 106: 30-53 (2015). SCI.
8) Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai: Simulation of real-time systems with clock calculus. Simulation Modelling Practice and Theory 51: 69-86 (2015). SCI.
9) Kai Hu, Teng Zhang, Zhibin Yang: Multi-threaded code generation from Signal program to OpenMP. Frontiers of Computer Science 7(5): 617-626 (2013).SCI.
10) Yinling Liu, Guohua Shen, Zhiqiu Huang, Zhibin Yang: Quantitative risk analysis of safety-critical embedded systems. Software Quality Journal 25(2): 503-527 (2017)

国内期刊论文:
11) 杨志斌, 袁胜浩, 谢健, 周勇, 陈哲, 薛垒, BODEVEIX Jean-Paul, FILALI Mamoun.一种同步语言多线程代码自动生成方法. 软件学报. 2018.
12) 王飞,杨志斌,黄志球等. 基于限定自然语言需求的AADL模型生成方法. 软件学报. 2017.
13) 杨志斌, 赵永望,黄志球, 胡凯, 马殿富, Bodeveix Jean-Paul, Filali Mamoun.同步语言的时间可预测多线程代码生成方法。软件学报2016,27(3):611-8722;632.
14) 杨志斌, 胡凯, 赵永望, 马殿富, Jean-Paul Bodeveix. 基于时间抽象状态机的AADL模型验证. 软件学报. Vol.25, No.2, 2015.
15) 杨志斌, 皮磊, 胡凯, 顾宗华, 马殿富. 复杂嵌入式实时系统体系结构设计与分析语言: AADL. 软件学报, Vol.21, No.5, May 2010, pp. 899-915.
16)胡凯, 张 腾, 尚利宏,杨志斌, Jean-Pierre Talpin. 面向同步规范的并行代码自动生成方法. 软件学报, 2016.

会议论文:
17) Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, et al. Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. 16th ACM-IEEE International Conference on Formal Methods and Models for System Design. 2018.
18) Zhibin Yang. A Practical AADL Study in Aerospace Software: from Requirement to Implementation. Memocode 2018.
19) Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang: Parametric Runtime Verification of C Programs. TACAS 2016: 299-315
20) Yongwang Zhao, Zhibin Yang, David Sanán:Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B. 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), NOVEMBER 2–5, 2015, GAITHERSBURG, MD, USA.
21) Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali. Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties. Architecture Centric Virtual Integration (ACVI) Workshop of ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain. 09/2014.(会议最佳论文)
22) Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma. A Verified Transformation: from Polychronous Programs to a Variant of Clocked Guarded Actions. Proceedings of 17th International Workshop on Software and Compilers for Embedded Systems, SCOPES’14, Sankt Goar, Germany, 10/06/2014-11/06/2014, ACM,128-137.
23) Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin. Two formal semantics of a subset of the AADL. Proceedings of 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, 344-349.
24) Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi. Towards a formal semantics for the AADL behavior annex. Proceedings of 2009 Design, Automation and Test in Europe Conference and Exhibition, DATE'09, 1166-1171.
25) Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi, Jean-Paul Bodeveix. Formal Semantics and Verification of AADL Modes in Timed Abstract State Machine. IEEE International Conference on Progress in Informatics and Computing (PIC). 1098-1103. 2010.
26) Lei Pi, Zhibin Yang, J-P Bodeveix, M. Filali, Kai Hu, Dianfu Ma. A comparative study of FIACRE and TASM to define AADL real time concepts. 14th IEEE International Conference on Engineering of Complex Computer Systems. 347-352. 2009.


科研成果获奖及专利:
1.杨志斌,马燕燕等. 面向安全关键嵌入式系统的SysML实时性扩展及AADL模型自动转换方法.
2.杨志斌,李文心,王铁鑫等. 一种面向航天应用的AADL模型求精及其支持的C代码自动生成方法.
3.杨志斌,刘承威等. 非形式化需求规约模板到形式化设计模型的自动转换方法. 201711297282.6
4.杨志斌,袁胜浩等. 一种基于图形化卫式命令演算的多任务编译方法. 201810045360.1.
5.杨志斌,袁胜浩等. 一种同步数据流语言的形式化编译方法. 201610832046.9.
6.杨志斌,许金淼等. 一种图形化AADL功能行为建模方法.
7.Kai Hu, Shu Jiang, Zhibin Yang, Bin Gu, Panchang Jiang, Teng Zhang. A Model Transformation Method: AADL2TASM. Chinese Patent (CN102520925 B).
8.Kai Hu, Teng Zhang, Zhibin Yang, Bin Gu, Shu Jiang, Panchang Jiang. A Model Transformation Method: TASM2UPPAAL. Chinese Patent (CN102609260 A).

软件著作权 4项

承担的科研项目情况:
目前主持的部分项目:
1)装发共性技术预研子课题,150万,2018.1-2020.12,主持
2)国家自然科学基金(青年),面向安全关键系统的时间可预测多核代码生成方法研究,2016.1-2018.12, 23.8万元,主持
3)GF基础研究重点项目,2016.1-2018.12, 200万元(项目总经费650万元),主持
4)江苏省自然科学基金(青年),2015.7-2018.6, 20万元,主持
5)航空科学基金,2015.10-2017.9,10万元,主持
6)(北京航空航天大学)软件开发环境国家重点实验室开放课题,2015.3-2017.1, 10万元,主持
7)(华东师范大学)上海市高可信计算重点实验室开放课题,2015.7-2017.6,主持

8)南京航空航天大学教师教学能力提升研究课题,面向高安全系统软件工程的科研教学相促机制研究与实践,2017.1-2018.12,主持

目前参与的项目:
1)中法国际联合实验室项目:CONVEX:Compositional Verification of Cyber-Physical Systems, 2018.6- http://liama.ia.ac.cn/ShowNewsContent.aspx?newsid=130
2)国家重点研发计划,“基于大数据的软件智能开发方法和环境”项目(北京大学牵头)子课题“复杂软件分析与验证智能化关键技术与支撑环境”(南京大学牵头),2016.7-2019.6.

参与过的部分项目:
1)法国航空航天基金,实时可靠嵌入式网络系统(TORRENTS-TOAST) 2013.7-2014.6,3.2万欧元。
2)国家自然科学基金面上项目,面向航空关键系统的AADL转换语义及其特性保持证明研究,2011.1-2013.12,30万元,主要科研人员。
3)北京神舟航天软件技术有限公司合作项目,基于模型的安全关键软件开发工具研究,2014.12-2015.12,30万元,主要科研人员。
4)航天502所合作项目,2010.9-2011.9,30万元,主要科研人员。
5)航空基金,2012.10-2014.10,10万元,主要科研人员。
6)航空基金,2008.10-2010.10,10万元,主要科研人员。
7)航空基金,2007.10-2009.10,10万元,主要科研人员。
8)航空基金,2006.10-2008.10,10万元,主要科研人员。
指导研究生情况:

目前组建了一支由4名博士生、7名硕士生、5名本科生组成的安全关键软件研究组,每周五例会。
备注:

邀请国内外著名专家,组织安全关键软件系列讲座:1) 2015.9,法国国家信息与自动化研究所INRIA,Thierry Gautier研究员,Polychrony: A Model and an Open-source Toolset for Safety-critical System Design2)2015.11, 中科院软件所,李广元研究员,时间Büchi自动机的模型检测3)2016.4.17-2016.4.28,法国图卢兹大学,Mamoun Filali研究员,Jean-Paul Bodeveix教授,Introduction to the functional language: OCAML,Introduction to the formal development method B,Introduction to the proof assistant Coq4)2016.4,国家千人计划专家,陈钢教授,一种基于梯形图仿真的PLC程序测试方法5)2016.6, 国家千人计划专家,刘志明教授,Design by Contract of Evolving Component-Based Architectures6)2016.12,北京航空航天大学,赵永望副教授,报告题目1:符合工业标准的操作系统内核形式规约与安全分析,报告题目2:形式化方法: Event-B理论与实践. 7) 2017.5.4,法国国家信息与自动化研究所INRIA Jean-Pierre Talpin教授,报告题目为System integration using mathematics and logic: Formal methods for CPS design。8) 2018.4.27-2018.5.10,法国图卢兹大学,Mamoun Filali研究员,Jean-Paul Bodeveix教授

欢迎对航空航天软件事业有兴趣、积极主动、努力刻苦的研究生和高年级本科生(大三、大四)!优秀学生有到国外学习交流的机会。