Embedded Software & Systems

Universität Salzburg

Salzburg | Website

Core Facilities (CF)

Kurzbeschreibung

Forschung wird durch eine Grundeinstellung geprägt. Unsere Erfahrung zeigt, dass die meisten Programme und Systeme, in denen Software wesentlich darüber entscheidet, ob diese funktionieren, unnötig komplex sind, oft über den Punkt hinaus bis zu dem sie beherrschbar sind. Daher erforschen wir Konzepte, Methoden und Werkzeuge, die beim Bau schlanker Software helfen. Das umfasst alle Aspekte der Software-Konstruktion, insbesondere:

Software-Entwurf und -Implementierung
Software-Wiederverwendung und -Komposition
Programmiermethoden

Ansprechperson

Wolfgang Pree, Full Professor

Research Services

Modellierung von Zeitverhalten sicherheitskritischer Systeme, zum Beispiel als Basis für die Migration auf Multi-Core-Architekturen
Unterstützung bei Echtzeit-Simulationen
autonomes Fahren: Sensor-Fusion, Bewertung von Sensorik
Prüfung von Quelltext und automatisches Testen

Methoden & Expertise zur Forschungsinfrastruktur

formale Methoden zur Modellierung von Echtzeitverhalten (correct-by-construction)
diskrete Ereignissimulation als Basis für Simulationen, bei denen Plattform-Aspekte mit berücksichtigt werden
Entwurfsmuster für erweiterbare Software-Architekturen

Wolfgang Pree, Full Professor
Fachbereich Computerwissenschaften
0043 662 8044 6488
wolfgang.pree@sbg.ac.at
http://www.uni-salzburg.at/index.php?id=53913&L=1
Bitte kontaktieren Sie uns unter science.plus@sbg.ac.at, oder kontaktieren Sie direkt die/den FI-Verantwortliche/n
AVL List GmbH
Google
Xingtera
C. Doppler Labor Embedded Software Systems
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/
Towards Parallelizing Legacy Embedded Control Software Using the LET Programming Paradigm
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