王立松
    博士生导师
  • 招生学科专业:
    计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
    软件工程 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
    网络空间安全 -- 【招收硕士研究生】 -- 计算机科学与技术学院
    电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
  • 学位:工学博士学位
  • 职称:教授
  • 所在单位:计算机科学与技术/人工智能学院,公共实验教学部
博士生导师
电子邮箱:
所在单位:计算机科学与技术/人工智能学院,公共实验教学部
学历:博士研究生毕业
性别:
毕业院校:南京航空航天大学

当前位置: 中文主页 >> 科学研究 >> 论文成果
标题:
An extraction method of STPA variable based on four-variable model
点击次数:
所属单位:
计算机科学与技术学院/人工智能学院/软件学院
发表刊物:
Adv. Intell. Sys. Comput.
摘要:
STPA is a hazard analysis technique based on systems thinking and a new model of accident causation based on systems theory rather than reliability theory [1]. However, STPA is a relatively new approach and its application has so far been without strict procedures, formal mathematical definitions, or model-based design tools to assist in the analysis of complex systems. A key step in the STPA research method is how to identify unsafe control actions. It’s unable to judge the control action itself is safe or unsafe. To determine whether a control action is unsafe, it is necessary to consider the controller in what circumstances to issue control actions. The environment in which a system is located is very complex. Analysts need to understand which environmental factors affect the operation of the system. These variables cannot rely on brainstorming by domain experts, but rather should give a methodology. Therefore, this article will give a more formal and standardized variable extraction method. Through the example of the train door system, the specific method steps will be presented, and the final extraction results will be given. © Springer Nature Switzerland AG 2019.
ISSN号:
2194-5357
是否译文:
发表时间:
2019-01-01
合写作者:
Chen, Miaofang,朱,Feng, Tao
通讯作者:
王立松
发表时间:
2019-01-01
个人简介

博士,CCF会员,主持智能航空计算系统实验室工作。主要从事智能航空计算系统的安全性分析方法、复杂系统智能计算与分析方法、领域智能知识工程及其应用、航空计算领域系统软件和工具链及其应用研究。主持国家级和省部级等科研项目20项。获得省部级科技进步奖4项,省部级教学成果奖2项,发表学术论文50余篇,获授权发明专利8项。


指导研究生情况:

毕业和在读的研究生60余名,毕业去向主要为百度、腾讯、华为、中兴、趋势科技等国内著名IT企业以及国家大型企业。

 

 


扫一扫用手机查看