D for safety critical applications
Dominikus Dittes Scherkl
dominikus at scherkl.de
Tue Feb 9 15:10:55 UTC 2021
On Tuesday, 9 February 2021 at 14:14:42 UTC, Bastiaan Veelo wrote:
> On Tuesday, 9 February 2021 at 13:22:22 UTC, Gregor Mückl wrote:
>> I'm not aware that any certification requires explicit proof
>> that you avoid those bugs.[...]
> This makes me wonder what certifying the tool practically
> brings to the table, apart from doors that can be entered with
> a certificate only.
Nothing. It's a key to some doors. If you like to enter them, you
have to have the key. It's the same as with every certificate.
E.g. if you don't have a CE-certificate, you can't sell your
product in the EU.
If you don't have the ISO-certificate, can't sell your controller
software to a major vendor.
> If certification of the tool does not improve the safety of the
> product and does not make it easier to test the safety of the
> product, I have the feeling that the certificate only improves
> perceived safety.
No, the certificate ensures that someone put intense thoughts
about safety into the tool and documented what usecases it is
good for and what you need to avoid to create a safe product with
it. Thoughts that you would have to do yourself if you use a tool
without that certificate.
I know, here are a lot of people that have very little trust in
thoughts that someone else put into something, but it's their
choice: use something certified or spent a lot of time to prove
If you proof it yourself anyway, a certificate maybe really
useless for you.
More information about the Digitalmars-d