기체 또는 도로 차량에서 사용하기 위해 LUA 인증을 받았습니까?
https://stackoverflow.com/questions/1830704
-
11-09-2019 - |
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian문제
LUA가 기체 또는 도로 차량에서 운영되도록 인증을 받았는지 아는 사람이 있습니까? DO178B (RTCA) 또는 ISO 26262 (도로 차량)와 같은 표준화와 같은 인증 프로세스.
인증은 판례법과 같으며 다른 회사가 프로세스를 통해 성공적으로이를 만들었다는 것을 알고 언어를 평가하는 데 더 자신감을 느낄 것입니다.
나는 GC와 역동적 인 기능 때문에 아무도 내기를 베팅하지만 어쨌든 군중에게 질문을 던질 것이라고 생각했습니다. 건배.
해결책
DO178 레벨 D는 의심스럽고 더 높은 것은 불가능할 것입니다. LUA VM은 많은 동적 메모리 할당을 사용합니다. 레벨 A의 경우 소스를 객체 코드 추적 성을 표시해야합니다. 나는 당신이 루아에서 그렇게하는 것을 보지 못합니다.
또한 필요한 모든 것을위한 준비된 도구가 없습니다. 레벨 C 이상에 필요한 모든 작업을 깨닫고 나면 모든 것을 직접 수행하는 것은 실제로 선택 사항이 아닙니다. 준비 인증 팩이있는 인식 된 도구를 사용하면 훨씬 쉽습니다. LUA에 대한 진술 및 지점 범위 도구가 있습니까? 이 도구는 자격이 있습니까?
당신이 인증은 판례법과 같으며 당국은 C를 알고 있으며 C를 사용하는 경우 아무것도 의문을 제기하지 않을 것입니다.
나는 항공기에서 루비를 사용하고 싶지만 그것이 일어나지 않을 것이라는 것을 알고 있습니다.
다른 팁
정확히 당신이 요청한 것이 아니라 이것 Esterel Technologies는 인증 된 환경에서 사용되는 코드 생성기 인 최신 버전의 Scade에 OCAML의 사용을 정당화했습니다.
그랬습니다 ~ 아니다 차량 내부에서 동적 할당 된 언어를 사용하는 것에 대해! OCAML은 코드 생성기의 코드 생성기로 자격을 갖추어야했습니다!
기사를 한 문장으로 요약해야한다면 "많은 일이었다"는 것입니다.
