Principles of Modeling

✍ Scribed by Marten Lohstroh, Patricia Derler, Marjan Sirjani

• Publisher: Springer International Publishing
• Year: 2018
• Tongue: English
• Leaves: 564
• Series: Lecture Notes in Computer Science 10760
• Edition: 1st ed.
• Category: Library

✦ Synopsis

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 60^th 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.

✦ Table of Contents

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

✦ Subjects

Computer Science; Programming Languages, Compilers, Interpreters; Computer Systems Organization and Communication Networks; Computer Hardware; Artificial Intelligence (incl. Robotics); The Computing Profession