Principles of Modeling

1. Front Matter

   Pages I-XXVII

   PDF

2. You Can Program What You Want but You Cannot Compute What You Want

   • Alireza S. Abyaneh, Christoph M. Kirsch

   Pages 1-15

3. Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces

   • Gul Agha, Karl Palmskog

   Pages 16-37

4. Interfaces for Stream Processing Systems

   • Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen

   Pages 38-60

5. Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties

   • Murat Arcak, John Maidens

   Pages 61-76

6. Predictability Issues in Mixed-Criticality Real-Time Systems

   • Sanjoy Baruah

   Pages 77-87

7. Model-Based Representations for Dataflow Schedules

   • Shuvra S. Bhattacharyya, Johan Lilius

   Pages 88-105

8. Hybrid Simulation Safety: Limbos and Zero Crossings

   • David Broman

   Pages 106-121

9. Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework

   • Janette Cardoso, Pierre Siron

   Pages 122-142

10. Computing Average Response Time

    • Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop

    Pages 143-161

11. Modeling Dynamical Phenomena in the Era of Big Data

    • Bruno Sinopoli, John A. W. B. Costanzo

    Pages 162-181

12. A Formal Semantics for Traffic Sequence Charts

    • Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow

    Pages 182-205

13. Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models

    • Caroline Brandberg, Marco Di Natale

    Pages 206-222

14. A Semantic Account of Rigorous Simulation

    • Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin

    Pages 223-239

15. On Determinism

    • Stephen A. Edwards

    Pages 240-253

16. Lossy Channels in a Dataflow Model of Computation

    • Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei

    Pages 254-266

17. If We Could Go Back in Time... On the Use of ‘Unnatural’ Time and Ordering in Dataflow Models

    • Marc Geilen

    Pages 267-286

18. Compressed Sensing in Cyber Physical Social Systems

    • Radu Grosu, Elahe Ghalebi K., Ali Movaghar, Hamidreza Mahyar

    Pages 287-305

19. Embedded Software Design Methodology Based on Formal Models of Computation

    • Soonhoi Ha, EunJin Jeong

    Pages 306-325

20. Anytime Algorithms in Time-Triggered Control Systems

    • Hermann Kopetz

    Pages 326-335

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.

• artificial intelligence
• computer architecture
• cyber physical systems (cpss)
• embedded systems
• program compilers
• programming languages
• semantics
• software engineering
• software evaluation
• specifications

• University of California, Berkeley, Berkeley, USA

  Marten Lohstroh

• National Instruments, Berkeley, USA

  Patricia Derler

• Mälardalen University, Västerås, Sweden, Reykjavík University, Reykjavik, Iceland

  Marjan Sirjani

Policies and ethics