11P by regentag 8달전 | favorite | 댓글 4개

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의 하위 집합 등) 인증, 소스-오브젝트 추적성 연구 및 컴파일러 인증(도구 인증)이 포함됩니다.

MCU도 좀 힘내주었으면.. -_-;

저희 회사에서도 Rust 도입 얘기가 있길래 어깨넘어로 들어봤는데, 결론은 AdaCore 가 힘내줘야한다... 였던것 같네요. (인증 등등 문제로)

임베디드 분야가 흥미로워질것 같네요. 차량용(26262 등)도 지원하면 판이 커질 것 같습니다.

Rust를 임베디드에서 사용하려는 노력은 많이 있는데, AdaCore에서 나서서 아예 tool 인증까지 된 개발환경을 제공하려는 것 같습니다. (항공용 SW같은 Safety-Critical SW는 개발에 사용하는 도구도 인증을 받아야 합니다.)