模型驱动的实时嵌入式系统结构设计与属性分析

摘要：

实时嵌入式系统的实时性约束主要来自系统的安全性需求.传统开发方法不仅需要较长的开发周期和较高的开发费用,而且缺少对安全性的支持.本文基于模型驱动开发方法,使用结构分析和设计语言设计铁路平交道口控制系统,并使用谓词演算对系统的安全性进行分析,提高了系统的开发效率.

关键词：实时、嵌入式、模型驱动、谓词演算

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

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

页数：共4页

页码：63-66