University of Salzburg
Salzburg | Website
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
Xingtera
2007-2014
Wolfgang Pree
C. Doppler Gesellschaft, AVL List GmbH
http://www.softwareresearch.net/research/projects/
autoBAHN
2008-2014
Wolfgang Pree
FFG , University of Applied Science (Fachhochschule), Wels, Siemens AG Österreich, Wien, Stern & Hafferl Verkehrsgesellschaft mbH, Gmunden
http://www.softwareresearch.net/research/projects/
2016
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
2015
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
2015
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
2013
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
2013
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
2013
P. Hintenaus, H. Trinker
IEEE Transactions on Instrumentation and Measurement, Volume 62, no. 4
Engineering Embedded Systems - Physics, Programs, Circuits
2014
P. Hintenaus
Springer
ISBN 9783319106793,
Modeling and simulation of timing behavior with the Timing Definition Language (TDL)
2012
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
2011
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
2012
A. Naderlinger
Proceedings of the 2012 Spring Simulation Multiconference, Orlando