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

Model-driven Design and Analysis of Real-time Embedded System

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

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.