D for safety critical applications

[Imperatorn]

On Monday, 8 February 2021 at 11:19:44 UTC, Gregor Mückl 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?
>
> What kind of safety critical applications are we talking about? 
> Which certifications are you targeting for your product(s)?
>
> I'm not currently aware of any certified compilers for D. It 
> would be cool if one existed, though.

I'm in a bit of a hurry atm, but basically IEC 61508 and ISO 
26262 (we have older systems for EN 50128 and EN 50657 but they 
are not actively developed):

https://www.iar.com/iar-embedded-workbench/certified-tools-for-functional-safety/