• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

Fang, Lin-Bo (Fang, Lin-Bo.) | Huang, Zhang-Qin (Huang, Zhang-Qin.) (学者:黄樟钦) | Hou, Yi-Bin (Hou, Yi-Bin.) (学者:侯义斌) | Zhang, Yong (Zhang, Yong.) (学者:张勇)

收录:

EI Scopus PKU CSCD

摘要:

Due to the increasing complexity of the embedded systems, the gap between a product idea and a working system expands rapidly. To manage the complexity and shorten the design cycles, this article puts forward a method of system-level design, which focuses on the development of executable models which allow qualitative and quantitative properties to be analyzed before the system is actually realized in terms of hardware and software components. System-level design methods should be based on well-defined modeling languages to support creating executable models that properly represent the system to be designed. The parallel object-oriented specification language (POOSL) is a system-level modeling language for complex embedded systems. It has been demonstrated to be very effective for modeling systems such as internet router and network processor. A system-level model for SWP is built by using POOSL. Through the simulation of the model, results of the quantitative performance analysis on the influence of the parameters such as the window size, the packet size and the timeout period are given. Furthermore, some key parameters can be determined during the earliest phases of the design process. The system-level method can assess the schemes in the earliest phases of system design.

关键词:

Embedded systems Formal languages Internet Program processors Query languages Routers Specification languages Systems analysis

作者机构:

  • [ 1 ] [Fang, Lin-Bo]College of Computer Science, Beijing University of Technology, Beijing 100022, China
  • [ 2 ] [Fang, Lin-Bo]Department of Command Automation, The Second Artillery Engineering College, Xi'an 710025, China
  • [ 3 ] [Huang, Zhang-Qin]College of Computer Science, Beijing University of Technology, Beijing 100022, China
  • [ 4 ] [Hou, Yi-Bin]College of Computer Science, Beijing University of Technology, Beijing 100022, China
  • [ 5 ] [Zhang, Yong]College of Computer Science, Beijing University of Technology, Beijing 100022, China

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

Journal of Beijing University of Technology

ISSN: 0254-0037

年份: 2007

期: 6

卷: 33

页码: 650-655

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

ESI高被引论文在榜: 0 展开所有

万方被引频次:

中文被引频次:

近30日浏览量: 3

在线人数/总访问数:5477/2967875
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司