基于SDL的硬实时调度可执行分析模型

摘要：

@@ 1引言
在后PC时代,嵌入式实时系统的需求变得越来越复杂,传统的开发方法已经难于管理及实现日益复杂的实时软件.形式化描述技术FDTs(F0mal Description Techniques)为实时软件代码的自动生成提供了有力的根据,它允许实时软件的仿真、验证与确认(V＆V)及代码的自动生成同步进行.

机标关键词：实时调度、分析模型、实时软件、自动生成、嵌入式实时系统、验证与确认、软件代码、描述技术、开发方法、形式化、时代、管理、仿真、步进

所属期刊栏目：29

分类号：TP3(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：142-145