Special Session I

Model-based Software Safety Analysis and Evaluation (MBSSAE)
基于模型的软件安全性分析与评估(MBSSAE

With the widespread application of model-based systems engineering, model-based software engineering (MBSwE) has become a new development paradigm and model-based safety analysis methods have gradually emerged. Model based safety analysis and evaluation can automatically identify key points, important points, vulnerable points and sensitive points of the system, and find deep defects or bugs. However, how to ensure the adequacy, integrity and consistency of safety analysis at both model level and code level is still an open challenge. The MBSSAE special session seeks to bring together academic researchers and industry practitioners together to discuss cutting-edge theories, methods, and technologies to explore and inspire the innovative ideas and advanced solutions in the related fields.

随着基于模型的系统工程的广泛应用,基于模型的软件工程(MBSwE)成为一种新的开发方式,基于模型的软件安全性分析也逐渐兴起。

基于模型的软件安全性分析与评估可以自动识别系统的关键点、重要点、脆弱点和敏感点,发现深层次缺陷和漏洞。然而,如何在模型层面和代码层面同时保证充分性、完整性和一致性仍是一个难题。

MBSSAE专题致力于在将学术界和工业界从业者聚集在一起,讨论前沿理论、方法和技术,以探索和启发相关领域的创新理念和先进解决方案。

Related topics:


 

Chair:

Shunkun Yang received the B.S., M.S., and Ph.D. degrees in School of Reliability and Systems Engineering from Beihang University, Beijing, China, in 2000, 2003, and 2011, respectively. Since 2016, he has been an Associate Research Professor with Beihang University. He was also an Associate Research Scientist with Columbia University, New York, NY, USA, through September 2014 to September 2015. He has published more than 70 academic papers indexed by SCI, EI or ISTP, 1 monograph (associate editor), 50 granted patents and 17 authorized software copyrights. Furthermore, he has won the National Industry Science and Technology Progress 1rd award (2010, 2011 and 2019 respectively). He is now the senior member of IEEE, CCF, and China Academic of Aeronautics. He majors in testing, diagnosis and analysis for complex systems by AI, deep learning, formal methods, complex network, etc.
杨顺昆,北京航空航天大学高级工程师、博导,美国哥伦比亚大学访问学者(
2014.9-2015.9),分别于2000年,2003年和2011年在北京航空航天大学可靠性与系统工程学院获得学士、硕士和博士学位。发表超过70SCI/EI/ISTP学术论文,出版专著1部(副主编),授权发明专利50项,登记软件著作权17项。获国防科技进步一等奖3次(2010年,2011年,2019年),IEEECCF、中国航空学会高级会员。主要研究方向为采用人工智能、深度学习、形式化方法以及复杂网络等方法研究复杂系统的测试、诊断和分析。(ysk@buaa.edu.cn)

Co-chairs:

Qi Shao received the B.S. degree in safety engineering from the China University of Petroleum, Beijing, China, in 2018. She is currently working toward the Ph.D. degree in systems engineering with the School of Reliability and Systems Engineering, Beihang University, Beijing. Her current research interests include software aging, software reliability, and probabilistic model checking.
邵麒,
2018年于中国石油大学(北京)获得学士学位,现为北京航空航天大学可靠性与系统工程学院博士研究生。她感兴趣的研究方向包括软件老化、软件可靠性和概率模型检测。(sq5670063@buaa.edu.cn)

Chong Bian received the B.S. degree in transportation information engineering and control from the Beijing Jiaotong University, Beijing, China, in 2015. He is currently working toward the Ph.D. degree in control science and engineering at the School of Automation Science and Electrical Engineering, Beihang University, Beijing. His current research interests include fault diagnosis and intelligent prognosis.
边冲,
2015年于北京交通大学获得学士学位,现为北京航空航天大学自动化科学与电气工程学院博士研究生。他感兴趣的研究方向包括故障诊断和智能预测。(markbian@126.com)

Xiaodong Gou received the B.S. degree in quality and reliability engineering from the School of Management Engineering, Zhengzhou University of Aeronautics, Zhengzhou, China, in 2016. He is currently working toward the Ph.D. degree in systems engineering with the School of Reliability and Systems Engineering, Beihang University, Beijing, China. His current research interests include testing, fault prediction and diagnosis for complex systems.  
苟晓冬,2016年于郑州航空工业管理学院获得学士学位,现为现为北京航空航天大学可靠性与系统工程学院博士研究生。他感兴趣的研究方向包括复杂系统的测试,故障诊断和预测。(gouxiaodong@buaa.edu.cn)


 Submission Portal

If you are interested in the special session, please submit your paper or abstract here
http://confsys.iconf.org/submission/srse2021-session1

For any questions, please mail the organizers or conference secretary srse@sciei.org.

 

 

 

 

© SRSE 2019-2021 | Harbin, China | Email: srse@sciei.org