DepDevOps 2020 programme
Note: All times are in the CEST timezone.
9:30 – 9:45 Welcome
9:45 – 10:15 Invited talk 1: Automating the design-operation continuum of Cyber Physical Systems of Systems (Goiuria Sagardui, MGEP)
10:15 – 10:45 Invited talk 2 – Iterative software update process and technologies for dependable embedded systems (Patrick Uven, OFFIS)
10:45 – 11:00 BREAK
11:00 – 11:30 Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems using Model-based Engineering
11:30 – 12:00 Towards a DevOps approach in Cyber Physical Production Systems using Digital Twins
12:00 – 12:30 Leveraging Semi-Formal Approaches for DepDevOps