D for safety critical applications

[Paulo Pinto]

On Wednesday, 17 March 2021 at 21:37:01 UTC, Dukc wrote:
> On Wednesday, 17 March 2021 at 03:30:17 UTC, Lasheen wrote:
>>
>> where i can find a detailed tutorial that can help me to 
>> understand how to use D
>> in AI apps and specially when mission-critical system is 
>> needed.
>
> Not a tutorial, but Walter has written many articles that 
> should hint towards the right mindset: 
> https://digitalmars.com/articles/index.html
>
> Mission-critical systems are something I feel it is terribly 
> difficult to find tutorials on. In any language, not just in D. 
> One can learn by watching by following development of critical 
> open-source projects - OpenSSL, Tor or different Unix kernels 
> for example. But other than them, I feel critical systems 
> design is an art that tends be locked in the proprietary world 
> - correct me if I'm wrong.

That knowledge is available if one searches for it.

https://www.perforce.com/resources/qac/misra-c-cpp

https://frama-c.com/

https://www.rapitasystems.com/downloads/validation-cots-ada-compiler-safety-critical-applications

https://www.amazon.com/Real-Time-Critical-Systems-Prototype-Integration/dp/1984171992

https://dl.acm.org/doi/10.5555/111797.111813