您的位置： 专家智库 > >

杨仕平

作品数：24 被引量：143H指数：7
供职机构：电子科技大学计算机科学与工程学院更多>>
发文基金：国防科技技术预先研究基金国家科技重大专项中国人民解放军总装备部预研基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 17篇期刊文章
  • 5篇会议论文
  • 2篇学位论文

领域

  • 23篇自动化与计算...
  • 2篇电子电信

主题

  • 7篇调度
  • 6篇调度分析
  • 6篇高可信
  • 5篇实时操作系统
  • 5篇网络
  • 5篇操作系
  • 5篇操作系统
  • 4篇多级关键度
  • 4篇时间触发
  • 4篇实时网
  • 4篇实时网络
  • 4篇实时系统
  • 4篇安全关键系统
  • 3篇以太
  • 3篇以太网
  • 3篇事件触发
  • 3篇嵌入式
  • 3篇计算机
  • 2篇软件开发
  • 2篇实时以太网

机构

  • 24篇电子科技大学

作者

  • 24篇杨仕平
  • 22篇熊光泽
  • 13篇桑楠
  • 8篇陈慧
  • 3篇吴新勇
  • 1篇于逊
  • 1篇刘校矢
  • 1篇杨霞
  • 1篇刘锦德

传媒

  • 4篇计算机科学
  • 2篇系统工程与电...
  • 2篇电子科技大学...
  • 2篇2003中国...
  • 1篇计算机研究与...
  • 1篇电子学报
  • 1篇计算机学报
  • 1篇计算机工程与...
  • 1篇计算机工程
  • 1篇软件学报
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇单片机与嵌入...
  • 1篇第十二届全国...
  • 1篇第十届全国容...
  • 1篇第十三届全国...

年份

  • 1篇2006
  • 1篇2005
  • 6篇2004
  • 12篇2003
  • 3篇2002
  • 1篇2000
共 24 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于SDL的硬实时调度可执行分析模型被引量：1
2002年
1引言 在后PC时代,嵌入式实时系统的需求变得越来越复杂,传统的开发方法已经难于管理及实现日益复杂的实时软件.形式化描述技术FDTs(F0mal Description Techniques)为实时软件代码的自动生成提供了有力的根据,它允许实时软件的仿真、验证与确认(V＆V)及代码的自动生成同步进行.
杨仕平熊光泽陈慧
关键词：软件开发嵌入式实时系统软件代码SDL
基于RT-Linux防危保障机制的实验模型
2003年
随着嵌入式实时系统在安全关键系统中日益广泛的应用,其软件不但要保证嵌入式实时系统的功能性和时间限制,对其安全性、稳定性和可靠性的要求也大大提高。软件错误的比例大大高于硬件错误,软件错误可能引起硬件误操作,进而直接威胁系统安全。使用防危核可有效防止关键设备误操作。本文以RT-Linux实时操作系统为平台,对十字路口交通灯控制建立安全实验模型,研讨防危核实现技术,为防危保障探索新的实现途径。
杨霞熊光泽杨仕平于逊
关键词：RT-LINUX实时操作系统图形用户界面内核模块
基于时间触发方法的可靠实时以太网
随着实时计算广泛应用于航空航天、国防及交通运输等安全关键应用领域,多类型的同步实时、异步实时和非实时网络传输需求给实时网络带来了新的需求和挑战.实时网络的实现方式与调度分析是需要解决的关键问题.本文基于事件触发与时间触发...
杨仕平熊光泽陈慧
关键词：实时网络事件触发时间触发调度分析以太网
文献传递
安全关键软件的防危性测评技术研究被引量：20
2004年
为了评估安全关键软件的防危性 ,该文在分析软件可靠性与防危性异同的基础上 ,建立了相应的防危性评估指标 ,同时研究了传统统计测试方法确定所需防危性测试用例数的局限性 .紧接着 ,使用贝叶斯函数动态地表示软件失效率的密度函数 ,提出了一种增量记忆型的防危性测试方法 ,该方法可根据软件出现失效时间的早晚及次数动态地确定所需测试用例数的增量 ,达到了改进传统测试方法局限性的目的 ,使安全关键软件测试失效后可经受更严格的测试 ,同时减小了测试工作量 .为证明该方法的合理性、有效性 ,使用了大量例证 .最后 ,就该领域内的相关工作及发展方向进行了展望 .
杨仕平桑楠熊光泽
关键词：安全关键系统测试用例安全关键软件
基于双超时检测机制的三维容错实时系统
在后PC时代,实时计算技术日益广泛应用于航空航天、国防及交通运输等安全关键系统.为提高这些系统的可信性,在分析传统二维容错技术的基础上,基于功能集成,提出了三维容错体系结构.满足容错任务的死限是容错实时系统的关键,本文所...
杨仕平熊光泽桑楠
关键词：实时系统高可信
文献传递
基于Ethernet技术的安全关键实时网络被引量：33
2005年
随着实时计算技术日益广泛应用于航空航天、国防及交通运输等安全关键领域,多类型的同步实时、异步实时和非实时网络传输需求给现场网络提出了新的目标和挑战,其中安全关键实时网络的实现方式与调度分析是需要解决的关键问题.在分析、总结现有COTS网络技术不足之处的基础上,基于事件触发与时间触发,提出了一种基于Ethernet技术的高可靠实时通信协议E&TTE(event- and time-triggered Ethernet),使实时网络不但具有较高的灵活性,而且具有较好的可预测性.为证明E&TTE协议的合理性与可行性,建立了网络调度模型,进行了全局调度分析,并通过具体实例进行了例证.E&TTE协议的提出,满足了安全关键实时网络的多种传输需求,同时也可广泛应用于工业现场控制网络.
杨仕平桑楠熊光泽
关键词：实时网络事件触发时间触发调度分析
面向对象实时多任务系统的优化实现模型被引量：2
2003年
论文提出了一种基于抢占门限的实时多任务系统的优化实现模型,它同时具有低开销与高可调度性。该模型扩展了固定优先级调度模型,同时通过实现模型中线程数的减少实现了运行时的低开销。文中同时也讨论了互不抢占分组的实现算法及每个任务最大抢占门限的分配算法。
杨仕平熊光泽陈慧
关键词：面向对象实时多任务系统软件开发
嵌入式实时软件可视化开发方法被引量：11
2003年
分析了传统嵌入式实时软件开发方法的不足之处 ,同时在分析统一建模语言 (UML)与规范描述语言(SDL)各自优缺点的基础上 ,论述了二者集成的可行性。重点讨论了UML与SDL之间的映射问题。最后讨论了以SDL为核心的可视化集成开发环境的可行性。
杨仕平熊光泽陈慧
关键词：嵌入式实时软件开发方法统一建模语言规范描述语言映射
高可信软件的防危性评估研究被引量：15
2004年
在分析安全关键软件防危性测评的必要性基础上,提出了适合于评估关键软件防危性的评估指标,给出了防危性评估指标与可靠性评估指标之间的关系。总结了4种传统测评方法评估高防危性需求软件的局限性。研究了基于重要性采样及压力测试技术测评高防危性软件的可行性,并详细讨论了其具体实施过程,其间结合核电安全关键控制系统进行了例证。最后就该领域内的相关工作及发展方向进行了展望。
杨仕平熊光泽桑楠吴新勇
关键词：软件系统高可信软件软件工程
变频器的谐波抑制理论及应用研究
该文论述了谐波抑制的意义及思想方法,并运用运动学和控制论对用变频器作电源的交流调速系统中的电机进行了数学建模,同时也对变频技术(主要是SPWM)进行了深入的研究.然后在此基础上提出了一种变频谐波抑制的新型混合式采样法,并...
杨仕平
关键词：MATLAB/SIMULINKSPWM交流电机谐波抑制
文献传递
全选 清除 导出
共3页<123>
聚类工具0