论文部分内容阅读
随着计算技术的飞速发展，嵌入式系统作为一个近年来越来越受到重视的研究热点，在军工、航天、民用等领域均得到了广泛的应用和快速的发展。然而嵌入式开发随着软件规模的不断扩大，代码量的不断增加，开发难度也不断增长。嵌入式开发人员急需一种直观、易于掌握且规范的开发工具，在开发工作之中有效的减少重复工作，在设计和编码阶段解决工程中潜在的问题。
SDL语言作为一种用于描述离散实时系统的形式化语言，最早应用于电信领域，而由于其开发的各种优点，SDL被越来越多的应用于嵌入式系统应用的开发工作中。开发人员利用SDL图描述目标系统的构成、行为和数据结构等，对设计进行验证和C语言代码的转换，最终嵌入到具体的嵌入式平台中运行。作为近年发展迅猛的开源实时嵌入式操作系统，RTEMS具有不逊于商业嵌入式系统的性能，并且提供了完整的操作系统底层支持。
本文首先介绍了SDL语言的开发模式，之后针对RTEMS进行了操作系统内核的深入研究分析。接着着重分析了SDL与RTEMS系统集成的可能性，并在对SDL和RTEMS的分析研究基础上提出集成方案，针对该方案进行RTEMS系统对形式化语言支撑库的设计与实现。最后针对集成支撑库的完整性和功能进行了验证和测试。完成了在RTEMS操作系统上针对形式化语言SDL编程支撑库的实现。