Rigorous System Design

This lecture by the instructor delves into the challenges of designing reactive systems, emphasizing the importance of correctness and productivity. The discussion covers the evolution of computer science, the shift from programming to system design, and the difficulties posed by unpredictable interactions. The lecture explores the concept of reactive systems, the challenges of programming multi-core systems, and the need for a formalized design process. It also touches on the principles of separation of concepts, coherence, and correctness by construction. The instructor explains the significance of architectures, glue operators, and composability rules in achieving correct system design, highlighting the importance of semantic coherence and expressiveness. The lecture concludes with a focus on refinement relations and the concept of correctness by construction.