ITEA
BUMBLE
Blended modelling for cross-disciplinary software and systems engineering.
SafeCOP addressed cooperating cyber-physical systems where safety depends on wireless communication between independent systems. The work covered runtime safety assurance, security and the evidence needed to argue that cooperative behaviour remains safe.
Contribution centred on runtime safety assurance for cooperative behaviour and on the evidence required to support it.
Cooperation between independent systems is where safety and security arguments must be built together rather than in sequence.