EPFLTV - EPFL video portal

From Programs to Systems -- Building a Smarter World

<a href="//www.macromedia.com/go/getflashplayer">Click to install the plugin</a>
Click on the arrow for full screen - ESC to leave (except Linux)
Prof. Joseph Sifakis nov. 01, 2013 46mn48s
The focus of computing has been continuously shifting from programs to systems over the past decades. Programs can be represented as relations independent from the physical resources needed for their execution. Their behavior is often terminating, deterministic and platform-independent. On the contrary, systems are interactive. They continuously interact with an external environment. Their behavior is driven by stimuli from the environment, which, in turn, is affected by their outputs. Modern computing systems break with traditional systems, such as desktop computers and servers, in various ways: 1) they are instrumented in order to interact with physical environments; 2) they are interconnected to allow interaction between people and objects in entirely new modes; 3) they must be smart to ensure predictability of events and optimal use of resources. Currently, we lack theory methods and tools for building trustworthy systems cost-effectively. In this talk, Prof. Sifakis advocates system design as a formal and accountable process leading from requirements to correct-by-construction implementations. He also discusses current limitations of the state of the art and calls for a coherent scientific foundation of system design based on a three-pronged vision: 1) linking the cyber and the physical worlds; 2) correctness-by-construction; 3) adaptivity. Prof. Sifakis concludes with general remarks about the nature of computing and advocates a deeper interaction and cross-fertilization with other more mature scientific disciplines.
From:Microsoft Research Asia
Event type:Congress&Conferences
Video type:Flash video
       icon
Video number:2286
Embed this video on your web site:
URL of this video

Post a comment

Related video

illustration Introduction - oct. 22, 2018
illustration 02_Key note speech of EERA - oct. 22, 2018
illustration 3_Key note speech ElCom - oct. 22, 2018
illustration 4_Swissgrid - oct. 22, 2018
illustration 5_EPFL-PWRS-Ancillary Services - oct. 22, 2018
illustration 6_HES-SO-FR-Ancillary services - oct. 22, 2018
illustration 7_BFH-PVLab-PV-storage measuring norms - oct. 22, 2018
illustration 10a_Pitch_CSEM - oct. 22, 2018
illustration 10b_Pitch_ZHAW - oct. 22, 2018
illustration 10c_Pitch_EPFL-DESL and EPFL-LCA2 - oct. 22, 2018
illustration 10d_Pitch_EPFL-PVLab - oct. 22, 2018
illustration 10e_Pitch_HES-SO FR - oct. 22, 2018
illustration 10f_Pitch_BFH-PVLab - oct. 22, 2018
illustration 10g_Pitch_ETHZ-IKG - oct. 22, 2018
illustration 8_BFH-PVLab-Energy strategy Burgdorf - oct. 22, 2018