This course covers the theory and practice of concurrent models of computation (MoCs) with applications to cyber-physical systems modeling and design, embedded systems, and concurrent and distributed software systems. Topics include timed models of computation; modeling mixed discrete and continuous systems (hybrid systems); concurrent composition of state machines; analysis for boundedness, deadlock, and determinacy; formal semantics (fixed point semantics and metric-space models); and language design (type systems, higher-order components, aspect-oriented modeling, structured design). The MoCs covered will vary and may include discrete-events (e.g. DEVS), synchronous/reactive (e.g. Esterel), process networks, continuous-time (e.g. Simulink), acausal models (e.g. Modelica), threads, message passing, publish and subscribe, concurrent state machines, dataflow, rendezvous (e.g. CSP, CCS), and time-triggered models. Heterogeneous compositions of MoCs, such as hybrid systems and Statecharts, are also be included, with a particular focus on the use of heterogeneous compositions for modeling and design of cyber-physical systems. Experimental work will provide exposure a variety of MoCs, languages, and tools.

Instructor:

Professor Edward A. Lee, eal@eecs.berkeley.edu.

Office hours: Wednesdays 11:30-12:30, Thursdays 3:30-4:30 545Q (call 3-3728 for access).

Schedule:

Tuesdays and Thursdays 2:00-3:30PM, 293 Cory
Office hours: Wednesdays 11:30-12:30, Thursdays 3:30-4:30 545Q (call 3-3728 for access)

Required reading:

Claudius Ptolemaeus, Editor, System Design, Modeling, and Simulation, Ptolemy.org, 2014 (free download).
Edward A. Lee (2011), Concurrent Models of Computation: An Actor-Oriented Approach (Draft version, provided by chapter).

Technology:

We will use Ptolemy II as an experimental framework. Please download the development version. Chapter 2 of System Design, Modeling, and Simulation is a tutorial on using Ptolemy II.

Requirements:

The course requires project with a final paper and presentation (35%)
Critical review of peer's project papers (5%)
Homework assignments (20%)
Two quizzes (20% each)

Concurrent Models of Computation