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

An Hard Real-Time Schedulability Executable Analysis Model Based on SDL

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

In order to save the gap between the object model based on SDL and implementation model , this paper Improves ability of expressing real-time constraints by SDL, presents an priorities assignment based on process transitions. However, schedulability of system is dynamically realized by priorities of process. At the same time, we consider problems such as avoiding priority inversion .sharing resources and hardware integration in this paper. At last, presenting a realization of hard real-time schedulability executable analysis model based on SDL.