Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
The Model-Based Systems Engineering
 

Summary: The Model-Based
Systems Engineering
Colloquium
"Compositionality and Modularity
in Embedded System Design:
Interface Theories and Interface Synthesis"
Stavros Tripakis
University of California Berkeley
Date: Friday, September 17, 2010 Time: 11:00 A.M.
Location: 2460 A.V. Williams Building Host: John S. Baras
Abstract
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

  

Source: Austin, Mark - Institute for Systems Research & Department of Civil and Environmental Engineering, University of Maryland at College Park

 

Collections: Engineering