Special Session I

Model-based Software Safety Analysis and Evaluation (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.




Related topics:



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.


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.

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.

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.  

 Submission Portal

If you are interested in the special session, please submit your paper or abstract here

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





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