[SystemSafety] New paper on MISRA C

[Derek M Jones]

Mario,

> 100s of academians have been contributing over the last 60 years or so
> to make software development an engineering discipline, many nice

Until a few years ago the number barely reached double 
digits:http://shape-of-code.coding-guidelines.com/2011/03/31/empirical-software-engineering-is-five-years-old/

Academic software engineering is primarily based on ego and bluster:
http://shape-of-code.coding-guidelines.com/2016/05/23/the-fall-of-rome-and-the-ascendancy-of-ego-and-bluster/

> results have actually been transferred into practice (look at what
> Google and FB do in their core systems to avoid extremely expensive
> faults, this is remarkable), and many many more are waiting to be
> transferred, some of them with clear evidence of effectiveness. However,

Well, they are using tools to find mistakes in code.  People have been
doing that for decades, no academics needed.


-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com