ETAPS 2014: 5-13 April 2014, Grenoble, France
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.
Systems are inherently complex and hard to design owing to unpredictable and subtle interactions with their environment, emergent behaviors, and occasional catastrophic cascading failures, rather than to complex data and algorithms. Compared to function software, their complexity is exacerbated by additional factors such as concurrent execution, uncertainty resultingfrom interaction with unpredictable environments, heterogeneity of interaction between hardware and software, and nonrobustness (small variations in a certain part of the system can have large effects on overall system behavior).
Theory of computation is, by its very nature, of little help for studying systems. Even if we perfectly understand the properties of a program and the properties of a hardware target platform, we have no theory to predict the behavior of the program running on the platform.
The aim of this workshop is to discuss the Systems Perspective in Computing, by addressing the two following issues:
Extending programing theory to systems:
Foundations for system design:
Alberto Sangiovanni-Vincentelli (University of California at Berkeley) Let's get physical: computer science meets systems (joint work with Pierluigi Nuzzo)
Janos Sztipanovits (Vanderbilt School of Engineering) OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems (joint work with Ted Bapty, Sandeep Neema, Larry Howard and Ethan Jackson)
David Harel (Weizmann Institute of Science) Steps Towards Scenario-Based Programming with a Natural Language Interface (joint work with Gordon Michal)
Manfred Broy (Technische Universität München) A Model of Dynamic Systems
Martin Wirsing (Ludwig-Maximilians-Universität München) Assembly Theories for Communication-Safe Component Systems (joint work with Rolf Hennicker, Alexander Knapp)
Moshe Vardi (Rice University) Compositional Temporal Synthesis (joint work with Yoad Lustig and Sumit Nain)
Kim Guldstrand Larsen (Aalborg University) Parametric and Quantitative Extensions of Modal Transition Systems (joint work with Uli Fahrenberg, Axel Legay and Louis-Marie Traonouez)
Lenore Zuck (University of Illinois at Chicago) Reasoning about Network Topologies in Space (joint work with Kenneth McMillan)
Doron Peled (Bar Ilan University) Compositional Branching-Time Measurements (joint work with Radu Grosu, C.R. Ramakrishnan, Scott Smolka, Scott Stoller and Junxing Yang)
Michel Raynal (IRISA Rennes) What Can be Computed in a Distributed System ?
Joseph Sifakis (CNRS/VERIMAG and EPFL) Toward a System Design Science
Saddek Bensalem (Verimag, Univ. of Grenoble, France) Yassine Lakhnech (Verimag, Univ. of Grenoble, France) Axel Legay (INRIA rennes, France)
We have 53 guests and no members online