实现应用软件组件的描述文件中所包含的通信和调用机制需要高效的实时运行环境(RTE)。
SWC的形式描述允许软件设计的自动分析以及实时运行环境的派生、生成和优化。
软件设计的形式化描述中所包含的信息包括调用可运行实体时所在的上下文,以及可运行实体与同一SWC或另一个SWC的其他部分进行交互的方式。
通过考虑基础软件的配置等其他限制,可以决定如何以最佳方式实现函数调用。
基本上,必须做出以下方面的决定:
根据具体配置,这些决定可能会对性能产生重大影响。
一般来说,实时运行环境的生成器应尽量少用OS事件和警报。适当配置系统可显著节省资源和减少执行时间。为此,需要了解在应用软件组件设计阶段每个决定带来的影响。