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.
Contact
- Ulrich Schmid , Focus Coordinator
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-one 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.
Recent Projects
-
IEA EBC Annex 71: Building Energy Performance Assessment Based on In-situ Measurements
2017 – 2021 / Austrian Research Promotion Agency (FFG) -
Adaptive Smoothed Production
2017 – 2020 / Austrian Research Promotion Agency (FFG) -
Building Information Modeling for Building Energy Management
Systems
2017 – 2019 / Austrian Research Promotion Agency (FFG) -
Technologie Plattform
2016 – 2018 / Austrian Science Fund (FWF) -
Autonomous Vehicle to Support Active Mobility
2016 – 2019 / Austrian Research Promotion Agency (FFG) -
Independent Two Wheel Steering
2016 – 2017 / DS-Automotion GmbH -
Resilience versus Performance in Numerical Linear Algebra
2016 – 2020 / Vienna Science and Technology Fund (WWFT) -
IEA "Energy in Buildings and Communities Programme",
Annex "Energie-flexible Gebäude"
2015 – 2019 / Austrian Research Promotion Agency (FFG) -
Advanced Data Analytics for Energy Efficiency
2015 – 2018 / Austrian Research Promotion Agency (FFG) -
Project "Architecture" as Part of the Initiative "Reference Architecture for Secure Smart Grids in Austria"
2015 – 2017 / Austrian Research Promotion Agency (FFG) -
Innovative lighting management system
2015 – 2017 / Austrian Research Promotion Agency (FFG) -
Hierarchisch und modular aufgebautes Brandmeldesystem - thematisches Anschlussprojekt an HQ 834005
2015 – 2017 / Austrian Research Promotion Agency (FFG) -
Adaptable Platform for Active Services Exchange
2015 – 2018 / European Commission -
Balanced Manufacturing
2014 – 2017 / Austrian Research Promotion Agency (FFG) -
Exascale Programming Models
2013 – 2016 / European Commission
Recent Publications
- Scalable Algorithms for MPI Intergroup Allgather and Allgatherv / Q. Kang, J. Träff, R. Al-Bahrani, A. Agrawal, A. Choudhary, W. Liao / Parallel Computing, Volume 85 (2019), 220 - 230
- Dynamic Network Model from Partial Observations / E. Ghalebi, B. Mirzasoleiman, R. Grosu, J. Leskovec / Poster: Neural Information Processing Systems (NIPS 2018), Montreal, Canada; 2018-12-03 - 2018-12-08; in: "Advances in Neural Information Processing Systems 31 (NIPS 2018)", Advances in Neural Information Processing Systems 31, (2018)
- Partially Systematic Constant-Weight Codes for Delay-Insensitive Communication / F. Huemer, A. Steininger / in: "2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", issued by: IEEE CS Press; IEEE Xplore Digital Library, 2018, ISBN: 978-1-5386-5883-3, 17 - 25
- Adaptive learning-based time series prediction framework for building energy management / D. Schachinger, J. Pannosch, W. Kastner / Talk: IEEE International Conference on Industrial Electronics for Sustainable Energy Systems (IESES 2018), Hamilton, New Zealand; 2018-01-31 - 2018-02-02; in: "Proceedings of the IEEE International Conference on Industrial Electronics for Sustainable Energy Systems", IEEE, (2018), ISBN: 978-1-5090-4974-5; 6 pages
- Advanced Delay-Insensitive 4-Phase Protocols / F. Huemer, A. Steininger / in: "2018 Austrochip Workshop on Microelectronics (Austrochip)", issued by: IEEE CS Press; IEEE Xplore Digital Library, 2018, ISBN: 978-1-5386-8200-5, 50 - 55
- Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications / E. Bartocci, R.G. Deshmukh, D. Donze, G. Fainekos, O. Maler, D. Nickovic, S. Sankaranarayanan / in: "Lectures on Runtime Verification - Introductory and Advanced Topics", 10457; Springer-Verlag Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8, 135 - 175
- Simulation-based Assessment of Energy Efficiency in Industry: Comparison of Hybrid Simulation Approaches / B. Heinzl, P. Raich, F. Preyser, W. Kastner / Talk: 9th Vienna International Conference on Mathematical Modelling (MATHMOD 2018), Wien; 2018-02-21 - 2018-02-23; in: "Proceedings of the 9th Vienna International Conference on Mathematical Modelling (MATHMOD 2018)", IFAC-PapersOnLine, 51/2 (2018), ISSN: 2405-8963; 689 - 694
- Multicomponent Proof-theoretic Method for Proving Interpolation Property / R. Kuznets / Annals of Pure and Applied Logic, 169 (2018), 12; 1369 - 1418
- Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal Verification / F. Khalid, S. R. Hasan, O. Hasan, F. Awwad / Integration the VLSI journal, 61 (2018), C; 62 - 76
- RPDEVS: Revising the Parallel Discrete Event System Specification / Franz Preyser, B. Heinzl, W. Kastner / Talk: 9th Vienna International Conference on Mathematical Modelling (MATHMOD 2018), Wien; 2018-02-21 - 2018-02-23; in: "Proceedings of the 9th Vienna International Conference on Mathematical Modeling", IFAC-PapersOnLine, 51/2 (2018), ISSN: 2405-8963; 269 - 274
- DeMAS: An Efficient Design Methodology for Building Approximate Adders for FPGA-Based Systems / B. Prabakaran, S. Rehman, M. Hanif, S. Ullah, G. Mazaheri, A. Kumar, M. Shafique / Poster: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; 2018-03-19 - 2018-03-23; in: "IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE)", (2018), ISBN: 978-3-9819263-1-6; 917 - 920
- State Recovery for Coarse-Grain TMR Designs in FPGAs Using Partial Reconfiguration / M. Schütz, A. Steininger, F. Huemer, J. Lechner / in: "2018 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)", issued by: IEEE CS Press; IEEE Xplore Digital Library, 2018, ISBN: 978-1-5386-8398-9, 6 pages
- A Mixed-Criticality Integration in Cyber-Physical Systems: A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform / H. Isakovic, R. Grosu / in: "Solutions for Cyber-Physical Systems Ubiquity", 1; issued by: IGI Global; IGI Global, Hershey PA, USA 17033, 2018, (invited), ISBN: 9781522528456, 169 - 194
- Tight Bounds for Asymptotic and Approximate Consensus / M Függer, T. Nowak, M. Schwarz / Talk: 37th ACM Symposium on Principles of Distributed Computing (PODC'18), Royal Holloway, University of London, Egham, United Kingdom; 2018-07-23 - 2018-07-27; in: "Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing (PODC '18)", ACM, (2018), ISBN: 978-1-4503-5795-1; 325 - 334
- Parallel reachability analysis of hybrid systems in XSpeed / A. Gurung, R. Ray, E. Bartocci, S. Bogomolov, R. Grosu / International Journal on Software Tools for Technology Transfer, in press (2018), 1 - 23
Recent Awards
- Jesper Larsson Träff: Innovation Radar: Innovation Title: PGAS-based MPI with interoperability; Innovation Category: Exploration; FP 7 project EPiGRAM / Project / 2018
- 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 / Program Chairs of EuroMPI/ASIA 2014 / Japan / 2014
- 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 / Program Chairs of EuroMPI/ASIA 2014 / Japan / 2014
- Wilfried Elmenreich: E-Learning Award 2006/2007 für ausgezeichnete Leistungen in der Lehrentwicklung (Kategorie für Speziallösungen) / Austria / 2007
- Peter Puschner: Gründungsmitglied der IFIP 10.2 WG on Embedded Systems / IFIP / 2006
- Hermann Kopetz: Wilhelm Exner Medaillie / Austria / 2005
- Christopher Krügel: Wirtschaftskammerpreis / Wirtschaftskammern / Austria / 2005
- Hermann Kopetz: IEEE Technical Achievement Award / 2004
- Josef Widder: FIT-IT Embedded Systems Dissertationsstipendium "Distributed Computing in the Presence of Bounded Asynchrony" / Austria / 2004
- Hermann Kopetz: Vorsitzender d. Wiss. Beirat ACR / Austria / 2004
- Raimund Kirner: Mobilitätsstipendium der Creditanstalt AG (wird für aussergewöhnliche Dissertationen an der Technischen Universität Wien verliehen) / Austria / 2003
- Herbert Grünbacher: Ehrenzeichen der Stadt Villach / Austria / 2002
- Hermann Kopetz: IGM-Preis / Austria / 2001
- Christopher Krügel: EIB Scientific Award for Excellent Diploma Thesis / Germany / 2000
- Hermann Kopetz: Mitglied "Rat for Forschung und Technologieentwicklung" / Austria / 2000