Principles of Modeling

Description

This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday. The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to research that centers on the role of models in science and engineering. He has been examining the use and limitations of models, their formal properties, their role in cognition and interplay with creativity, and their ability to represent reality and physics. The Festschrift contains 29 papers that feature the broad range of Edward A. Lee’s research topics; such as embedded systems; real-time computing; computer architecture; modeling and simulation, and systems design. Front Matter ....Pages I-XXVII You Can Program What You Want but You Cannot Compute What You Want (Alireza S. Abyaneh, Christoph M. Kirsch)....Pages 1-15 Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces (Gul Agha, Karl Palmskog)....Pages 16-37 Interfaces for Stream Processing Systems (Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen)....Pages 38-60 Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties (Murat Arcak, John Maidens)....Pages 61-76 Predictability Issues in Mixed-Criticality Real-Time Systems (Sanjoy Baruah)....Pages 77-87 Model-Based Representations for Dataflow Schedules (Shuvra S. Bhattacharyya, Johan Lilius)....Pages 88-105 Hybrid Simulation Safety: Limbos and Zero Crossings (David Broman)....Pages 106-121 Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework (Janette Cardoso, Pierre Siron)....Pages 122-142 Computing Average Response Time (Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop)....Pages 143-161 Modeling Dynamical Phenomena in the Era of Big Data (Bruno Sinopoli, John A. W. B. Costanzo)....Pages 162-181 A Formal Semantics for Traffic Sequence Charts (Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow)....Pages 182-205 Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models (Caroline Brandberg, Marco Di Natale)....Pages 206-222 A Semantic Account of Rigorous Simulation (Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin)....Pages 223-239 On Determinism (Stephen A. Edwards)....Pages 240-253 Lossy Channels in a Dataflow Model of Computation (Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei)....Pages 254-266 If We Could Go Back in Time... On the Use of ‘Unnatural’ Time and Ordering in Dataflow Models (Marc Geilen)....Pages 267-286 Compressed Sensing in Cyber Physical Social Systems (Radu Grosu, Elahe Ghalebi K., Ali Movaghar, Hamidreza Mahyar)....Pages 287-305 Embedded Software Design Methodology Based on Formal Models of Computation (Soonhoi Ha, EunJin Jeong)....Pages 306-325 Anytime Algorithms in Time-Triggered Control Systems (Hermann Kopetz)....Pages 326-335 Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems (Jie Liu)....Pages 336-350 The Relativity Example: Is Terminological Innovation a Good Idea? (David G. Messerschmitt)....Pages 351-359 Hierarchical System Design with Vertical Contracts (Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli)....Pages 360-382 Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures (Bernhard Rumpe, Andreas Wortmann)....Pages 383-406 Cyber-Physical Systems Education: Explorations and Dreams (Sanjit A. Seshia)....Pages 407-422 Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience (Marjan Sirjani)....Pages 423-448 Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality (Stavros Tripakis, Roberto Lublinerman)....Pages 449-477 Complexity Challenges in Development of Cyber-Physical Systems (Martin Törngren, Ulf Sellgren)....Pages 478-503 Augmenting State Models with Data Flow (Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden)....Pages 504-523 On the Road to Conviction: An Email Exchange with Edward Lee (Reinhard Wilhelm)....Pages 524-537 Back Matter ....Pages 539-539