<![CDATA[MISRA Discussion Forums - MISRA SA discussions]]> https://forum.misra.org.uk/ Thu, 05 Nov 2026 13:03:31 +0000 MyBB <![CDATA[ISO 26262 trace guideline]]> https://forum.misra.org.uk/showthread.php?tid=1096 Tue, 12 Aug 2014 03:58:49 +0000 softwaresafetyllc]]> https://forum.misra.org.uk/showthread.php?tid=1096 I cannot find that guideline either as free or paid posting. What are the search terms I should use?

Kind regards,
Richard Vance
Software Safety LLC
USA/Mexico]]> I cannot find that guideline either as free or paid posting. What are the search terms I should use?

Kind regards,
Richard Vance
Software Safety LLC
USA/Mexico]]> <![CDATA[MISRA Safety Case Guideline]]> https://forum.misra.org.uk/showthread.php?tid=1067 Mon, 16 Jun 2014 05:41:52 +0000 tkuwayama60]]> https://forum.misra.org.uk/showthread.php?tid=1067 Hearing from colleague attended IQPC 4th International Conference “Applying ISO 26262”, I got to know MISRA is now working on Safety Case Guideline. Is there any public available draft of this ? I’m interested in how security issue is discussed within the case.

Thanks in advance,
T. Kuwayama, OTSL Inc.]]> Hearing from colleague attended IQPC 4th International Conference “Applying ISO 26262”, I got to know MISRA is now working on Safety Case Guideline. Is there any public available draft of this ? I’m interested in how security issue is discussed within the case.

Thanks in advance,
T. Kuwayama, OTSL Inc.]]> <![CDATA[MISRA controllability rationale]]> https://forum.misra.org.uk/showthread.php?tid=894 Tue, 01 May 2012 11:43:47 +0000 Haasec]]> https://forum.misra.org.uk/showthread.php?tid=894 I found a reference on the internet yesterday that in '06 or '07 MISRA had created a technical report that helps an engineer classify controllability for ISO-26262. It also indicated that this report is free? I did look in the publications section but I didn't seem to find the technical report name that I found elsewhere on the internet. Could someone please provide some more detail on this report? I understand that the SAEJ2980 specification is in development but I can't wait for it at this time.


Regards,
Chad Haase]]> I found a reference on the internet yesterday that in '06 or '07 MISRA had created a technical report that helps an engineer classify controllability for ISO-26262. It also indicated that this report is free? I did look in the publications section but I didn't seem to find the technical report name that I found elsewhere on the internet. Could someone please provide some more detail on this report? I understand that the SAEJ2980 specification is in development but I can't wait for it at this time.


Regards,
Chad Haase]]> <![CDATA[Formal Verification of Automotive SW]]> https://forum.misra.org.uk/showthread.php?tid=827 Wed, 18 May 2011 10:21:08 +0000 M.K. Srivas]]> https://forum.misra.org.uk/showthread.php?tid=827
Does either ISO 26262 or MISRA SA documents provide any guidelines or requirements regarding use of "formal verification techniques" for ensuring correctness of safety-critical automotive SW? ANy benchmarks?

Can I get any references to significant works in applying formal verification techniques to auto-motive SW?

I'd appreciate if you can provide feedback.

Thanks and regards,

Srivas]]>
Does either ISO 26262 or MISRA SA documents provide any guidelines or requirements regarding use of "formal verification techniques" for ensuring correctness of safety-critical automotive SW? ANy benchmarks?

Can I get any references to significant works in applying formal verification techniques to auto-motive SW?

I'd appreciate if you can provide feedback.

Thanks and regards,

Srivas]]> <![CDATA[ISO 26262 focuses on stating requirements, MISRA SA provides]]> https://forum.misra.org.uk/showthread.php?tid=804 Tue, 18 Jan 2011 05:08:22 +0000 mragupat]]> https://forum.misra.org.uk/showthread.php?tid=804 A reminder that the MISRA Guidelines for Safety Analysis of Vehicle Based Programmable Systems (MISRA SA) will be very helpful to an organization seeking to implement functional safety management processes for the first time. While ISO 26262 focuses on stating requirements, MISRA SA provides guidance on understanding such requirements."

I don't have idea about ISO 26262. Process champion is looking for more details. Is this MISRA SA applicable for software team??? Please let me know what is the advantage to the community if we follow this process?]]> A reminder that the MISRA Guidelines for Safety Analysis of Vehicle Based Programmable Systems (MISRA SA) will be very helpful to an organization seeking to implement functional safety management processes for the first time. While ISO 26262 focuses on stating requirements, MISRA SA provides guidance on understanding such requirements."

I don't have idea about ISO 26262. Process champion is looking for more details. Is this MISRA SA applicable for software team??? Please let me know what is the advantage to the community if we follow this process?]]> <![CDATA[Question regarding Integrity Analysis]]> https://forum.misra.org.uk/showthread.php?tid=468 Tue, 04 Mar 2008 12:42:24 +0000 david ward]]> https://forum.misra.org.uk/showthread.php?tid=468
Quote:Both the MISRA Integrity Report and the Safety Analysis Guidelines refer to the following probabilities:

Reasonably Possible
Unlikely
Remote
Very Remote
Extremely Improbable

However there is never an explicit definition of the probablities associated with these categories and the categories do not directly map onto the probabilities defined in Table A.2 of the integrity report. Are there explicit definitions for these categories or can I assume the following?

Probable = Reasonably Possible
Occasional = Unlikely
Remote = Remote
Improbable = Very Remote
Implausible = Extremely Improbable
]]>
Quote:Both the MISRA Integrity Report and the Safety Analysis Guidelines refer to the following probabilities:

Reasonably Possible
Unlikely
Remote
Very Remote
Extremely Improbable

However there is never an explicit definition of the probablities associated with these categories and the categories do not directly map onto the probabilities defined in Table A.2 of the integrity report. Are there explicit definitions for these categories or can I assume the following?

Probable = Reasonably Possible
Occasional = Unlikely
Remote = Remote
Improbable = Very Remote
Implausible = Extremely Improbable
]]> <![CDATA[Welcome]]> https://forum.misra.org.uk/showthread.php?tid=424 Wed, 05 Dec 2007 09:47:57 +0000 david ward]]> https://forum.misra.org.uk/showthread.php?tid=424
The Working Group responsible for the MISRA SA document will consider questions posted here and if appropriate give an official response (which will be posted by the \"MISRA Reply\" user). Any other comments and responses from any posters shall not be considered an official MISRA position.

We expect to respond to questions on an approximately monthly basis so if you don't hear from us, please bear with us as we have day jobs to do too!]]>
The Working Group responsible for the MISRA SA document will consider questions posted here and if appropriate give an official response (which will be posted by the \"MISRA Reply\" user). Any other comments and responses from any posters shall not be considered an official MISRA position.

We expect to respond to questions on an approximately monthly basis so if you don't hear from us, please bear with us as we have day jobs to do too!]]>