TOCS Event-Silicon Valley Campus - Carnegie Mellon University

TOCS Event


David Broman


Assistant Professor, Linköping University Sweden
Visiting Scholar, UC Berkeley


September 17, 1:30 pm



CMUSV, Rm 118 [directions]

[login as guest]

Title: Modeling, Compiling, and Executing with Ubiquitous Notion of Time

Precise control of execution time is vital when developing complex cyber-physical systems (CPS); the time it takes to execute a specific task is a correctness criterion, not just a performance factor. An important design problem is how to model and simulate (virtually prototype) CPS and then automatically compile the model's cyber part to a target platform. The key challenges lie in providing extensible modeling capabilities and to guarantee semantically correct translations -- both concerning functional and temporal semantics. In this talk, I will discuss two ongoing projects that are addressing these challenges: Modelyze, a host language for embedding various modeling formalisms, and the Precision Timed Infrastructure, an infrastructure where an intermediate language, a compiler, and a microprocessor are extended with semantics for handling real-time. 

Speaker Bio:

David Broman is currently a visiting scholar at UC Berkeley, USA, working in the Ptolemy group at the Electrical Engineering & Computer Science department. He is an assistant professor at Linköping University in Sweden, where he also received his PhD in computer science in 2010. David's research interests include programming and modeling language theory, compiler technology, software engineering, and mathematical modeling and simulation of cyber-physical systems. He has worked five years within the software security industry, co-founded the EOOLT workshop series, and is member of the Modelica Association and the Modelica language design group.