Past Projects

Past Research Projects at the Cyber-Physical Systems Group

CMACS - Computational Modeling and Analysis for Complex Systems

CMACS - Computational Modeling and Analysis for Complex Systems

Funding: USA-NSF-Expeditions

Partners: Carnegie Mellon University, Cornell University, Lehman College, University of Maryland, Stony Brook University, New York University, University of Pittsburgh, NASA

Time Frame: 01. 01. 2014 - 31. 07. 2015

Contact Persons: Radu Grosu

Research Team: Ezio Bartocci, Edmund M. Clarke, Radu Grosu, Alena Rodionova, Scott A. Smolka

The CMACS project is focused on far-reaching and transformative research into techniques based on Model Checking and Abstract Interpretation (MCAI) for analyzing the behavior of complex embedded and dynamical systems. Model Checking and Abstract Interpretation have a 30-year record of success at verifying properties of the behavior of discrete systems automatically. The techniques have been fruitfully used, both independently and in combination, to establish properties of systems containing thousands of variables and inputs and several 100,000’s of lines of code (for example, the Airbus 380’s flight control software), and to detect subtle bugs in a variety of hardware and software applications, ranging from microprocessor designs and communication protocols to railway-switching systems and satellite-control software. The purpose of this project is to extend the MCAI paradigm to reasoning about the behavior of models of physical systems that include continuous and stochastic behavior, such as those found in biological and embedded-control areas. Specific research is being undertaken in model discovery / system identification for stochastic and nonlinear hybrid systems; methods for generating sound model abstractions to simplify the reasoning process; and next-generation algorithms for analyzing the behavior of these models. Challenge problems in the area of pancreatic-cancer modeling, atrial-fibrillation detection, distributed automotive control, and aerospace control software are being used as technology drivers and testbeds for the results obtained in the course of the project.

read more...

CPS Transatlantic Summit

CPS Transatlantic Summit

Funding: EU-Horizon 2020

Partners: TU Wien, Fortiss GMBH (Coordinator), Aalborg University, OFFIS e.V., Universite Joseph Fourier Grenoble 1

Associate Partners: Vanderbilt University, Nashville, University of California, Berkeley, University of Maryland at College Park, University of Pennsylvania, Carnegie-Mellon University, Pittsburgh, IST Austria, Vienna, Thales, Grenoble

Time Frame: 01. 02. 2015 - 01. 08. 2016

Contact Persons: Radu Grosu, Gerda Belkhofer-Fohrafellner (admin)

Research Team: John Baras, Sanjoy Baruah, Saddek Bensalem, Manfred Broy, Werner Damm, Eric Debes, Laïla Gide, Radu Grosu, Tom Henzinger, Bruce H. Krogh, Kim G. Larsen, Insup Lee, George Pappas, Harald Ruess, Alberto Sangiovelli-Vincentelli, Bernhard Schätz, Joseph Sifakis, Janos Sztipanovits

Cyber-physical systems (CPS) are a core enabling technology for securing economic leadership in embedded systems and ICT, having an enormous social and economic importance, and making decisive contributions to societal challenges. The EU and the US face common challenges to push forward the limits of the science for engineering Cyber-Physical Systems (CPS), creating a favorable environment for strategic and pre-competitive collaboration.

Transatlantic CPS Summit is an ambitious 18-month support action with the goal of facilitating and creating an enduring and sustainable collaboration campaign on CPS research and development between Europe and the US. The project achieves its overall aim by means of:

  1. Identifying and evaluating possible R&D cooperations between Europe and the US;
  2. Investigating and promoting implementation of opportunities for cooperation;
  3. Preparing a roadmap for R&D cooperation on CPS engineering between the EU and US together with recommendations for actions;
  4. Presenting final results to interested stakeholders (e.g. public bodies, industry, academic researchers) on both sides of the Atlantic.

To achieve the above, the project mobilises an outstanding multidisciplinary consortium of 7 EU partners and 5 US partners and brings together recognized CPS researchers across the EU and the US in a series of CPS Summit Workshops.

read more...

AMADEOS

AMADEOS

Funding: EU-FP7

Partners: Università degli Studi di Firenze (coordinator), Vienna University of Technology, University of Grenoble I, ResilTech srl, Thales Netherlands B.V., European Network for Cyber Security

Time Frame: 01. 10. 2013 - 30. 09. 2016

Contact Persons: Bernhard Frömel (Project Head)

Research Team: Em.O.Univ.Prof. Dr. Hermann Kopetz, Oliver Höftberger, Bernhard Frömel (Project Head), Bekim Chilku, Mag. MBA Sibylle Kuster

The objective of this research project is to bring time awareness and evolution into the design of System-of-Systems (SoS), to establish a sound conceptual model, a generic architectural framework and a design methodology, supported by some prototype tools, for the modeling, development and evolution of time-sensitive SoSes with possible emergent behaviors. Special emphasis is placed on evolution, emergence, dependability (e.g. safety, availability) and security, considering embedded devices and the cloud as the execution platform. The concept of evolution will be addressed from two complementary perspectives, considering both long-term evolution and short-term unexpected changes (e.g., failures) in the constituent systems. The project starts with a study of fielded industrial SoSs, where the handling of time and the evolution aspects will be in the center of the analysis, in the domains of disaster management, transport, and smart grid applications. The following development of the conceptual model, the architectural framework, the design methodology and some extensions to UML-based tools will form the core of the project work. In place of the traditional guarantees that were the target for more closed and static systems, the architectural framework will be based on the concept of guaranteed best adaptation under the given constraints, sometimes just monitoring how the environment evolves, and influencing how the SoS takes mitigating actions. The viability of the framework will be validated on a case study of a CPS, a small smart grid application, where guaranteed responsiveness, evolution, dependability and security are essential requirements. The research is based on the in-depth experience of some of the key researchers of the consortium in the fields of architecture design, real-time systems, dependability, security and the development of large systems-of-systems in such diverse domains as disaster management, the transport sector, and energy distribution.

read more...

MODESEC - Model-based Design of Secure Cyber-Physical Systems

MODESEC - Model-based Design of Secure Cyber-Physical Systems

Funding: EU-FP7, EU-REA

Partners: Edward A. Lee

Time Frame: 01. 06. 2013 - 30. 06. 2016

Contact Persons: Radu Grosu, Dipl.-Ing. Armin Wasicek, Gerda Belkhofer-Fohrafellner (admin)

Research Team: Radu Grosu, Edward A. Lee, Dipl.-Ing. Armin Wasicek

The overall objective of the MODESEC project is to research the interaction between modelling and security in the context of Cyber-Physical Systems. The first step towards this goal is to develop and implement a development method for secure cyber physical systems. Our innovation is to investigate on how to use models to gain insights about a system’s security. The proposed approach strives to support CPS engineers that were not trained in cyber security to implement security. This will be achieved by integrating the secure design of a CPS in the model-based design approach to design a CPS. Model-based design tools are familiar to engineers working in many different domains. Thus, our approach enables these engineers to build more secure products by lowering the entry barriers to implement cyber security mechanisms. The second step investigates on the potential use of these models within a CPS, e.g., to detect attacks. Continuously comparing the operation of a CPS to a reference model of its intended behavior facilitates the recognition of attacks not only in the cyber, but also in the physical domain.

read more...

ICT COST Action IC1202: Timing Analysis on Code Level (TACLe)

ICT COST Action IC1202: Timing Analysis on Code Level (TACLe)

Funding: EU-Horizon 2020, EU-COST

Partners: Austria, Belgium, Denmark, Finland, France, fYR Macedonia, Germany, Greece, Hungary, Ireland, Italy, Lithuania, Luxembourg, Netherlands, Norway, Portugal, Serbia, Spain, Sweden, United Kingdom

Time Frame: 07. 11. 2012 - 06. 11. 2016

Contact Persons: Dipl.-Ing. Dr. Peter Puschner, Gerda Belkhofer-Fohrafellner (admin)

Research Team: Bekim Chilku, Bernhard Frömel, Dipl.-Ing. Daniel Leo Prokesch, Dipl.-Ing. Dr. Peter Puschner

The goal of this EU COST Action is to gather the forces of the timing-analysis community and the related communities in model checking, type interference, computer architectures and compilers in order to develop industrial-strength code-level timing analysis techniques for future-generation embedded systems.

read more...

VeTeSS

VeTeSS

Funding: ARTEMIS-JU; FFG

Partners: Infineon Technologies UK Ltd, UK (Coordinator); Infineon Technologies AG, Germany; Infineon Technologies Austria AG, Austria; Volvo Technology AB, Sweden; SP Sveriges Tekniska Forskningsinstitut AB, Sweden; Centro Ricerche Fiat SCPA, Italy; AVL List GmbH, Austria; Technische Universitaet Wien, Austria; NXP Semiconductors Netherlands BV, Netherlands; Fraunhofer-Gesellschaft zur Förderung der angewandten Forschung e.V., Germany; e-AAM Driveline Systems AB, Sweden; Politecnico di Torino, Italy; IKV++ Technologies AG, Germany; SpringSoft SAS, France; TWT GmbH Science & Innovation, Germany; The University Of Oxford, UK; Barcelona Supercomputing Center - Centro Nacional de Supercomputacion, Spain; exida.com Excellence in Dependable Automation GmbH, Germany; QRTECH AB, Sweden; Rapita Systems Ltd, UK; Catena DSP, Austria; Fico-Triad SA, Spain; Catena Holding BV, Netherlands; Virtual Vehicle Competence Center, Austria;

Time Frame: 01. 05. 2012 - 30. 04. 2015

Contact Persons: Susanne Kandl

Research Team: Susanne Kandl, Martin Elshuber, Mag. MBA Sibylle Kuster

VeTeSS (Verification and Testing to Support Functional Safety Standards) is an ARTEMIS project to develop standardized tools and methods for the verification of safety properties, particularly for generic components and subsystems used in safety-relevant embedded systems. The project will concentrate on the strategically important automotive market.

For further information please visit the project website http://www.vetess.eu.

read more...

MultiPARTES - Multi-cores Partitioning for Trusted Embedded Systems

MultiPARTES - Multi-cores Partitioning for Trusted Embedded Systems

Funding: EU FP7

Partners: Ikerkan-IK4 (Spain), Universitat Politecnica de Valencia (Spain), TU Wien (Austria), Universidad Politecnica de Madrid (Spain), TRIALOG (France), Fent Innovative Software Solutions (Spain), TELETEL (Greece), Visual Tools (Spain), ALSTOM Wind (Spain)

Time Frame: 01. 09. 2011 - 31. 08. 2014

Contact Persons: Bekim Chilku, Dipl.-Ing. Dr. Peter Puschner

Research Team: Bekim Chilku, Haris Isakovic, Dipl.-Ing. Dr. Peter Puschner

This project aims at developing tools and solution based on mixed criticality virtualization systems for multicore platforms. The starting point for the virtualization support is XtratuM, a cost-effective open source hypervisor developed specifically for real-time embedded systems by one of the project participants (UPVLC) - a hypervisor that is being increasingly used by the aerospace industry. Based on this approach, MultiPARTES will offer a rapid and cost-effective development support on dependable real-time embedded systems enabling critical and non critical applications to run on the same hardware platform. To achieve this goal we will develop an innovative multicore-platform virtualization based on XtratuM. We will devise a methodology permitting the partitioning of multicore systems, thereby speeding up the development and production of mixed-criticality applications based on the partitioning. We will demostrate these open virtualization solutions on COST hardware platforms and on enhanced heterogeneous multicore hardware platforms to show the increase of time and space isolation, overcoming some of the COTS hardware limitations. The results will be evaluated in case studies in three application sectors: wind power, video surveillance and aerospace.

read more...

T-CREST - Time-Predictable Multi-Core Architecture for Embedded Systems

T-CREST - Time-Predictable Multi-Core Architecture for Embedded Systems

Funding: EU FP7

Partners: Technical University of Denmark (Denmark), AbsInt Angewandte Informatik (Germany), GMV (Portugal), Intecs (Italy), University of York (United Kingdom), Technical University of Eindhoven (Netherlands), Vienna University of Technology (Austria), The Open Group (United Kingdom)

Time Frame: 01. 09. 2011 - 31. 08. 2014

Contact Persons: Dipl.-Ing. Dr. Peter Puschner

Research Team: Bekim Chilku, Stefan Hepp, Benedikt Huber, Univ.Prof. Jens Knoop, Dipl.-Ing. Daniel Leo Prokesch, Dipl.-Ing. Dr. Peter Puschner

The T-CREST project is developing a time-predictable system that will simplify the safety argument with respect to maximum execution time while striving to double performance for 4 cores and to be 4 times faster for 16 cores than a standard processor of the same technology (e.g. FPGA). The ultimate goal of the T-CREST system will be to lower costs for safety relevant applications, reducing system complexity and at the same time achieving faster time-predictable execution.

read more...

ACROSS

ACROSS

Funding: ARTEMIS-JU; FFG

Partners: Vienna University of Technology (Coordinator); AVL List GmbH; EADS Innovation Works; TTTech Computertechnik AG; Thales S.A.; SELEX Sistemi Integrati S.p.A.; Danube Mobile Communications Engineering GmbH & Co KG; Siemens AG Österreich; EADS France; ForTISS GmbH; Université Joseph Fourier Grenoble 1 /Verimag; EADS Defense Electronics; SYSGO AG; Lauterbach; Thales Communications S.A.; PrismTech.

Time Frame: 01. 04. 2010 - 31. 07. 2013

Contact Persons: Dipl.-Ing. Dr. Christian El-Salloum

Research Team: Dipl.-Ing. Dr. Christian El-Salloum, Oliver Höftberger, Mag. MBA Sibylle Kuster, Dipl.-Ing. Armin Wasicek

ACROSS (ARTEMIS CROSS-Domain Architecture) is a research project that aims to develop and implement an ARTEMIS cross-domain reference architecture for embedded systems based on the architecture blueprint developed in the European FP7 project GENESYS.

read more...

ARCADIA

Funding: EC

Time Frame: 01. 11. 2009 - 31. 01. 2012

Contact Persons: Em.O.Univ.Prof. Dr. Hermann Kopetz

Research Team: Em.O.Univ.Prof. Dr. Hermann Kopetz, Dipl.-Ing. Dr. Christian El-Salloum, Mag. MBA Sibylle Kuster

The ARCADIA (Aligning ResearCh AgenDas In ARTEMIS) project main objective is to have better and effective coordination of the efforts in order to optimize the use of the resources, and to contribute in to the advance of an ERA for the Embedded System field to strengthening Europe´s future growth, competitiveness and sustainable development.

read more...

INDEXYS

INDEXYS

Funding: ARTEMIS-JU; FFG

Partners: TTTech Computertechnik AG (Coordinator); Thales Rail Signalling Solutions GmbH; Audi AG; EADS Deutschland GmbH; Technical University of Darmstadt; Technical University of Kaiserslautern; OptXware Research and Development Ltd.; Delft University of Technology; NXP Semiconductors Netherlands B.V.; Vienna University of Technology;

Time Frame: 01. 04. 2009 - 31. 03. 2012

Contact Persons: Em.O.Univ.Prof. Dr. Hermann Kopetz

Research Team: Bernhard Frömel, Dipl.-Ing. Roland Kammerer, Em.O.Univ.Prof. Dr. Hermann Kopetz, Dipl.-Ing. Dr. Roman Obermaisser

INDEXYS - INDustrial EXploitation of the genesYS cross-domain architecture - is a cross-industry research & development project consisting of 10 organisations including Industries, SMEs and Universities from European 4 countries (Austria, Germany, Hungary, The Netherlands). The project is co-funded by the ARTEMIS Programme (Topic “SP5 Computing Environments for Embedded Systems”).

read more...

CLIC

CLIC

Funding: FIT-IT (Research Programme initiatiated by the Austrian Federal Ministry of Transport, Innovation, and Technology (BMVIT))

Partners: TTTech Computertechnik AG; Alpen-Adria Universität Klagenfurt,
Institut für Vernetzte und Eingebettete Systeme; Technische Universität Wien, Instituts für Automatisierungs- und Regelungstechnik; Technische Universität Wien,
Institut für Technische Informatik;

Time Frame: 01. 01. 2009 - 31. 12. 2010

Contact Persons: Dipl.-Ing. Vaclav Mikolasek

Research Team: Dipl.-Ing. Vaclav Mikolasek

The objective of the CLIC (Closed-Loop Integration of Cognition, Communication and Control) project is to integrate real-time image analysis, adaptive motion control, and synchronous communication between the imaging and control subsystems.

read more...

SECCO

SECCO

Funding: FWF, WIEN, Österreich

Time Frame: 01. 07. 2008 - 30. 06. 2010

Contact Persons: Dipl.-Ing. Dr. Raimund Kirner

Research Team: Dipl.-Ing. Dr. Raimund Kirner

The SECCO (Sustaining Entire Code-Coverage on Code Optimization) project is concerned with software testing, focusing in particular on the support of gray-box testing, and is funded by the Austrian Science Fund (FWF) with a duration of 24 months.

read more...

ARTIST Design

Funding: EC FP7

Time Frame: 01. 01. 2008 - 31. 03. 2012

Contact Persons: Dipl.-Ing. Dr. Peter Puschner

Research Team: Dipl.-Ing. Dr. Peter Puschner

The FP7 Network of Excellence "ArtistDesign – Design for Embedded Systems" has 31 project partners and is coordinated by UNIVERSITE JOSEPH FOURIER.

read more...

GENESYS

GENESYS

Funding: EC

Time Frame: 01. 01. 2008 - 30. 06. 2009

Contact Persons: Dipl.-Ing. Dr. Roman Obermaisser (Roman is the technical coordinator of the GENESYS project.)

Research Team: Dipl.-Ing. Dr. Christian El-Salloum, Dipl.-Ing. Dr. Bernhard Huber, Em.O.Univ.Prof. Dr. Hermann Kopetz, Mag. MBA Sibylle Kuster (Sibylle is the administrative manager of the GENESYS project.), Dipl.-Ing. Dr. Roman Obermaisser (Roman is the technical coordinator of the GENESYS project.)

GENESYS (GENeric Embedded System Platform) is an European research project funded by the European Community's Seventh Framework Programme (FP7/2007-2013) under the grant agreement number FP7-213322. The GENESYS consortium consists of 23 project partners from 11 different European countries and is coordinated by TU Vienna.

read more...

JEOPARD

Funding: EC

Time Frame: 01. 01. 2008 - 31. 12. 2010

Contact Persons: Dipl.-Ing. Dr. Martin Schöberl

Research Team: Dipl.-Ing. Dr. Martin Schöberl

JEOPARD (Java Environment for Parallel Realtime Development) is an FP7 collaborative project. The JEOPARD consortium consists of 10 project partners, among them TU Vienna, and is coordinated by X/OPEN.

read more...

TT-SoC

TT-SoC

Funding: FIT-IT (Research Programme initiatiated by the Austrian Federal Ministry of Transport, Innovation, and Technology (BMVIT))

Partners: TU Vienna; TTTech Computertechnik AG

Time Frame: 01. 03. 2007 - 31. 05. 2009

Contact Persons: Em.O.Univ.Prof. Dr. Hermann Kopetz

Research Team: Dipl.-Ing. Dr. Christian El-Salloum, Bernhard Frömel, Dipl.-Ing. Dr. Bernhard Huber, Em.O.Univ.Prof. Dr. Hermann Kopetz, Mag. MBA Sibylle Kuster, Dipl.-Ing. Dr. Roman Obermaisser, Dipl.-Ing. Dr. Christian Paukovits, Dipl.-Ing. Harald Paulitsch, Dipl.-Ing. Klaus Steinhammer, Dipl.-Ing. Armin Wasicek

It is the objective of the TT-Soc (Time-Triggered System-on-a-Chip Architecture) research project to lay the foundation for a next-generation embedded system architecture that provides a predictable integrated execution environment for the component-based design of many different types of embedded applications.

read more...

FORTAS

FORTAS

Funding: Austrian Science Fund (FWF)

Time Frame: 01. 01. 2007 - 31. 12. 2009

Contact Persons: Dipl.-Ing. Dr. Raimund Kirner

Research Team: Dipl.-Ing. Dr. Raimund Kirner

The FORTAS project, dealing with basic research in the field of execution time analysis of embedded software, is funded by the Austrian Science Fund (FWF) and has a duration of 36 months.

read more...

COSTA

COSTA

Funding: Austrian Science Fund (FWF)

Partners: Real-Time Systems Group, Vienna University of Technology
Compilers and Languages Group, Vienna University of Technology

Time Frame: 01. 07. 2006 - 30. 06. 2009

Contact Persons: Dipl.-Ing. Dr. Raimund Kirner

Research Team: Dipl.-Ing. Dr. Raimund Kirner, Dipl.-Ing. Dr. Peter Puschner, Dipl.-Ing. Dr. Ingomar Wenzel

The COSTA (Compiler-Support for Timing Analysis) project, dealing with basic research, is funded by the Austrian Science Fund (FWF) and has a duration of 36 months.

read more...

TTCAR

TTCAR

Funding: Austrian Science Fund (FWF)

Time Frame: 01. 09. 2005 - 31. 08. 2008

Contact Persons: Dipl.-Ing. Dr. Wilfried Elmenreich

Research Team: Dipl.-Ing. Dr. Wilfried Elmenreich

The TTCAR (Time-triggered communication architecture for robotic systems) project, dealing with basic research, is funded by the Austrian Science Fund (FWF) and has a duration of 36 months.

read more...

Te-Des

Te-Des

Funding: FIT-IT, BMVIT

Time Frame: 01. 03. 2005 - 28. 02. 2007

Contact Persons: Dipl.-Ing. Dr. Peter Puschner

Research Team: Susanne Kandl, Dipl.-Ing. Dr. Raimund Kirner, Dipl.-Ing. Dr. Peter Puschner, Dipl.-Ing. Dr. Ingomar Wenzel

The Te-Des project is supported by FIT-IT, an Austrian research programme initiatiated by the Austrian Federal Ministry of Transport, Innovation, and Technology (BMVIT) and has a duration of 24 months.

read more...

ARTIST2

ARTIST2

Funding: Sixth EU Framework Programme for Research and Technological Development (FP6)

Time Frame: 01. 09. 2004 - 31. 08. 2008

Contact Persons: Em.O.Univ.Prof. Dr. Hermann Kopetz

Research Team: Dipl.-Ing. Dr. Wilfried Elmenreich, Dipl.-Ing. Dr. Raimund Kirner, Em.O.Univ.Prof. Dr. Hermann Kopetz, Dipl.-Ing. Dr. Peter Puschner

ARTIST2 is an FP6 Network of Excellence on Embedded Systems Design and has a duration of 48 months.

read more...

DECOS

DECOS

Funding: Sixth EU Framework Programme for Research and Technological Development (FP6)

Time Frame: 01. 07. 2004 - 31. 12. 2007

Contact Persons: Em.O.Univ.Prof. Dr. Hermann Kopetz

Research Team: Dipl.-Ing. Dr. Astrit Ademaj, Dipl.-Ing. Dr. Christian El-Salloum, Dipl.-Ing. Petr Grillinger, Dipl.-Ing. Dr. Bernhard Huber, Em.O.Univ.Prof. Dr. Hermann Kopetz, Mag. MBA Sibylle Kuster, Dipl.-Ing. Dr. Roman Obermaisser

DECOS - Dependable Embedded Components and Systems is an Integrated Project within the Sixth EU Framework Programme for Research and Technological Development (FP6) and has a duration of 36 months.

read more...

TT-Ethernet

Funding: FIT-IT, BMVIT

Time Frame: 01. 03. 2004 - 31. 12. 2006

Contact Persons: Em.O.Univ.Prof. Dr. Hermann Kopetz

Research Team: Em.O.Univ.Prof. Dr. Hermann Kopetz, Dipl.-Ing. Klaus Steinhammer

The TT-Ethernet project is supported by FIT-IT, an Austrian research programme initiatiated by the Austrian Federal Ministry of Transport, Innovation, and Technology (BMVIT) and has a duration of 34 months.

read more...