节点文献
专用实时系统的系统级设计方法
System Level Design Method of Application Specific Real-time System
【摘要】 <正> 1 系统级设计复杂的计算机应用,如嵌入控制、信号处理、自动化、计算机实时图象生成等,所要求的系统往往是专用实时系统,且具有分布、复杂、并发等特点。一个专用实时系统通常包含了通用硬件、软件,专用硬件、软件,并通过一系列传感器,执行机构与环境发生交互作用。在系统设计之初根据设计需求为这种系统建立一个概念模型是至关重要的。作为文档它不但要被来自不同的工程领域的设计参与者所理解,而且应成为专用实时系统硬件和软件设计的良好起点。系统的概念模型最终将转换成系统设计方案并付诸实施。为了获得对系统行为的深入了解并确认系统的设计和实现满足了系统的设计需求,应能对系统的概念模型及由概念模型得到的系统实现进行分析。
【Abstract】 System level design method of application specific real-time system was discussed systematically in this paper. Key points of a specification language which can support system level design was also summarized.
【关键词】 Real-time system;
Formal method;
System level design;
VHDL;
【Key words】 Real-time system; Formal method; System level design; VHDL;
【Key words】 Real-time system; Formal method; System level design; VHDL;
【基金】 航天预研基金
- 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,1999年02期
- 【分类号】TP311.52
- 【被引频次】2
- 【下载频次】46