您的位置： 专家智库 > >

黎鹏

作品数：1 被引量：1H指数：1
供职机构：南昌大学信息工程学院信息工程技术研究中心更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇实时嵌入式
  • 1篇嵌入式
  • 1篇谓词
  • 1篇谓词演算

机构

  • 1篇南昌大学

作者

  • 1篇杨楠
  • 1篇万明
  • 1篇黎鹏

传媒

  • 1篇计算机与现代...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
模型驱动的实时嵌入式系统结构设计与属性分析被引量：1
2008年
实时嵌入式系统的实时性约束主要来自系统的安全性需求。传统开发方法不仅需要较长的开发周期和较高的开发费用,而且缺少对安全性的支持。本文基于模型驱动开发方法,使用结构分析和设计语言设计铁路平交道口控制系统,并使用谓词演算对系统的安全性进行分析,提高了系统的开发效率。
杨楠黎鹏万明
关键词：嵌入式谓词演算
全选 清除 导出
共1页<1>
聚类工具0