Embedded Software & Systems

University of Salzburg

Salzburg | Website

Core facility (CF)

Short Description

Research activities are guided by a mind set. Our evidence is that most programs and thus the systems in which software plays a crucial role for their correct working, are unnecessarily complex, often to a point at which they become unmanagable. Thus, we strive for concepts, methods and tools that help in the construction of lean software. This includes all aspects of software construction, in particular

Software design and implementation
Software reuse and composition
programming methods

Contact Person

Wolfgang Pree, Full Professor

Research Services

Modeling the timing of safety-critical systems, for example, as a basis for migration to multi-core architectures
Support for real-time simulations
autonomous driving: sensor fusion, evaluation of sensor technology
Checking source code and automatic testing

Methods & Expertise for Research Infrastructure

formal methods for modeling real-time behavior (correct-by-construction)
discrete event simulation as a basis for simulations taking into account platform aspects
Design patterns for extensible software architectures

Wolfgang Pree, Full Professor
Fachbereich Computerwissenschaften
0043 662 8044 6488
Please contact us via science.plus@sbg.ac.at, or contact the responsible person for this section, mentioned in the contact field
AVL List GmbH
C. Doppler Labor Embedded Software Systems
Wolfgang Pree
C. Doppler Gesellschaft, AVL List GmbH

Wolfgang Pree
FFG , University of Applied Science (Fachhochschule), Wels, Siemens AG Österreich, Wien, Stern & Hafferl Verkehrsgesellschaft mbH, Gmunden
Towards Parallelizing Legacy Embedded Control Software Using the LET Programming Paradigm
Julien Hennig, Hermann von Hasseln, Hassan Mohammad, Stefan Resmerita, Stefan Lukesch and Andreas Naderlinger
Proceedings of the 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Wien

Applying Real-time Programming to Legacy Embedded Control Software
S. Resmerita, A. Naderlinger, M. Huber, K. Butts and W. Pree
Proceedings of the 18th IEEE Symposium on Real-Time Computing (ISORC 2015), Auckland, New Zealand.

Addressing Non-functional Requirements for Embedded Applications with Platform Based Aspect Design
by S. Resmerita, A. Poelzleitner and S. Lukesch
Proceedings of the 11th Intl IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2015), Auckland, New Zealand

Multiple real-time semantics on top of synchronous block diagrams
Andreas Naderlinger
Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium (DEVS 13).
Society for Computer Simulation International, San Diego, CA, USA

Accurate 3D-Vision-Based Obstacle Detection for an Autonomous Train
J. Weichselbaum, C. Zinner, O. Gebauer, W. Pree
Computers in Industry, An International, Application Oriented Research Journal, Elsevier, Volume 64, Issue

Multi-Frequency Lock-In Detection with non-Sinusoidal References
P. Hintenaus, H. Trinker
IEEE Transactions on Instrumentation and Measurement, Volume 62, no. 4

Engineering Embedded Systems - Physics, Programs, Circuits
P. Hintenaus
ISBN 9783319106793,

Modeling and simulation of timing behavior with the Timing Definition Language (TDL)
J. Templ, P. Derler, P. Hintenaus, A. Naderlinger, W. Pree, S. Resmerita
Book-Chapter for Real-time Simulation Technologies: Principles, Methodologies, and Applications, CRC Press
ISBN 9781439846650

Command Processing in Java Swing Programs
A. Naderlinger, J. Templ, W. Pree
Book-Chapter for Java in Academia And Research, Ka Cai (Editor), CreateSpace
ISBN 9781461098706,

Execution-Time Aware Simulink Blocks
A. Naderlinger
Proceedings of the 2012 Spring Simulation Multiconference, Orlando