Institute of Computer Languages
Compilers and Languages Group

Talks 2013 - Raimund Kirner

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zu folgendem Vortrag ein:

Priv.Doz. Dr. Raimund Kirner

University of Hertfordshire, Hatfield, UK


Streamix - Streaming Networks with Mixed Time Criticality

Datum: Donnerstag, den 20. Juni 2013
Zeit: 14:00 c.t. *)
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
*) Tee: 14:00 Uhr in der Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)


In this talk we present a stream-based coordination language for mixed time-criticality systems. Mixed time criticality means that the system has different types of timing requirements, ranging from services with hard real-time to soft real-time, performance requirements, and timing-independent services.

This language, called Streamix, is a hybrid of the coordination language AstraKahn, presented in the previous talk today, and a real-time progress layer. As a coordination language with mixed time-criticality, Streamix focuses on expressing the concurrency relations of components as well as their timing requirements. With Streamix we can annotate different criticality-levels of timing requirements to different subnets of the streaming network.

The important part of the underlying runtime system is to ensure that the services with real-time requirements can be ensured independently of the execution of non-real-time services. The language also provides adequate interfaces to safely allow data flow between different levels of time-criticality, also from lower criticality to higher criticality. A case study from the health-care demonstrates the need of such programming models for mixed time-criticality.

Kurzbiographie von Raimund Kirner

Raimund Kirner is a Reader in Cyberphysical Systems at the University of Hertfordshire. He has published more than 80 refereed journal and conference papers and received two patents. He received his PhD in 2003 from the TU Vienna and his Habilitation in 2010. His research focus is on embedded computing, parallel computing, and system reliability. He currently works on adequate hardware and software architectures to bridge the gap between the many-core computing and embedded computing. He also published excessively on worst-case execution time analysis and served as PC chair of WDES'06, WCET'08, and SEUS'13. He is the local principal investigator of the Artemis-JU project CRAFTERS and local co-investigator of the FP7 project ADVANCE. Further, he has been the principal investigator of three research projects funded by the Austrian Science Foundation (COSTA, FORTAS, SECCO). He is a member of the IFIP Working Group 10.4 (Embedded Systems). For further details of the CTCA group see:

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

   About Us
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)