The best way to predict the future is to invent it.

Alan Kay while at Xerox' Palo Alto Research Center (PARC) in the 1970s



Welcome to the Software Engineering Group!

I hope you will find our Web site a useful gateway to information on our research activities which try to advance the state-of-the-art in software construction. Currently, we focus on the domain of cyber-physical systems, in particular those related to autonomous vehicles and energy.

Wolfgang Pree

Full Professor of Computer Science

From Model-Based Development research towards cutting-edge industry products

The Öffnet externen Link in neuem FensterChrona Validator allows platform-aware software-in-the-loop (SIL) simulations. Chrona Validator is seamlessly integrated with common tools such as MATLAB®/Simulink® and Eclipse. The Chrona Validator supports both open-loop and closed-loop simulations. It works with legacy code, such as C and assembly code, as well as with models and any mix of those.

The Chrona Creation Suite offers correct-by-construction timing behavior of time-critical embedded systems, that is, the correctness of the modeled timing behavior is guaranteed in all situations. Chrona deploys a Timing Definition Language (TDL) to model timing. Products in Chrona's Creation Suite include:

autoBAHN—autonomously driving trains on open tracks

The goal of the autoBAHN project is to come up with a rail-bound transport system of autonomously driving vehicles. It should harness the existing railway infrastructure which is freely accessible, and typically provides single railtracks for regional branch lines. Information technology (sensors, actuators, computing resources, wireless train control and central control) forms the basis of autonomous driving. An autoBAHN system has to offer adequate obstacle recognition, train control and safety features to fulfill the strict quality requirements for public transport admission.



Öffnet externen Link in neuem Fenster


The envisioned autoBAHN system will push electric mobility on rails. The conversion of ca. 20 typical regional branch lines to autoBAHN systems would presumably save 4 million tons of carbon dioxide in 30 years in Austria alone.




November 2011: sub auspiciis praesidentis rei publicae for Patricia Derler


Patricia Derler wrote her PhD thesis (Execution and Simulation of Time-Annotated Software) in the realm of the C. Doppler Laboratory Embedded Software Systems. Her PhD was awarded by the president of Austria, a tradition called sub auspiciis praesidentis rei publicae. Based on our close cooperation with the EECS department University of California, Berkeley, she got offered a PostDoc position immediately after finishing her PhD and started to work there end of 2010.


November 2008: Award of Excellence for Gerald Stieglbauer

On November 24, 2008 33 young researchers were awarded the newly established „Award of Excellence“ by the Federal Ministry of Science and Research for the best alumni of doctoral programmes of an academic year in Austria. Among the winners is Dr. Gerald Stieglbauer.

2003: BMW Scientific Global Award, 1st Prize, Graduate and Master Theses: Dipl.-Ing. Gerald Stieglbauer, University of Salzburg


The thesis

The graduating thesis of Gerald Stieglbauer makes a decisive contribution to solving certain problems in the field of programming of embedded systems. Embedded systems are computer systems embedded in another technical system that is not characterized as a computer, for example a CD player or automotive navigation system. "To master the increasing complexity of embedded software, abstractions must be introduced," explains Gerald Stieglbauer. "Suitable abstractions make it possible to compose partial systems while complying with the requirements of real time. This means, for example, that several functions can either be executed on an Electronic Control Unit (ECU) or moved between different ECUs." The thesis is based on the abstraction that goes by the name of Giotto, which was invented at the University of California at Berkeley that has already proved its value for embedded software and is available as an open standard. In his paper, this junior scientist has succeeded in integrating Giotto in the worldwide modeling tool Matlab/Simulink, thus making it accessible for industrial applications.

The researcher

Gerald Stieglbauer is a "full-blooded" computer scientist who lives which other computer scientists in a completely networked commune in Salzburg. Besides hardware and software, Gerald Stieglbauer is also interested in Asian and European cinematic art. He is disappointed that the film has not yet been fully recognized as an art form. The "Mother of All Sciences," i.e. philosophy, is another field of interest of this junior research scientist. As a computer scientist, this discipline fascinates him mainly because of the plethora or information and communication that characterizes our age and the problems, and challenges, they imply.

Summary of all winners



May 2007: Opening C. Doppler Lab Embedded Software Systems 2007

June 2003: Summer School Embedded Systems 2003

A summer school on Embedded Systems took place at the University of Salzburg, June 30 - July 2, 2003.

Two ACM Turing Award laureates participated as presenters: Joseph Sifakis and Niklaus Wirth