实现应用软件组件的描述文件中所包含的通信和调用机制需要高效的实时运行环境(RTE)。

SWC的形式描述允许软件设计的自动分析以及实时运行环境的派生、生成和优化。

软件设计的形式化描述中所包含的信息包括调用可运行实体时所在的上下文,以及可运行实体与同一SWC或另一个SWC的其他部分进行交互的方式。

通过考虑基础软件的配置等其他限制,可以决定如何以最佳方式实现函数调用。

基本上,必须做出以下方面的决定:

  • 如果需要,选择阻止机制,以阻止并行运行的其他可运行实体进行访问。
  • 调用方法。
    可以(以宏或C函数的形式)直接进行调用,也可以通过与操作系统一起触发的RTE事件进行调用。
  • 读写访问类型。
    可能是对变量的访问,也可能是对基础软件的API的调用。此外,必须考虑不同访问类型的语义及其实现机制。

根据具体配置,这些决定可能会对性能产生重大影响。

一般来说,实时运行环境的生成器应尽量少用OS事件和警报。适当配置系统可显著节省资源和减少执行时间。为此,需要了解在应用软件组件设计阶段每个决定带来的影响。

最后修改: 2021年03月4日 星期四 14:19