[trustable-software] Meeting re trustable C programming standard - Thursday 10th November, Epsom England, 19:00

Andrew Banks andrew at andrewbanks.com
Mon Nov 14 15:52:41 UTC 2016


Hi Paul

Just a quick (albeit belated) note to say thanks for organising last week - and thanks to the other attendees for some good discussions

The food wasn't bad either :-)

A

-----Original Message-----
From: trustable-software [mailto:trustable-software-bounces at lists.veristac.io] On Behalf Of Paul Sherwood
Sent: 11 November 2016 10:59
To: Discussion about trustable software engineering
Subject: Re: [trustable-software] Meeting re trustable C programming standard - Thursday 10th November, Epsom England, 19:00

Hi all,
seven of us met over dinner to discuss how best to move forward.

The discussion was productive and I hope the key points below are uncontroversial for the attendees. In any case, feedback and comments are welcome:

- there's already a history of collaboration between MISRA and CERT people
- getting to a unified and public standard would be a clear win
- if possible we should focus on rules that are absolute, verifiable with tests

We outlined some clear steps to take, as follows:

- establish a public git-backed wiki as a new base for Robert's established CERT work, with a workflow for potential contributors to submit suggestions and patches
- establish a passworded git-backed wiki as a base for the proposed ISO study group. Workflow for this will be partially private (at least for
now)
- CFP to contributors for the above
- further discussions with MISRA folks in the hope that we can get to a combined collaboration on this
- aim to get clarity on (who and how) by January, to give time for Robert to prepare and agree overall schedule for presentation to ISO in April

In parallel with the above, we can start to think about establishing code/infrastructure to provide evidence in support of this work:
- download the existing example test cases from both MISRA and CERT, and investigate their usefulness in a CI pipeline demonstrator
- map the standards themselves to the CI
- workflow for changes in standards
- how to report results and demonstrate compliance

br
Paul

On 2016-11-04 18:33, Paul Sherwood wrote:
> Hi folks,
> 
> as mentioned previously we're aiming to get together next week with 
> Robert C Seacord, who is over from USA.
> 
> I'm expecting there'll be a handful of attendees, and propose Indian 
> food at
> 
> http://www.everestspicelondon.co.uk
> 
> The venue is close to Epsom station. Pls ping me an email if you're 
> thinking of attending.
> 
> Looking forward to it :)
> 
> br
> Paul
> 
> 
> 
> 
> 
> _______________________________________________
> trustable-software mailing list
> trustable-software at lists.veristac.io
> https://lists.veristac.io/cgi-bin/mailman/listinfo/trustable-software

_______________________________________________
trustable-software mailing list
trustable-software at lists.veristac.io
https://lists.veristac.io/cgi-bin/mailman/listinfo/trustable-software




More information about the trustable-software mailing list