You are here: Home
We are organizing RV 2015 Conference at TU Wien this September. We are organizing CPS Week 2016, the premier event on Cyber-Physical Systems. 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)

Prof. Radu GROSU (Head)
Asst.Prof. Ezio BARTOCCI
Em.Prof. Herbert
GRÜNBACHER
Em.Prof. Hermann KOPETZ
Assoc.Prof. Peter PUSCHNER

Embedded Computing Systems Group E182-2 (ECS)

Prof. Ulrich SCHMID (Head)
Assoc.Prof. Andreas STEININGER
Assoc.Prof. Josef WIDDER

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

Conferences
Runtime Verification
CPS-Week
read more...
Recent Publications
S. Kandl (invited): Applicability of Structural Code Coverage Metrics for Safety-Critical Systems
AUTOSAR Safety-Group (WP 1.3) Meeting, Paris, France
bib details
S. Kandl (invited): How Mutations Can Help to Prove That Your System Does Not Contain (Unwanted) Mutations
Design, Automation and Test in Europe Conference (DATE), Grenoble, France; in: DATE 2015 - M04 Embedded Systems: Functional Qualification: Applications in the C/C++ Domain, 2015
bib details
P. Robinson: Weak System Models for Fault-Tolerant Distributed Agreement Problems (PhD Thesis)
reviewers: U. Schmid, M. Raynal; Institut für Technische Informatik (E182/2), 2011; oral examination: 2011-01-31
bib details pdf
S. Kandl et al.: Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262
Safety-critical Systems Symposium (SSS 2015), Bristol, UK; in: Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium, M. Parson, T. Anderson (ed.); 2015, ISBN: 978-1505689082, p. 95 - 115
bib details
S. Kandl: Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems
Progress in Systems Engineering (Advances in Intelligent Systems and Computing), Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-08421-3, p. 595 - 601
bib details doi
More publications...