您的位置： 专家智库 > >

黄萍

作品数：2 被引量：4H指数：1
供职机构：武汉大学计算机学院软件工程国家重点实验室更多>>
发文基金：国防科技技术预先研究基金软件工程国家重点实验室开放基金国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇软件体系结构
  • 1篇实时系统
  • 1篇体系结构
  • 1篇体系结构描述...
  • 1篇描述语言
  • 1篇结构描述语言
  • 1篇分布式
  • 1篇分布式实时
  • 1篇分布式实时系...
  • 1篇TSP
  • 1篇操作语义

机构

  • 2篇哈尔滨工程大...
  • 2篇武汉大学

作者

  • 2篇王振宇
  • 2篇叶俊民
  • 2篇黄萍

传媒

  • 1篇小型微型计算...
  • 1篇海军工程大学...

年份

  • 2篇2005
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
TSP及其操作语义模型研究
2005年
在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.
叶俊民王振宇黄萍赵恒
关键词：TSP操作语义
分布式实时系统体系结构描述语言的设计及其应用实例研究被引量：4
2005年
为了完成基于软件体系结构(SoftwareArchitecture,SA)分布式实时系统的测试,需要设计一种体系结构描述语言(ArchitectureDescriptionLanguage,ADL)描述被测系统,以便自动产生测试用例.在考察现有的体系结构描述语言(Architec-tureDescriptionLanguage,ADL)的基础上,分析了现存ADL的不足,提出了一种新的分布式实时系统体系结构描述语言(Dis-tributedReal-TimeSystemArchitectureDescriptionLanguage,DRTSADL),研究了该语言的语法和操作语义.结合一个分布式实时前端系统实例描述,说明了DRTSADL的应用.与现存ADL相比,新的ADL对分布式实时系统有较强的描述能力.
叶俊民王振宇黄萍赵恒
关键词：软件体系结构体系结构描述语言分布式实时系统
全选 清除 导出
共1页<1>
聚类工具0