Book chapter on `Uncertainty-Aware DevOps for Cyber-Physical Systems and Runtime Verification`
Last year my colleague Violet and I had the chance to contribute to a chapter for the book “Roadmap for DevOps in Cyber-physical systems” (available from Springer) edited by Sebastiano Panichella, Paolo Arcaini, Myra B Cohen and Aitor Arrieta. This gave us the chance to finally look into the topic of Runtime Verification (RV) again, a topic that had brought me many good results and I felt I had been neglecting a bit. Sebastiano also summarised the book a bit on the other hell-site LinkedIn.
So together with a handful of usual suspects (Shaukat Ali, Domenico Bianculli, Antonio Cicchetti, Robbert Jongeling & Catia Trubiani), we brain-stormed a bit on what is and what could be in the field of DevOps. The RV-bit was mostly by us two and Domenico, and we identified some potential for RV in CI/CD-pipelines and how you’d go about it. In fact, I am still supervising Jakob Overrein, a Master-student at UiO, who’s working on a thesis where be look at how DevOps and (e)BPF play along. We’re in particular looking for repositories with pipeline-automations that either use BPF in the pipeline or deploy it.
Back to our book chapter on “Uncertainty-Aware DevOps for Cyber-Physical Systems and Runtime Verification” (publisher’s page) — here’s the abstract:
This chapter raises the attention on possible sources of uncertainties (e.g., workload of requests, software and/or hardware availabilities) that may arise at both development and operational stages (DevOps) in cyber-physical systems (CPS). Given that such uncertainties are unavoidable, a possible solution is to devise an uncertainty-aware methodology to model, analyze, and test these systems, thus anticipating glitches, if any. This way, we aim to monitor and verify the stated requirements at runtime, with the goal of guaranteeing that systems behave as expected. Our main contribution is to shed the light on the most relevant uncertainties (and to foresee their smooth handling) when applying the DevOps paradigm for CPS.
There’s still plenty of work to do there, and RV seems like a good match to deal with uncertainties at runtime! Please do contact us or really any of the authors if you’d like to receive a copy of one of the chapters if your shop doesn’t have a Springer-subscription!
This is also a reminder that things take time: we met for the seminar end of 2023, worked on the book through 2024/25, and it was published in early 2026…
It was such a pleasure to be “trapped” in Shonan with this excellent crowd, and we hope to do more work with people like Shaukat and Paolo where our interests overlap in the future :-) So enjoy this shot of Mt. Fuji and of the Norwegian participants to Shonan seminar #204 “DevOps for Cyber-physical Systems” as well!