The engineering of high-quality software requirements generally relies on assumptions about the environment in which the software-to-be has to operate. As assumptions are added or changed, so must the software requirements. Ensuring the correctness of this process is challenging and introduces risk to the safe operation of any software that implements them. In this talk, I will be presenting some of our recent work on safe-by-construction adaptations of software systems in which we try to address such problems both at design- and run-time.
Find out more and subscribe at the Risk Institute Online page