D for safety critical applications

[Imperatorn]

On Monday, 8 February 2021 at 15:12:47 UTC, Paulo Pinto wrote:
> On Monday, 8 February 2021 at 11:09:49 UTC, Imperatorn wrote:
>> Talking with some colleges. They have some questions regarding 
>> D:
>>
>> 1. Is D ready for prime time á la safety critical applications?
>> (I guess they mean GDC on ARM for example)
>>
>> 2. Are there any plans to make a certified compiler?
>
> Besides C and C++, I am only aware of Java (PTC/Aicas) and Ada 
> compilers as fully certified compilers.
>
> Rust has one company driving the roadmap for such kind of 
> deployments,
>
> https://ferrous-systems.com/blog/sealed-rust-the-pitch/
>
> Whereas Wilderness Labs is driving .NET IoT efforts, however 
> without certification in place,
>
> https://www.wildernesslabs.co/
>
> I am not aware of similar efforts regarding D.

We might not need the compiler to be certified if we can do other 
tests (like using Klee etc). But was curious if it had been 
discussed before.