arrow
返回

FMP3+TECS/Rust: Memory-Safe Component Framework for Multiprocessor Embedded Systems

delete2026-02-19
delete0
delete
OA
AI
H
Hiroshi Oyama
T
Takuya Azumi
DOI:10.1109/OJIES.2026.3666358delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
近年来,嵌入式系统已广泛应用于汽车和物联网(IoT)等众多领域。这些系统规模和复杂性的不断增加,加剧了工业开发环境中对能够同时确保可靠性、可维护性和效率的平台的迫切需求。传统的编程语言,如C和C++,虽然提供高性能,但在内存安全方面存在严重问题,导致出现错误和安全漏洞。相比之下,Rust通过其ownership和borrowing机制在编译时强制执行内存安全,从而实现安全开发,有助于在工业环境中提升代码质量和可维护性。基于组件的开发(CBD)通过功能单元实现模块化,提高了可重用性和结构清晰度,从而便于处理大规模、复杂的工业系统。现代嵌入式应用需要高性能处理和高效能耗,因此越来越多地采用多处理器架构以实现并行执行。本研究提出了一种与Rust兼容的框架,该框架结合了Rust的安全特性与CBD的结构优势,基于TOPPERS嵌入式组件系统(TECSs)和多处理器实时操作系统(RTOS)TOPPERS灵活多处理器配置文件3(FMP3)。该框架通过设计和自动生成代表TECS组件结构的Rust代码,以及优化独占控制同时保持安全性,实现了实践中安全且可重用的CBD。执行时间的评估表明,与多处理器RTOS的集成带来的开销极小,能够实现高效可靠的应用开发。
Keyword:
Component-based development (CBD)
embedded systems
memory safety
multiprocessor
real-time operating systems (RTOSs)
Rust

期刊

I
IEEE Open Journal of the Industrial Electronics Society
IF:
4.3
论文数:
1.7K
被引数:
991

机构

O
okuma corporation
学者数:
1
论文数: 1
被引数: 0
S
saitama university
学者数:
442
论文数: 213
被引数: 0
引用论文

引用论文

err分享
err收藏
err分享
err收藏
A Process Model for Component-Based Model-Driven Software Development
err2020-06-05
err0
errOAAI
errAfrah Umran Alrubaee; Deniz Cetinkaya; Gernot Liebchen; Huseyin Dogan
err分享
err收藏
Rust for Embedded Systems: Current State and Open Problems
err2024-12-02
err0
PREAI
errSharma,Ayushi; Sharma,Shashank; Tanksalkar,Sai Ritvik; Torres-Arias,Santiago; Machiry,Aravind
err分享
err收藏
A Low-Latency Optimization of a Rust-Based Secure Operating System for Embedded Devices
errSENSORS
IF3.5
err2022-11-10
err1
errOAAI
errCulic, Ioana; Vochescu, Alexandru; Radovici, Alexandru
err分享
err收藏
Keeping Safe Rust Safe with Galeed
err2021-12-06
err0
errOAAI
errElijah Rivera; Samuel Mergendahl; Howard Shrobe; Hamed Okhravi; Nathan Burow
err分享
err收藏
Towards Memory Safe Enclave Programming with Rust-SGX
err2019-11-06
err0
errOAAI
errHuibo Wang; Pei Wang; Yu Ding; Mingshen Sun; Yiming Jing; Ran Duan; Long Li; Yulong Zhang; Tao Wei; Zhiqiang Lin
err分享
err收藏
学者 查看更多内容