Scripting and ISO26262 certificate 3

Question

Hello,

I would like to ask scripting and ISO26262 certificate as below.

Question :

If the result of sanity checks is OK, can it be proved that models modified by scripting in medini are same level qualification as those modified by manual operation?

For instance, is it correct that the function of ‘Validate’ can be guaranteed if sanity check is OK?

Best regards,

Osajima

medini_1069443448 · Answer

Hello,

[Question background]

First I created FSR, TSR, HSR, SSR in medini project file with specific scripting which did not include Consistency Check.

After creating them, I ran 'Validate' function of medini for my project file.

Despite there is a wrong decomposition on those SRs of the project file, 'Validate' function did not find the wrong decomposition.

I added Consistency Check to my scripting, then I found an illegal data on the project file.

I modified the data and Consistency Check was changed to OK.

After that, I ran 'Validate' function again, then the 'Validate' function could find wrong decomposition without problems.

That's why I thought that it did not happen that 'Validate' function did not find the wrong decomposition if Consitency Check was OK.

Best regards,

Osajima

medini_1023909254 · Answer

Hello,

what do you mean by "'validate' function operates without problems in medini"?

And no, neither Consistency Check nor Validation have any direct relation to scripting.

Eckhardt

medini_1069443448 · Answer

Hello Eckhadt-san,

Thank you very much for your information.

I know that the 'validate' function is different from Consistency Check in medini.

If Consistency Check results are without issues, can it be assured that the 'validate' function operates without problems in medini?

Does the following mean that it can't be also assured and it depends on project file with scripting file?

in case the project is having a consistency issue, the validation may not find problems or report wrong problems.

Without any scripting files, it can be assured that the 'validate' function operates without problems in medini can't it?

I'm sorry to ask it over and over.

Osajima