您的位置： 专家智库 > >

施健

作品数：5 被引量：2H指数：1
供职机构：华东师范大学更多>>
发文基金：国家部委资助项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇专利
  • 1篇期刊文章

领域

  • 4篇自动化与计算...

主题

  • 4篇软件功能
  • 4篇软件模型
  • 4篇软件体系结构
  • 4篇体系结构
  • 4篇自适
  • 4篇自适应
  • 4篇自适应软件
  • 4篇集中式
  • 4篇集中式控制
  • 4篇交互行为
  • 1篇形式化
  • 1篇形式化验证
  • 1篇开发环境
  • 1篇航天
  • 1篇航天器
  • 1篇航天器系统
  • 1篇SCADE
  • 1篇STP

机构

  • 5篇华东师范大学

作者

  • 5篇施健
  • 4篇何积丰
  • 4篇李新
  • 4篇黄滟鸿
  • 4篇史建琦
  • 4篇李昂

传媒

  • 1篇计算机工程

年份

  • 2篇2020
  • 1篇2019
  • 2篇2017
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
一种软件体系结构建模与仿真方法
本发明公开一种软件体系结构建模和仿真方法，包括：将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为。本发明公开的基于层次化MA...
黄滟鸿施健史建琦方徽星李昂李新何积丰
文献传递
一种软件体系结构建模和仿真系统
本发明公开一种软件体系结构建模和仿真系统，包括：建模模块，用于将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；仿真模块，用于对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为...
黄滟鸿施健史建琦方徽星李昂李新何积丰
文献传递
一种软件体系结构建模和仿真系统
本发明公开一种软件体系结构建模和仿真系统，包括：建模模块，用于将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；仿真模块，用于对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为...
黄滟鸿施健史建琦方徽星李昂李新何积丰
文献传递
基于STP方法的SCADE模型形式化验证框架被引量：2
2019年
高安全性应用开发环境(SCADE)的形式化验证组件Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为解决该问题,构建一种SCADE状态机的时序性质验证框架,将SCADE模型转换成NuSMV模型,并将线性时态逻辑和计算树逻辑引入SCADE模型的需求规范中。分析结果表明,借助NuSMV模型检查器及其验证结果可检验复杂时序相关的安全性质,减少模型设计阶段的错误,提高系统的安全性和可靠性。
林荣峰施健朱晏庆沈怡颹周宇
关键词：航天器系统形式化验证
一种软件体系结构建模与仿真方法
本发明公开一种软件体系结构建模和仿真方法，包括：将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为。本发明公开的基于层次化MA...
黄滟鸿施健史建琦方徽星李昂李新何积丰
全选 清除 导出
共1页<1>
聚类工具0