[SystemSafety] Capabilities of software safety and security verification tools

[Derek M Jones]

All,

Just found out about: https://vessedia.eu/
"VESSEDIA (Verification Engineering of Safety and Security Critical 
Industrial Applications) aims at enhancing safety and security of 
information and communication technology (ICT) and especially the 
Internet of Things (IoT)."

through the proposal to start work on two new ISO standards:
SC 7 NWIP 23643 Software and systems engineering -- Capabilities of 
software safety and security verification tools
SC 7 NWIP 23531 Systems and software engineering -- Capabilities of 
issue management tools

Is this just an EU funded project that is trying to look relevant by
starting work on an ISO standard?

An ISO Standard is now de rigueur for any new technology.
The AI bandwagon has brought into being a whole new top level ISO SC:
http://shape-of-code.coding-guidelines.com/2017/12/02/isoiec-jtc-1sc-42-artificial-intelligence/

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