[SystemSafety] IEC Technical Specification on Formal Methods
Derek M Jones
derek at knosof.co.uk
Thu Jun 21 13:56:54 CEST 2018
Peter,
> 20 participating members voted yes; a simple majority of 17 is needed. However, only four countries,
> namely China, France, Germany and the UK, nominated experts (this is the IEC term for people
> nominated by their National Committees who participate in IEC standards-committee meetings). At
> least five countries need to nominate experts for the proposal to go ahead. But we only have four.
It is a bit more than nominating an expert.
Countries have to agree to support the work, i.e., they
will set up a committee to monitor the work (which means somebody has
to attend meeting) and make recommendations to their parent
national committee.
This committee might only have one active member (it happens).
--
Derek M. Jones Software analysis
tel: +44 (0)1252 520667 blog:shape-of-code.coding-guidelines.com
More information about the systemsafety
mailing list