咨询与建议

限定检索结果

文献类型

  • 3 篇 学位论文
  • 2 篇 期刊文献

馆藏范围

  • 5 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5 篇 工学
    • 3 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 2 篇 网络空间安全
    • 1 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程

主题

  • 5 篇 形式化建模方法
  • 1 篇 建模
  • 1 篇 任务级并行
  • 1 篇 验证
  • 1 篇 状态转移系统
  • 1 篇 硬件协同设计方法
  • 1 篇 嵌入式系统软
  • 1 篇 面向对象设计方法
  • 1 篇 uml时序图
  • 1 篇 时间自动机
  • 1 篇 动态部分重构
  • 1 篇 拒绝服务攻击
  • 1 篇 结构化设计方法
  • 1 篇 航天嵌入式软件
  • 1 篇 异构多核片上系统
  • 1 篇 安全协议
  • 1 篇 面向服务的异构多...
  • 1 篇 有色petri网
  • 1 篇 网络通信
  • 1 篇 amdahl定律

机构

  • 1 篇 北京控制工程研究...
  • 1 篇 江西理工大学
  • 1 篇 中国科学院研究生...
  • 1 篇 西北工业大学
  • 1 篇 机械工业仪器仪表...
  • 1 篇 中国科学技术大学

作者

  • 1 篇 李培培
  • 1 篇 顾斌
  • 1 篇 王政
  • 1 篇 刘丹
  • 1 篇 冯晓静
  • 1 篇 董云卫
  • 1 篇 岳庆刚

语言

  • 5 篇 中文
检索条件"主题词=形式化建模方法"
5 条 记 录,以下是1-10 订阅
排序:
面向航天嵌入式软件的形式化建模方法
收藏 引用
软件学报 2015年 第2期26卷 321-331页
作者: 顾斌 董云卫 王政 西北工业大学计算机学院 陕西西安710029 北京控制工程研究所 北京100190
航天嵌入式软件是航天型号任务成败的关键之一.航天嵌入式软件是一种周期性、多模式的软件.软件的每个模式表示系统处于一定的状态,并进行相应的复杂计算.因此,提出了一种名为SPARDL的形式化建模方法.为了满足型号应用的需求,对这一方... 详细信息
来源: 评论
基于状态转移系统的安全协议形式化建模方法的研究
基于状态转移系统的安全协议形式化建模方法的研究
收藏 引用
作者: 岳庆刚 中国科学院研究生院
学位级别:硕士
随着网络应用范围的扩大,人们提出了各种类型的安全协议来保障网络通信的安全。但是,由于协议运行的高度并发性、网络环境的复杂性以及恶意攻击者的存在,安全协议的正确性证明是一件困难的工作。经过三十年多的发展,形式化方法已成... 详细信息
来源: 评论
面向服务的异构多核片上系统的关键技术研究及实现
面向服务的异构多核片上系统的关键技术研究及实现
收藏 引用
作者: 冯晓静 中国科学技术大学
学位级别:博士
随着半导体制造工艺的发展,异构多核片上系统可以集成多个具有不同功能的处理器核,并充分利用各处理器核的性能优势对多种特定类型的任务进行加速,能够同时满足嵌入式应用在芯片面积、计算性能、功耗等多方面的需求,因而被广泛应用于嵌... 详细信息
来源: 评论
基于模型检测的系统形式化建模与应用研究
基于模型检测的系统形式化建模与应用研究
收藏 引用
作者: 李培培 江西理工大学
学位级别:硕士
在计算机系统应用研究过程中,为了避免由微小差错而引发的损失,这些系统在投入使用之前,需要根据系统属性进行建模,并对建好的模型进行分析与验证,以保证系统投入使用之前系统功能方面的健壮性。模型检测是一种以数学为基础的形式化验... 详细信息
来源: 评论
嵌入式系统开发方法综述
收藏 引用
仪器仪表标准与计量 2008年 第4期 8-11,17页
作者: 刘丹 机械工业仪器仪表综合技术经济研究所 北京市100055
嵌入式系统的实时性、并发性、分布性和高可靠性等特点使得系统的开发面临巨大挑战,迫切需要相应开发方法的指导和开发工具的支持。本文从工程实践角度出发,总结在嵌入式系统设计过程中,开发人员会面临哪些主要问题,以及为解决问题而产... 详细信息
来源: 评论