Lecture

Rigorous System Design

Description

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.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.