GNAT Pro for Rust: 임베디드를 위한 Rust 개발환경
(adacore.com)GNAT Pro for Rust는 현재 일부 고객을 대상으로 한 Early Access 중이며 x86_64 리눅스 및 리눅스 크로스 타겟을 위한 컴파일러(rustc), 빌드 및 패키지 관리자(cargo) 및 디버거(gdb)를 제공합니다.
GNAT Pro for Rust 25가 공식 출시되면 gprbuild와의 완전한 통합을 제공하고 고급 Ada - Rust 양방향 바인딩을 제공하는 동시에 더 많은 플랫폼을 지원할 것입니다.
- gprbuild는 GNAT Studio에서 사용되는 Ada, C/C++용 빌드 시스템입니다.
GNAT Pro for Rust는 항공기(DO-178), 철도(EN-50128), 우주(ECSS-E-ST-40C 및 ECSS-Q-ST-80C)용 등의 SW 안전 인증 요구를 지원될 계획입니다. AdaCore의 로드맵에는 Ada용 GNAT Pro 및 C/C++용 GNAT Pro에서 이미 사용할 수 있는 것과 유사한 언어 라이브러리(libcore의 하위 집합 등) 인증, 소스-오브젝트 추적성 연구 및 컴파일러 인증(도구 인증)이 포함됩니다.
저희 회사에서도 Rust 도입 얘기가 있길래 어깨넘어로 들어봤는데, 결론은 AdaCore 가 힘내줘야한다... 였던것 같네요. (인증 등등 문제로)
Rust를 임베디드에서 사용하려는 노력은 많이 있는데, AdaCore에서 나서서 아예 tool 인증까지 된 개발환경을 제공하려는 것 같습니다. (항공용 SW같은 Safety-Critical SW는 개발에 사용하는 도구도 인증을 받아야 합니다.)