+ Safe and secure continuous deployment of software updates for CPSs
> [name=wucke13] Safe and secure surely sounds like Rust.
+ Over the air software updates of CPSs
> [name=wucke13] Digitally signed binaries?!
+ Runtime verification methods of CPSs
> [name=wucke13] Contract Programming! https://docs.rs/contracts
> https://dlang.org/spec/contracts.html
+ Assurance and certification of DevOps methodologies for CPSs
> [name=wucke13] Sounds like a reason to talk to Ferrous again
+ Runtime monitoring on complex high-performance/heterogeneous platforms
+ Secure data transmission
> [name=wucke13] What new things to do here? AFAIK this topic is long solved. What challenges the existing solutions?
+ Traceability between operational data with development data
> [name=wucke13] What does this mean?
+ Automated methodologies for testing, verification and validation of CPSs
> [name=wucke13] Say hello `cargo test` & `gherkin`?