Fault Consistency Checks

[ammar ashraf]

I find this consistency check in fault analysis in some papers. I don't find it in new versions of OSATE.

Was it removed for a specific reason ?

Is there a way I can use it now ? Should I use it ?

[Sam Procter]

Hello,

Can you provide more information about this? In particular, links to the papers that mention the analysis or describe its functionality would be helpful.

Yours truly,

Sam

[Jerome Hugues]

Hi,

 

These checks were part of older versions of OSATE, they have been removed as they were triggering too many false warnings. Those false warnings were raised when the model was valid but missing corner-cases details not necessary to run other analyses.

 

Regards,

 

From: os...@googlegroups.com <os...@googlegroups.com> on behalf of Sam Procter <sam.p...@gmail.com>
Date: Wednesday, August 23, 2023 at 10:04 AM
To: OSATE <os...@googlegroups.com>
Subject: [OSATE] Re: Fault Consistency Checks

Hello,

 

Can you provide more information about this? In particular, links to the papers that mention the analysis or describe its functionality would be helpful.

 

Yours truly,

Sam

 

On Wednesday, August 23, 2023 at 3:13:33 AM UTC-4 ammar ashraf wrote:

I find this consistency check in fault analysis in some papers. I don't find it in new versions of OSATE.

Was it removed for a specific reason ?

Is there a way I can use it now ? Should I use it ?

--
You received this message because you are subscribed to the Google Groups "OSATE" group.
To unsubscribe from this group and stop receiving emails from it, send an email to osate+un...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/osate/00ee1d6a-7a6e-4ec8-a35f-92a6dbacf699n%40googlegroups.com.