TU Wien Informatics

20 Years

Modeling, Simulating, and Compiling with Timing Semantics

  • 2012-10-04
  • Research

In Cyber-Physical Systems (CPS) the notion of time is inherent

Abstract

In Cyber-Physical Systems (CPS) the notion of time is inherent; the dynamics of a physical system (the plant) evolve in real-time and the cyber part (the embedded systems and networks) interacts with the plant using sensors and actuators. In CPS, timing is a correctness property, not only a quality (performance) factor, making design and implementation considerably different compared to other computer systems. An important design problem is how such systems can be modeled and simulated (virtually prototyped) and then automatically realized by compiling models/ programs of the cyber part to a target platform. The key challenges lie in expressive extensible modeling capabilities and semantically correct translation, both concerning functional and timing semantics. In this talk, David Broman will discuss two ongoing projects that are addressing these challenges: Modelyze, a host language for embedding different modeling formalisms, and the Precision Timed Infrastructure, an infrastructure where an intermediate language, a compiler, and an ARM-based microprocessor are extended with instructions and semantics for handling real-time.

Biography

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.

Note

This talk is organized by the Compilers and Languages Group at the Institute of Computer Languages. Tea at the library of E185/1, Argentinierstr. 8, 4th floor (central) at 14:30.

Speakers

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.

Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!