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
Video number:2286
Embed this video on your web site:
URL of this video

Post a comment

Related video

illustration Reactivate, Rewire, Restore - Priming the nervous system to optimize function after spinal cord inju - june 05, 2018
illustration Functional recovery following paralysis facilitated by epidural and transcutaneous spinal stimulatio - apr. 24, 2018
illustration Projects in Visualizing Data 1975-2017 - dec. 15, 2017
illustration Music Semantics: Problems and Prospects - dec. 04, 2017
illustration Visual restoration : validations of the photovoltaic retinal prosthesis and of optogenetic therapy i - nov. 21, 2017
illustration Data art, creating artworks from scientific data? - nov. 13, 2017
illustration NCCR Robotics - Swiss Robotics Industry Day 2017 - nov. 02, 2017
illustration 2017 SCCER FURIES Conference - Intro - nov. 02, 2017
illustration Improving PV power forecasting in the distribution grid - nov. 02, 2017
illustration Inverter Current Control in Weak Distribution Grids - nov. 02, 2017
illustration Arbon demonstrator: Digitalization beyond smart metering - nov. 02, 2017
illustration Funding opportunities - nov. 02, 2017
illustration Dynamic aspects of electrical power systems - nov. 02, 2017
illustration Best Poster Award - nov. 02, 2017
illustration Improving PV power forecasting in the distribution grid - nov. 02, 2017