TU Wien Informatics

Computer Engineering

Computer Engineering is based on an integral approach combining informatics, communications technology and microelectronics. The primary area of research is embedded systems, which are an essential part of many objects in our everyday life.

Computer Engineering

Contact

Research Topics

  • Digital Circuits and Hardware Architectures
  • Parallel and Distributed, Dependable, Real-time Systems
  • Hybrid Systems and Optimal Control
  • Quantitative and Runtime Verification
  • Computational Modeling and Simulation
  • Autonomous Systems, Robotics and Automation Systems Integration
  • Cyber-physical Social Systems & Internet of Things

About

Computer Engineering is based on an integral approach combining informatics, communications technology and microelectronics. The primary area of research is embedded systems, which are an essential part of many objects in our everyday life.

The research focus Computer Engineering deals with all aspects of the direct interaction of computer systems and their environment, from the lowest level of circuit and hardware architectures to safety-critical cyber-physical systems like industrial automation and smart grids, healthcare, spacecraft, and automotive.

Designing such systems is challenging, both from a scientific and technological perspective: Many functions are directly implemented in hardware for performance reasons, distributed and parallel processing is omnipresent, digital signal processing is often required, real-time and power/thermal constraints must be met, energy-efficiency is crucial, stopping operation in the case of failures is often not feasible, unique security issues and threats exist, “trial-and-error-style programming” is not an option in many applications, asserting system correctness by means of testing may be insufficient for the required reliability level, emergent behavior originating from autonomous operation must be understood and controlled, integration and complexity issues created by the upcoming Internet of Things must be managed, etc.

Key characteristics of the research focus Computer Engineering are hence (i) an integrative view of a multitude of system aspects, including hardware architectures, continuous/discrete systems, parallelism and communication, dependability, real-time processing, low-power design, energy and resource efficiency, decision and control theory, autonomy, etc., and (ii) interdisciplinarity: Core computer science knowledge and skills like programming, modeling, design and analysis, formal verification and synthesis of both software and hardware are complemented by specific knowledge and skills from other disciplines, in particular, continuous mathematics, system theory and electrical engineering.

Research Units

Four of the faculty’s twenty-two research units are primarily focused on topics related to Computer Engineering. Visit their pages to learn about current projects, publications, courses, and the people involved.

Below is a small selection of recent research activities related to Computer Engineering. To learn more, visit the pages of the research units listed above.

  • High-Quality Hierarchical Process Mapping / M. Faraj, A. van der Grinten, H. Meyerhenke, J. Träff, C. Schulz / Talk: 18th International Symposium on Experimental Algorithms, SEA 2020 - Online Conference, Catania, Italy; 2020-06-16 - 2020-06-18; in: "18th International Symposium on Experimental Algorithms, SEA 2020", S. Faro, D. Cantone (ed.); Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs 160 (2020), ISBN: 978-3-95977-148-1; 4:1 - 4:15
  • Optimizing Memory Access in TCF Processors with Compute-Update Operations / M. Forsell, J. Roivainen, J. Träff / Talk: 22nd Workshop on Advances in Parallel and Distributed Computational Models (APDCM 2020) in conjunction with IPDPS 2020 - Online Conference, New Orleans, Louisiana, USA; 2020-05-18 - 2020-05-22; in: "Proceedings of the IEEE 34th International Parallel and Distributed Processing Symposium Workshops (IPDPSW 2020)", IEEE, (2020), ISBN: 978-1-7281-7457-0; 577 - 586
  • A Multi-Agent Depth Bounded Boolean Logic / G. Cignarale, G. Primiero / Talk: CIFMA-2020, Cognition: Interdisciplinary Foundations, Models and Applications, online; 2020-09-14; in: "CIFMA-2020, Cognition: Interdisciplinary Foundations, Models and Applications", (2020), 1 - 16
  • Under the Hood of a Stand-Alone Lagrangian Reachability Tool / S. Grünbacher, J. Cyranka, A. Islam, M. Tschaikowski, S. Smolka, R. Grosu / EPiC Series in Computing, . (2019), 61; 211 - 219
  • Echoes of the Past: Recovering Blockchain Metrics from Merged mining / N. Stifter, P. Schindler, A. Judmayer, A. Zamyatin, A. Kern, E. Weippl / Talk: 23rd International Conference, FC 2019, St. Kitts; 2019-02-18 - 2019-02-22; in: "Financial Cryptography and Data Security", Springer, (2019), ISBN: 978-3-030-32101-7
  • A Systematic Approach to Clock Failure Detection / A. Steininger, M. Schwendinger / Talk: Austrochip Workshop on Microelectronics, Wien; 2019-10-24; in: "2019 Austrochip Workshop on Microelectronics (Austrochip)", (2019), ISBN: 978-1-7281-1953-3; 35 - 42
  • Simulation of RPDEVS Models of Logic Gates / C. Fiedler, Franz Preyser, W. Kastner / Simulation Notes Europe, 29 (2019), 2; 85 - 91
  • Communication interface specification in OPC UA / D. Strutzenberger, T. Frühwirth, T. Trautner, R. Hinterbichler, F. Pauker / Talk: 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2019), Zaragoza, Spain; 2019-09-10 - 2019-09-13; in: "Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2019)", IEEE, (2019), ISBN: 978-1-7281-0304-4; 1329 - 1332
  • Composable Component Interfaces for Time-Triggered Systems / P. Puschner, B. Frömel / Talk: 8th Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro; 2019-06-10 - 2019-06-14; in: "8th Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2019), 4 pages
  • The Involution Tool for Accurate Digital Timing and Power Analysis / D. Öhlinger, J. Maier, M Függer, U. Schmid / Talk: 2019 IEEE 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2019), Rhodos; 2019-07-01 - 2019-07-03; in: "2019 IEEE 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2019)", (2019), ISBN: 978-1-7281-2103-1; 1 - 8
  • CPS/IoT Ecosystem: Indoor Vertical Farming System / H. Isakovic, R. Grosu, A. Fasching, L. Punzenberger / Talk: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; 2019-06-19 - 2019-06-21; in: "2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT)", IEEE Xplore, (2019), ISSN: 0747-668x; 47 - 52
  • Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems / R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa / Poster: TARK 2019: Theoretical Aspects of Rationality and Knowledge, Toulouse, France; 2019-07-17 - 2019-07-19; in: "Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019)", L. Moss (ed.); Electronic Proceedings in Theoretical Computer Science, 297 (2019), ISSN: 2075-2180; 293 - 312
  • Through an Inference Rule, Darkly / R. Kuznets / in: "Mathesis Universalis, Computability and Proof", S. Centrone, S. Negri, D. Sarikaya, P. Schuster (ed.); Springer International Publishing, Cham, 2019, ISBN: 978-3-030-20446-4, 131 - 158
  • Sensyml: Simulation Environment for large-scale IoT Applications / H. Isakovic, R. Grosu, B. Wally, T. Rausch, S. Dustdar, G. Kappel, D. Ratasich, V. Bisanovic / Talk: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019), Lisbon, Portugal, Portugal; 2019-10-14 - 2019-10-18; in: "IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society", IEEE Xplore, (2019), ISBN: 978-1-7281-4878-6; 3024 - 3030
  • Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home / C. Hirsch, E. Bartocci, R. Grosu / Talk: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; 2019-06-19 - 2019-06-21; in: "2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT)", (2019), ISSN: 0747-668x; 97 - 102
  • Jesper Larsson Träff: Innovation Radar: Innovation Title: PGAS-based MPI with interoperability; Innovation Category: Exploration; FP 7 project EPiGRAM
    2018 / Project
  • Jesper Larsson Träff: Best Paper Award: "Reproducible MPI Micro-Benchmarking Isn't As Easy As You Think", S. Hunold, A. Carpen-Amarie, J. Träff, 21st European MPI Users' Group Meeting, EuroMPI/ASIA 2014, Kyoto, Japan, September 9-12, 2014
    2014 / Program Chairs of EuroMPI/ASIA 2014 / Japan
  • Sascha Hunold: Best Paper Award: "Reproducible MPI Micro-Benchmarking Isn't As Easy As You Think", S. Hunold, A. Carpen-Amarie, J. Träff, 21st European MPI Users' Group Meeting, EuroMPI/ASIA 2014, Kyoto, Japan, September 9-12, 2014
    2014 / Program Chairs of EuroMPI/ASIA 2014 / Japan
  • Wilfried Elmenreich: E-Learning Award 2006/2007 für ausgezeichnete Leistungen in der Lehrentwicklung (Kategorie für Speziallösungen)
    2007 / Austria
  • Peter Puschner: Gründungsmitglied der IFIP 10.2 WG on Embedded Systems
    2006 / IFIP
  • Hermann Kopetz: Wilhelm Exner Medaillie
    2005 / Austria
  • Christopher Krügel: Wirtschaftskammerpreis
    2005 / Wirtschaftskammern / Austria
  • Hermann Kopetz: IEEE Technical Achievement Award
    2004
  • Josef Widder: FIT-IT Embedded Systems Dissertationsstipendium "Distributed Computing in the Presence of Bounded Asynchrony"
    2004 / Austria
  • Hermann Kopetz: Vorsitzender d. Wiss. Beirat ACR
    2004 / Austria
  • Raimund Kirner: Mobilitätsstipendium der Creditanstalt AG (wird für aussergewöhnliche Dissertationen an der Technischen Universität Wien verliehen)
    2003 / Austria
  • Herbert Grünbacher: Ehrenzeichen der Stadt Villach
    2002 / Austria
  • Hermann Kopetz: IGM-Preis
    2001 / Austria
  • Christopher Krügel: EIB Scientific Award for Excellent Diploma Thesis
    2000 / Germany
  • Hermann Kopetz: Mitglied "Rat for Forschung und Technologieentwicklung"
    2000 / Austria