Dr. Slotosch works with Validas AG, which is a spin-off from work of the Group of Manfred Broy at TUM. As far as I know, they do validation of tools, but not validation of existing libraries for use in safety-critical SW. Esterel has also had TüV Süd inspect their tool suite for use in applications up to SIL 3, but as far as I know TüV Süd has not explicitly inspected and validated libraries for general use in safety-critical SW.
So it was a pretty desperate state of affairs. I don't know that much has changed, because the difficulties of later qualification of existing code are large and I am not aware of any breakthrough. (Statistical evaluation is sometimes an option if the numbers are there in the right context, but many consider, as it was recently put to me by a Wise Owl, "numbers are evil". No they aren't. But the view appears to be widespread.)
One option is to use library functions with a contract specification which is similar to one that has already been fulfilled in some other use. There are such. But many firms which have such libraries/contract specs consider them IP, so good luck getting to them!
PBL On 2015-10-26 15:18 , Stefan Friedrich wrote:
> Perhaps my question was a bit imprecise. I'm rather searching for libraries that are ready to > be qualified or are qualified components in the sense of the mentioned standards. (I assume > that the qualification has to take into account the context the libs are used in, which means > that they have to be qualified by the user after all and that's why the question was I asked > for qualification support.) > > I could imagine that qualification of software components requires more effort than tool > qualification as they are part of the product. > > Am 26.10.2015 um 14:18 schrieb Rolle, Ingo:
> _______________________________________________ The System Safety Mailing List> systemsafety_at_xxxxxx >
-----BEGIN PGP SIGNATURE-----
iQEcBAEBCAAGBQJWLjueAAoJEIZIHiXiz9k+zngH/0trRXmtHtVl7cljQMem1L2c
Q7l3gzNGIlvuGfRTv1wQqATEm8wtPI9GPPJ8z5e4wtFtz+nfVgIU7ReXwoq2LMVj
m2ZBd1H2Fcegf9S98XRICByD22uxf4GyH0YcnppyaepFoQTn7XLfQCEiUs9q64nT
F4sfoCswprXqJwtRuamhY4QAinrK1wNvWVNEOGb1DecrA8cn+p/nDdma+Hvm1NG/
RvXpD8xJ9PasnVegYDYIfmII2XlWJKDeMlNRXEjab8AtL7Ow/ipm22iZ9vFN7h/0
o4aNv9QyCfrsUXOG93BSiE82sHwGFyGX/oHjOowrP/PHgYXid/OXwu7VhyrAk9g=
=MRjX
-----END PGP SIGNATURE-----
This archive was generated by hypermail 2.3.0 : Tue Feb 19 2019 - 13:17:07 CET