摘要
实时嵌入式系统的实时性约束主要来自系统的安全性需求。传统开发方法不仅需要较长的开发周期和较高的开发费用,而且缺少对安全性的支持。本文基于模型驱动开发方法,使用结构分析和设计语言设计铁路平交道口控制系统,并使用谓词演算对系统的安全性进行分析,提高了系统的开发效率。
Real-time constraint of real-time system often arises out of safety requirements. The traditional development method not only needs long development cycles but also lacks of insight into safety. The control system of railway level-crossing is designed with the SAE architecture analysis and design language based on model-driven development method. The safety of the system is analyzed with the predicate calculus. The efficiency of development is raised.
出处
《计算机与现代化》
2008年第12期63-66,共4页
Computer and Modernization
关键词
实时
嵌入式
模型驱动
谓词演算
real-time
embedded system
model-driven
predicate calculus
