[C-safe-secure-studygroup] Update from the recent MIRA Meeting

[Paul Sherwood]

Hi Andrew,
On 2017-02-10 06:21, Andrew Banks wrote:
> Re: [C-safe-secure-studygroup] Update from the recent MIRA Meeting
> 
> RCS wrote:
> 
> ≫ Thanks for the update.  As a quick aside, I'm not planning on
> doing anything under a CERT banner …
> 
> Understood…

So far this is not going as I hoped, based on our original meeting in 
Epsom last year.

For my part I met with Roger Rivett before Xmas and tried to explain 
what we are hoping to achieve. I followed up on the meeting with an 
email but did not receive a reply, so I'm taking it that your feedback 
here supersedes my discussions with Roger.

> ≫ that  ISO/IEC IS 17961 will be developed in parallel with MISRA
> and be a complementary document
> ≫ not a replacement. Let me know if I got that wrong, even if in a
> subtle way.
> 
> That's good… at £142 for an OFFICIAL PDF copy, ISO 17961 is quite
> expensive ;-)

I sure I'm not alone here in hoping that we can get to useful outputs 
which are free in both senses of the word.

> As you know, MISRA have published their assessment of the coverage of
> MISRA C:2012 against TS 17961 … your feedback on this (free download
> PDF) would be welcome.
> 
> And as a little nudge, MISRA fully respected the ISO position
> regarding quoting of the Standard… I trust (in the talk of assessing
> MISRA rules) that this study group will fully respect the MISRA IPR
> therein.

I'm sure that you're correct.

Coming back to the affiliations/openness thing, As I understand it there 
are several possible options

1. Further discussion with MIRA/MISRA (and also ISO) in the hope that we 
get support to create specific derivative works
2. Develop competing standards
3. Give up addressing on safety and focus on security only
4. Give up completely

I'm not giving up, and will be happy to work on 1.

How do contributors here feel about the options?

br
Paul

[1] https://www.misra.org.uk/forum/viewtopic.php?f=56&t=1614