The diversification of functionalities and the development of the IoT are making embedded systems larger and more complex in structure. Ensuring system reliability, especially in terms of security, necessitates selecting an appropriate programming language. As part of existing research, TECS/Rust has been proposed as a framework that combines Rust and component-based development (CBD) to enable scalable system design and enhanced reliability. This framework represents system structures using static mutable variables, but excessive exclusive controls applied to ensure thread safety have led to performance degradation. This paper proposes TECS/Rust-OE, a memory-safe CBD framework utilizing call flows to address these limitations. The proposed Rust code leverages real-time OS exclusive control mechanisms, optimizing performance without compromising reusability. Rust code is automatically generated based on component descriptions. Evaluations demonstrate reduced overhead due to optimized exclusion control and high reusability of the generated code.
翻译:功能的多样化与物联网的发展正使得嵌入式系统在结构上变得更大、更复杂。为确保系统可靠性,尤其是在安全性方面,需要选择合适的编程语言。作为现有研究的一部分,TECS/Rust 被提出作为一个结合了 Rust 语言与基于组件的开发(CBD)的框架,以实现可扩展的系统设计并增强可靠性。该框架使用静态可变变量来表示系统结构,但为确保线程安全而施加的过度独占控制导致了性能下降。本文提出了 TECS/Rust-OE,一个利用调用流来解决这些限制的内存安全 CBD 框架。所提出的 Rust 代码利用了实时操作系统的独占控制机制,在不损害可重用性的前提下优化了性能。Rust 代码基于组件描述自动生成。评估结果表明,由于优化的独占控制以及生成代码的高可重用性,系统开销得以降低。