陆陈
- 作品数:2 被引量:2H指数:1
- 供职机构:南京航空航天大学计算机科学与技术学院更多>>
- 发文基金:中央高校基本科研业务费专项资金中国博士后科学基金江苏省普通高校研究生科研创新计划项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 将故障信息扩展到功能模型的安全性分析方法研究
- 2016年
- 随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面,但两种模型一般都被分开使用.提出一种将故障信息扩展到状态图模型的方法和故障扩展状态图的概念,同时构建了故障信息和状态图元素之间的语义映射表,给出了故障树逻辑门的转换规则,设计了一个基于故障扩展状态图的模型转换与验证框架,并给出了利用映射表自动构建故障扩展状态图的算法.最后,运用文中提出的方法,通过对一个小型燃气灶控制系统进行案例分析,证明了文中方法的可行性和有效性.
- 曹德建黄志球陆陈陈光颖仵志鹏
- 关键词:嵌入式系统状态图故障树分析
- 基于八边形抽象域的襟缝翼控制系统安全性分析被引量:2
- 2016年
- 嵌入式软件在安全关键领域的广泛运用使得保障软件安全性成为工业界和学术界关注的重要课题.抽象解释作为一种形式化方法为程序变量的数值分析提供了一种通用框架,八边形抽象域是抽象解释的一种关系型数值抽象域,可以表示两个变量间的数值关系.基于八边形抽象域设计了一个对程序变量进行数值分析的原型工具,并利用此工具对襟缝翼控制系统的安全性展开研究,包括:利用抽象解释框架对襟縫翼系统的中断驱动进行建模;通过迭代计算程序中各个节点的数值不变式,检测程序中与数值相关的错误;根据分析结果对产生错误的代码进行定位.本文将抽象解释理论应用到航空控制软件的安全分析中,并提供了一种对程序中数值变量进行自动化分析的途径.
- 陆陈黄志球阚双龙曹德建黄传林