Summary: The Model-Based
"Compositionality and Modularity
in Embedded System Design:
Interface Theories and Interface Synthesis"
University of California Berkeley
Date: Friday, September 17, 2010 Time: 11:00 A.M.
Location: 2460 A.V. Williams Building Host: John S. Baras
Compositional methods, that allow to assemble smaller components into larger
systems both efficiently and correctly, are not simply a desirable feature in system
design: they are a must for designing large and complex systems. In this talk I will
present some of our recent work on this general theme in the context of embedded
systems. In particular, I will discuss two theories of relational interfaces: synchronous
relational interfaces, targeted at synchronous systems, from digital circuits to
hierarchical block-diagram based languages such as Simulink; and actor interfaces,
targeted at dataflow models and performance properties such as throughput or latency.
I will also present some work on modular code generation from hierarchical