Huang ZhiQiu
Professor
Alma Mater:南京航空航天大学
Education Level:南京航空航天大学
Degree:Doctoral Degree in Engineering
School/Department:College of Computer Science and Technology
Discipline:Cyberspace Security. Computer Science and Technology. Software Engineering
Contact Information:025-84892400
E-Mail:
Hits:
Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院
Journal:计算机学报
Key Words:嵌入式系统;系统需求;设计;可追踪性;谓词逻辑;语义模型;安全性分析;
Abstract:嵌入式系统在航空、航天、核能及交通等安全攸关领域中的广泛应用,使得保障其安全性至关重要.需求可追踪是安全攸关领域标准的基本要求,也是安全性分析与保障的重要前提.当前可追踪性的研究主要集中在需求与代码之间,缺乏需求与设计间可追踪性的研究,而且建立的追踪信息精确性和完整性不高,无法有效地应用于安全攸关领域.针对这一问题,该文提出了一种基于谓词逻辑的需求追踪方法,可以实现嵌入式系统需求内部横向追踪关系和需求与系统设计间纵向追踪关系的自动推导与检验,并通过两种广泛使用的标准语言SysML和AADL分别对系统需求与设计进行建模.首先,定义了一个基于谓词逻辑的形式系统描述制品间的追踪信息,分别给出了SysML需求的横向追踪关系和纵向追踪关系的语义,然后,基于语义模型给出了追踪关系的自动推导与检验规则,用以建立精确、完整的需求追踪关系,基于这些追踪关系可以有效地支持嵌入式系统的安全性分析以及系统的维护与演化.最后,通过一个案例分析说明了该文需求追踪方法的有效性和可行性.
Translation or Not:no
Date of Publication:2017-09-08
Co-author:王飞,Yang Zhibin,B2017023,Shen Guohua,陈光颖
Correspondence Author:Huang ZhiQiu
黄志球，男，博士，教授，博士生导师，国家教育部计算机基础教学(理工类)指导委员会委员，国防科技工业质量专家委员会委员 ，中国计算机学会理事、“系统软件”专业委员会副主任、“软件工程”委员，中国电子学会软件定义推进委员会委员，IEEE计算机学会南京分会副主席，CCF南京主席，江苏省计算机学会常务理事，江苏省软件人才基金会理事，工信部重点实验室“高安全系统的软件开发与验证重点实验室”主任。
主要研究方向为工业软件、智能化软件工程、网络空间安全、大数据和云计算等。
近年来承担国家重点研发计划课题、863高技术项目、国家自然科学基金以及各类国防科技型号项目30余项。发表SCI、EI和核心期刊论文100余篇；已培养博士近20名，硕士100余名。获得教育部自然科学奖二等奖1项，省部级科技进步二等奖2项，省部级科技进步三等奖2项，省部级教学成果二等奖2项。
