Publications related to Embedded Software & Systems

Virtual Execution Environment for Real-Time TDL
by C. Farcas, W. Pree
in Proceedings of the 12th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), Patras, Greece. IEEE, Sep 2007.
Download C077.pdf

Towards a Flexible Air Traffic Management: Dealing with Conflicts
by S. Resmerita, M. Heymann, G. Meyer
In Proceedings of the 11th World Conference on Transport Research, June 24-28 2007, UC Berkeley,CA
Download C076.pdf

A Deterministic Infrastructure for Real-Time Distributed Systems
by C. Farcas, W. Pree
OSPERT 2007 Workshop on Operating Systems Platforms for Embedded Real-Time applications
Download C075.pdf

Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL)
by A. Naderlinger, J. Pletzer, W. Pree, J. Templ
4th International ICSE workshop on Software Engineering for Automotive Systems, Minneapolis, 26 May 2007
Download C074.pdf

Bus Scheduling for TDL Components
by E. Farcas, W. Pree, J. Templ
Dagstuhl Conference on Architecting Systems with Trustworthy Components, May 2006

Transparent Distribution of Real-Time Components Based on Logical Execution Time
by E. Farcas, C. Farcas, W. Pree, J. Templ
ACM SIGPLAN/SIGBED 2005 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'05), Chicago, Illinois, June 15-17, 2005
Download C072.pdf

Real-Time Component Integration Based on Transparent Distribution
by E. Farcas, C. Farcas, W. Pree, J. Templ
2nd workshop on Software Engineering for Automotive Systems in the realm of the 27th ACM International Conference on Software Engineering (ICSE05), St. Louis, Missouri, USA, May 2005
Download C071.pdf

Metric Suite for Directing the Failure Mode Analysis of Embedded Software Systems
by G. Menkhaus, B. Andrich
In proc. of: 7th International Conference on Enterprise Information Systems (ICEIS 2005), Miami, USA, 2005
Download C069.pdf

Towards Efficient Use of Shared Communication Media in the Timed Model
by G. Menkhaus, S. Fischmeister, M. Holzmann, C. Farcas
EEE Real-time and Embedded Technology and Applications Symposium (RTAS2005), San Francisco, CA, USA, 2005
Download C068.pdf

Aspect-oriented hard real-time programming and tool integration
by W. Pree, J. Templ
The Monterey Workshop Series (Z. Manna, T Henzinger, eds.) , Vienna, Austria, October 4-6, 2004
Download C067.pdf

Modellierung von deterministischer Software in Simulink
by G. Stiegelbauer, A. Werner
GI-Jahrestagung 2004 der Gesellschaft fur Informatik, Automotive Software Workshop, published as Lecture Notes in Informatics (LNI): Peter Dadam, Manfred Reichert (Ed.)
Download C066.pdf

Task Sequencing for Optimizing the Computation Cycle in a Timed Computation Model
by S. Fischmeister and G. Menkhaus
Proc. of the 23rd International Digital Avionics Systems Conference (DASC'04), IEEE Press, 2004
Download C062.pdf

Time-triggered Communication for Distributed Control Applications in a Timed Computation Model
by G. Menkhaus, M. Holzmann, S. Fischmeister
Proc. of the 23rd International Digital Avionics Systems Conference (DASC'04), IEEE Press, 2004
Download C061.pdf

Towards a Component Architecture for Hard Real Time Control Applications
by W. Pree, J. Templ
Automotive Software Workshop San Diego (ASWSD 2004, organized by M. Broy, I. Krüger), San Diego, CA, 10-12 January 2004; published as Springer Lecture Notes in Computer Science (LNCS)
Download C057.pdf

Visual and Interactive Development of Hard Real Time Code
by G. Stieglbauer, W. Pree
Automotive Software Workshop San Diego (ASWSD 2004, organized by M. Broy, I. Krüger), San Diego, CA, 10-12 January 2004; published as Springer Lecture Notes in Computer Science (LNCS)
Download C056.pdf

Embedded Systems Knowledge Base
by K-M. Koch, M. Loge, W. Pree and S. Fischmeister
I-KNOW '03 - 3rd International Conference on Knowledge Management, Graz, Austria, 2-4 July, 2003
Download C054.pdf

Location-Detection Strategies in Pervasive Computing Environments
by Sebastian Fischmeister, Guido Menkhaus, Alexander Stumpfl
IEEE International Conference on Pervasive Computingand Communication, Dallas-Forth Worth, Texas, USA, 2003
Download C051.pdf

A Giotto-Based Helicopter Control System
by C. Kirsch, M. Sanvido, T. Henzinger, W. Pree
Embedded Software Conference (EmSoft 2002), Grenoble, France, 7-9 October 2002
Download C050.pdf

Evaluating the Security Of Three Java-Based Mobile Agent Systems
by S. Fischmeister, G. Vigna, R. A. Kemmerer
5th IEEE International Conference on Mobile Agents (MA01); Atlanta, Georgia, USA; Dec. 2-4. 2001
Download C041.pdf

Embedded Software Market Transformation Through Reusable Frameworks
by W. Pree, A. Pasetti
EmSoft 2001: First Workshop on Embedded Software; Lake Tahoe; California, 8-10 Oct. 2001
Download C038.pdf

A Reusable and Platform-Independent Framework for Distributed Control Systems
by T. Brown, T.A. Henzinger, C.M. Kirsch, A. Pasetti, W. Pree
IEEE/AIAA 20th Digital Avionics Systems Conference (DASC2001); Florida, 14-18 October 2001
Download C037.pdf

An Object-Oriented Component-Based Framework for On-Board Software
by A. Pasetti, W. Pree, J. Terraillon, T. Overbeek
Data Systems in Aerospace (DASIA) Conference; Nice, France, 28 May -1 June 2001
Download C036.pdf

A Reusable Architecture for Satellite Control Software
by A. Pasetti, W. Pree
IEEE/AIAA 19th Digital Avionics Systems Conference (DASC2000); Philadelphia, PA, 7-13 October 2000
Download C033.pdf

Two Novel Concepts for Systematic Product Line Development
by A. Pasetti, W. Pree
"Software Product Lines - Experience and Research Directions" P. Donohoe (ed), Kluwer Academic Publishers, 2000 (First Software Product Line Conference, organized by CMU/SEI, Denver, Colorado, 28-31 August 2000)
Download C032.pdf

The Component Software Challenge for Real-Time Systems
by A. Pasetti, W. Pree
Proceedings of the First International Workshop on Real-Time Mission-Critical Systems, Scottsdale, Arizona, 30 November - 1 December 1999
Download C027.pdf

A Component Framework for Satellite On-Board Software
by A. Pasetti, W. Pree
IEEE/AIAA 18th Digital Avionics Systems Conference (DASC99)
Download C026.pdf

Simulink Integration of Giotto/TDL
by W. Pree, G. Stieglbauer, J. Templ
Springer LNCS Future Generation Software Architectures in the Automotive Domain, June 2006

Mobiles Rechnen
by W. Pree
Informatik Handbuch (Ed. P. Rechenberg, G. Pomberger), Hanser Verlag, 4. Auflage, 2006

Eingebettete Echtzeitsoftware
by C. Kirsch, W. Pree, J. Templ
Chapter in the book Software Engineering (G. Pomberger, W. Pree), Hanser Verlag, October 2004
Download J022.pdf

From Control Models to Real-Time Code Using Giotto
by T. Henzinger, C. Kirsch, M. Sanvido, W. Pree
IEEE Control Systems Magazine 23(1), February 2003
Download J021.pdf

Ein Wegweiser für Forschung und Lehre im Software-Engineering eingebetteter Systeme
by M. Broy, W. Pree
Hauptbeitrag Software Engineering, Informatik Spektrum, Februar 2003
Download J020.pdf

Hints and Guidelines for the Framework Adaptation Process
by W. Pree, A. Pasetti. T. Brown
Chapter in the book: The UML-F Profile for Framework Architectures (M. Fontoura, W. Pree, B. Rumpe), Addison-Wesley, 2002
Download J018.pdf

Embedded Systems Knowledge Base - Austria and Surrounding Regions
by S. Fischmeister ed.
Austrian Computer Society, 2004

Software Engineering — Architektur-Design und Prozessorientierung
by G. Pomberger, W. Pree
Hanser Verlag, October 2004

A Software Framework for Satellite Control Systems Methodology and Development
by A. Pasetti
Springer-Verlag, LNCS Series (2002)

TDL Timing Definition Language 1.2 Specification
by J. Templ
C. Doppler Labor Embedded Software Systems Feb 2007
Download T020.pdf

Transparent Distribution of TDL Modules
by E. Coste, C. Farcas, W. Pree and J. Templ
Department of Computer Science, University of Salzburg, April 2005
Download T005.pdf

TDL Specification and Report
by J. Templ
Computer Science, University of Salzburg, November 2004
Download C059.pdf

The TDL Advantage
by C. Farcas, M. Holzmann, H. Pletzer, G. Stieglbauer
Department of Computer Science, University of Salzburg, 19 April 2004 (feedback under revision)
Download C058.pdf

The Timing Description Language (TDL) —Specification and Report
by J. Templ
Department of Computer Science, University of Salzburg, October 2003
Download C055.pdf