You are here: Home
Looking for a Drone MS Thesis? Contact Bernhard Frömel and Ezio Bartocci! Looking for a Rover MS Thesis? Contact Oliver Höftberger! Galileo satellite Pylon for power distribution grid Very-large scale integrated circuit Microcontroller printed circuit board

Institute of Computer Engineering (E182)

Head of Institute: Univ.Prof. Radu GROSU

Cyber-Physical Systems Group E182-1 (CPS)

Univ.Prof. Radu GROSU (Head)
O.Univ.Prof. Herbert GRÜNBACHER
Em.O.Univ.Prof. Hermann KOPETZ
Ao.Univ.Prof. Peter PUSCHNER

Embedded Computing Systems Group E182-2 (ECS)

Univ.Prof. Ulrich SCHMID (Head)
Ao.Univ.Prof. Andreas STEININGER

Description

The Institute of Computer Engineering's research and teaching activities focus on the area of cyber-physical systems and dependable embedded systems. Our activities are at the heart of the primary research area Technische Informatik (Computer Engineering) of the Faculty of Informatics, and integrate computer science, discrete and continuous systems theory, and microelectronics in a holistic approach. Major research areas are hybrid systems, real-time systems, fault-tolerant distributed algorithms, and dependable digital circuit architectures. Particular research activities range from formal/mathematical modeling and analysis over SW/HW architectures to microcontroller programming and FPGA/VLSI design.

With respect to teaching, the Institute of Computer Engineering is mainly involved in the Master and Bachelor curricula Technische Informatik (Computer Engineering), which offer a profound scientific-technological education in our fields of expertise.

Institute's mission TI Research Presentations

PowerPoint Slideshow: What is Technische Informatik/Computer Engineering?

Recent Publications
S. Kandl: Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems
Twenty-Third International Conference on Systems Engineering (ICSEng 2014), Las Vegas, Nevada, USA; in: Proceedings of the Twenty-Third International Conference on Systems Engineering (ICSEng 2014), 2014
bib details
S. Kandl, S. Chandrashekar: Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation
Computing, 607 (2014)
bib details doi
S. Kandl, M. Elshuber: A Formal Approach to System Integration Testing
Tenth European Dependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK; in: Proceedings of the Tenth European Dependable Computing Conference (EDCC 2014), 2014
bib details
T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, S. Kowalewski: Runtime verification of microcontroller binary code
Science of Computer Programming, 80 (2014), p. 109 - 129
bib details doi
B. Rahbaran, A. Steininger: Is Asynchronous Logic More Robust Than Synchronous Logic?
IEEE Transaction on Dependable and Secure Computing, 6 (2009), p. 282 - 294
bib details doi
More publications...