My research focuses on investigating sound modeling foundations for software systems, available throughout their lifecycles, including and in particular at runtime. I apply my research to software systems ranging from small embedded systems to large cloud-based systems.