List of Publications

Publications acknowledging NEXT TTA

• A. ADEMAJ
  "Achieving Fail Silence in the Time-Triggered Architecture"
  Proc. of 6th IEEE Int. Workshop on Design and Diagnostics of Electronics Circuits and Systems (DDECS'03)", April 2003, Poznan, Poland



• A. ADEMAJ, G. BAUER, H. SIVENCRONA, J. TORIN
  "Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology"
  to appear in Proc. of IEEE International Conference on Dependable Systems and Networks (DSN 2003), June 2003, San Francisco, USA



• O. ASKERDAL, M. GAFVERT, M. HILLER, N. SURI
  "A Control Theory Approach for Analyzing the Effects of Data Errors in Safety Critical Systems"
  Proceedings of the Pacific Rim International Symposium on Dependable Computing (PRDC), Dec. 2002, Tsukuba-city, Ibarski, Japan



• G. BAUER, H. KOPETZ, W. STEINER
  "Byzantine Fault Containment in TTP/C"
  1st Intl. Workshop on Real-Time LANs in the Internet Age, June 18, 2002, Vienna, Austria



• G. BAUER, H. KOPETZ, W. STEINER
  "The Central Guardian Approach to Enforce Fault Isolation in a Time-Triggered System"
  Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 03) April 2003, Pisa, Italy



• G. BERNAT
  “pWCET a tool for probabilistic WCET analysis” presented at the 3rd Intl Workshop on WCET analysis. Porto, June 2003



• G. BERNAT, A. COLIN, S. M. PETTERS
  "WCET Analysis of Probabilistic Hard Real-Time Systems"
  Real-Time Systems Symposium, December 2002, Austin, Texas, USA



• G. BERNAT, A. COLIN, S. M. PETTERS
  "pWCET a Toolset for automatic Worst-Case Execution Time Analysis of Real-Time Embedded Programs"
  Technical Report YCS-2003-353, Department of Computer Science, University of York, United Kingdom, January 2003



• G. BERNAT
  "Worst-Case Execution Time Analysis of Real-Time Embedded Programs"
  Class held at the Embedded Systems Show 2003 London, 14-15 May, 2003



• G. BERNAT, A. COLIN, S. M. PETTERS
  "pWCET a Toolset for automatic Worst-Case Execution Time Analysis of Real-Time Embedded Programs"
  3rd Int. Workshop on WCET Analysis, Satellite Workshop of the Euromicro conference on Real-Time Systems, Porto, Portugal, 1 July 2003



• G. BERNAT, N. HOLSTI
  "Wishing for Compiler Support"
  3rd Int. Workshop on WCET Analysis, Satellite Workshop of the Euromicro conference on Real-Time Systems, Porto, Portugal, 1 July 2003



• M. BUHLMANN, D. KANT
  "Concepts, Methods & Tools for Software Development in the Automotive Industry"
  SCADE User Conference, Toulouse, France, 19-20 May, 2003



• M. BUHLMANN
  "Bussysteme für sicherheitsrelevante Systeme"
  12. Aachener Motorenkolloquium, Aachen, Germany, October 2003



• A. BURNS, G. BERNAT, I. BROSTER
  “A Probabilistic Framework for Probabilistic Schedulability Analysis”, presented at EMSOFT, Philadelphia, 2003



• P. CASPI, A. CURIC, A. MAIGNAN, CH. SOFRONIS, S. TRIPAKIS AND P. NIEBERT
  "From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications"
  LCTES03, San Diego, June 2003, Published by ACM-SIGPLAN



• P. CASPI, A. CURIC, A. MAIGNAN, C. SOFRONIS, S. TRIPAKIS
  "Translating Discrete-Time Simulink to Lustre"
  to appear in Proc. of EMSOFT'03, Philadelphia, USA, 13-15 Oct., 2003



• V. CLAESSON, C. EKELIN, N. SURI
  "The Event-Triggered and Time-Triggered Medium-Access Method
  Proceedings of the 6th IEEE International Symposium on Object-oriented Real-Time Distributed Computing (ISORC)
  May 2003, Hakodate, Hokkaido, Japan



• A. COLIN, S. M. PETTERS
  "Experimental Evaluation of Code Properties for WCET Analysis"
  to appear in Proc. of the 24th IEEE Real-Time Systems Symposium, Cancun, Mexico, December 2003



• M. DELVAI, W. HUBER, P. PUSCHNER, A. STEININGER
  “Processor Support for Temporal Predictability - The SPEAR Design Example”, 15th Euromicro Conference on Real-Time Systems, Porto, Portugal, July 2-4, 2003



• J. FAUSTER, R. KIRNER, P. PUSCHNER “Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs” 3rd International Conference on Embedded Software (EMSOFT 2003), Philadelphia, USA, October 13-15, 2003



• J. GUSTAFSSON, B. LISPER, R. KIRNER P. PUSCHNER
  "Input-Dependency Analysis for Hard Real-Time Software"
  to appear in Proc. of 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems WORDS2003F, Oct. 2003, Capri, Italy



• A. JHUMKA, M. HILLER, N. SURI
  “A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs” 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES03)



• R. KIRNER, P. PUSCHNER
  "Timing Analysis of Optimised Code"
  Proceedings of 8th International IEEE Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003)
  January 2003, Guadalajara, Mexico



• R. KIRNER, P. PUSCHNER
  "Discussion of Misconceptions about Worst-Case Execution-Time Analysis"
  Proc. of 3rd Euromicro International Workshop on WCET Analysis, July 2003, Porto, Portugal



• R. KIRNER, P. PUSCHNER
  “Transformation of Meta-Information by Abstract Co-Interpretation”, 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2003), September 24-26, 2003, Vienna , Austria



• H. KOPETZ
  "Time-Triggered Real-Time Computing"
  IFAC World Congress, Barcelona, July 2002, IFAC Press



• H. KOPETZ, N. SURI
  "Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces"
  Proceedings of the 6th IEEE International Symposium on Object-oriented Real-Time Distributed Computing (ISORC)
  May 2003, Hakodate, Hokkaido, Japan



• H. KOPETZ, N. SURI
  “On the Limits of the Precise Specification of Component Interfaces”, 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), Capri, 2003



• A. KRÜGER, D. KANT, M. BUHLMANN
  "Software Development Process and Software Components for X-by-Wire Systems"
  SAE World Congress 2003, Detroit, Michigan, USA, 3-6 March 2003



• A. KRÜGER, G. WAGNER, N. EHMKE, S. PROKOP
  "Wirtschaftliche Betrachtungen und mögliche Geschäftsmodelle für Standard-Software"
  to appear in Proc. of 11. Internationalen Kongress “Elektronik im Kraftfahrzeug”. Baden, Germany, September 2003



• R. MAIER, G. BAUER, S. STOEGER, S. POLEDNA
  "Time-Triggered Architecture: A Consistent Computing Platform"
  IEEE Micro, 22(4):36-45. July/August 2002



• R. MAIER
  "EVENT-TRIGGERED COMMUNICATION ON TOP OF TIME-TRIGGERED ARCHITECTURE"
  DASC (Digital Avionics Conference), October 27-29, 2002, Irvine, California, USA



• R. OBERMAISSER
  "CAN Emulation in a Time-Triggered Environment"
  In Proc. IEEE International Symposium on Industrial Electronics (ISIE 2002), July 2002, L´Aquila, Italy



• R. OBERMAISSER, P. PETI
  “A Framework for Rapid Application Development of Distributed Embedded Real-Time Systems”, Eurocon 2003, Ljubljana, Slovenia, September 22-24, 2003



• M. PAULITSCH, W. STEINER
  "Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems"
  Proc. of 15th Euromicro Conference on Real-Time Systems
  July 2-4, 2003, Porto, Portugal



• S. M. PETTERS
  "How Much Worst Case is needed in WCET Estimation"
  In Proc. 2nd Euromicro International Workshop on WCET Analysis, June 2002, Vienna Austria



• S. M. PETTERS
  "Comparison of Trace Generation Methods for Measurement Based WCET Analysis"
  Proc. of the 3rd Int. Workshop on WCET Analysis, Satellite Workshop of the Euromicro conference on Real-Time Systems, Porto, Portugal, 1 July 2003



• P. PUSCHNER
  "Is Worst-Case Execution-Time Analysis a Non-Problem? -- Towards New Software and Hardware Architectures"
  In Proc. 2nd Euromicro Workshop on WCET Analysis, June 2002



• P. PUSCHNER
  "Algorithms for Dependable Hard Real-Time Systems"
  Proceedings of 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), January 2003, Guadalajara, Mexico



• P. PUSCHNER
  "Hard Real-Time Programming is Different"
  Proceedings of 17th IEEE International Parallel and Distributed Processing Symposium, 11th International Workshop on Parallel and Distributed Real-Time Systems, April 2003, Nice, France



• P. PUSCHNER
  “The Single-Path Approach towards WCET-analysable Software” Proc. of IEEE International Conference on Industrial Technology, December 2003 Maribor, Slovenia



• P. PUSCHNER, R. KIRNER
  "Avoiding Timing Problems in Real-Time Software"
  Proc. IEEE Workshop on Software Technologies for Future Embedded Systems, May 2003, Hakodate, Japan



• J. RUSHBY
  "An Overview of Formal Verification For the Time-Triggered Architecture"
  FTRTFT’02, Oldenburg, Germany, September 2002



• M. SCHWARZ, R. MAIER
  "Communication Platform Requirements for Modular Avionics"
  22nd Digital Avionics Conference, Indianapolis, Indiana, USA, October 2003



• J. SIFAKIS, S. TRIPAKIS, S. YOVINE
  "Building Models of Real-Time Systems from Application Software"
  In Proc. of the IEEE, January 2003



• W. STEINER, M. PAULITSCH
  "The Transition from Asynchronous to Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems"
  In Proc. 22nd International Conference on Distributed Computing Systems (ICDCS 2002), July 2002, Vienna, Austria



• W. STEINER, M. PAULITSCH, H. KOPETZ
  "Multiple Failure Correction in the TimeTriggered Architecture"
  to appear in Proc. of WORDS 2003 Fall, Capri Italy, 1-3 October, 2003



• G. STOEGER, A. MUELLER, S. KINDLEYSIDES, L. GAGEA
  "Improving the Availability of Time-Triggered Networks: The TTA Star Coupler"
  SAE World Congress 2003, Detroit, Michigan, USA, March 2003



• G. STÖGER, A. KRÜGER, G. KÖNIGHOFER
  "Network Management in time-triggered communication systems"
  VDI, Baden-Baden, Germany, September 2003



• S. TRIPAKIS
  "Decentralized control of discrete event systems with bounded or unbounded delay communication"
  6th International Workshop on Discrete Event Systems (WODES'02), 2-4 October 2002, Zaragoza, Spain
  Published by IEEE Computer Society, 2002



• S. TRIPAKIS
  "Automated Module Composition"
  Proceedings of 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), April 2003, Warsaw, Poland



• S. TRIPAKIS
  "Folk theorems on the determinization and minimization of timed automata"
  to appear in Proc. of Formal Modeling and Analysis of Timed Systems (FORMATS 2003), Marseille, France, September 6-7 2003
  published by Springer in the LNCS series

NEXT TTA Ph.D Theses

• Astrit ADEMAJ
  “Assessment of Error Detection Mechanisms of the Time-Triggered Architecture Using Fault Injection”, April 2003 (in cooperation with FIT IST-1999-10748 and DSOS, IST-1999-11585)



• Orjan ASKERDAL
  “On Impact and Tolerance of Data Errors with Varied Durations”, June 2003



• Vilgot CLAESSON
  ”Efficient and Reliable Communication in Distributed Embedded Systems” Ph.D. Thesis, Dept. of Comp. Engg., Chalmers University, Göteborg, December 2002



• Raimund Kirner
  “Extending Optimising Compilation to Support”, May 2003 (in cooperation with SETTA, IST-1999-10043)



• Roman OBERMAISSER
  “An Integrated Architecture for Event-Triggered and Time-Triggered Control Paradigms”, January 2004



• Michael PAULITSCH
  “Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems”, 2002 (in cooperation with DSOS, IST-1999-11585)



• Holger PFEIFER
  “Formal Analysis of Fault-Tolerant Algorithms in the Time-Triggered Architecture” Ph.D.Thesis, Juni 2003, Universität Ulm

NEXT TTA Master Theses

• Christian EDER
  ”Designing a High-Performant Real-Time Architecture Based on COTS-Components” Master Thesis, Vienna University of Technology, Institut fur Technische Informatik, 2002



• Laszlo JOSEPOVITS
  “QoS for the TCP/IP-based Extension of the Time Triggered Architecture”, June 2003



• Martin SCHWARZ
  “Implementation of a TTP/C Cluster Based on Commercial Gigabit Ethernet Components”, 2002



• Christos SOFRONIS
  “Translating Discrete-time Simulink to Lustre”, October 2003, Universite Joseph Fourier

Publications related to NEXT TTA

• I. BATE, G. BERNAT, P. PUSCHNER
  "Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis"
  In Proc. 5th IEEE International Symposium on Object-oriented Real-time distributed Computing, Washington, DC, USA, April, 2002



• A. BENVENISTE, P. CASPI, P. LE GUERNIC, H. MARCHAND, J.P. TALPIN and S. TRIPAKIS
  "A Protocol for Loosely Time-Triggered Architectures"
  In Proc. EMSOFT 2002, Grenoble, France, Oct. 2002

Published by Springer in the LNCS series.


• M.BUHLMANN
  "Voraussetzungen für verteilte Fahrzeugfunktionen auf Basis einer zeitgesteuerten Architektur"
  VDA Congress "Elektronik im Kraftfahrzeug", September 27-28, 2002, Baden-Baden, Germany



• M. BUHLMANN
  "Necessary software structures and process steps for development of distributed controls"
  3rd Dec. 2003, "Haus der Technik" (house of technique), Essen, Germany



• A. COLIN, G. BERNAT
  "Scope Tree: a Program Representation for Symbolic WCET Analysis"
  In Proc. 14th Euromicro International Conference on Real-Time Systems, June 2002, Vienna, Austria.



• B. HARDUNG, M. WERNICKE, G. WAGNER, A. KRÜGER, F. WOLGEMUTH
  "Entwicklungsprozess für vernetzte Elektroniksysteme"
  to appear in Proc. of 11. Internationalen Kongress “Elektronik im Kraftfahrzeug”, Baden, Germany, September 2003



• A. KRÜGER, M. BUHLMANN
  "Sicherheitsarchitektur und Software-Komponenten für sicherheitsrelevante Systeme"
  VDA Technical Congress 2002, March 20-21,2002, Stuttgart, Germany



• P. PUSCHNER
  "Transforming Execution-Time Boundable Code into Temporally Predictable Code"
  In Proc. IFIP World Computer Congress 2002, Stream on Distributed and Parallel Embedded Systems (DIPES), Montreal, Canada, Aug. 2002



• S.TRIPAKIS
  "Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System"
  In Proc. EMSOFT 2002, Grenoble, France, Oct. 2002

Published by Springer in the LNCS series.


• S.TRIPAKIS
  "Fault Diagnosis for Timed Automata"
  In Proc. FTRTFT 2002, Oldenburg, Germany, Sept. 2002

Published by Springer in the LNCS series.

To appear

• Ö. ASKERDAL, M. GÄFVERT, M. HILLER, N.SURI
  “Analyzing the Impacts of Data Errors in Safety-Critical Control Systems”, to appear in IEICE Transactions on Information & Systems, Special Issue on Dependable Computing



• G. BERNAT, A. BURNS, M. NEWBY
  “Probabilistic timing analysis: an approach using copulas” accepted to the Journal of Embedded Computing to be published later in 2004.



• V. CLAESSON, H. LÖNN, N. SURI
  “An Efficient TDMA Start-up and Restart Synchronization Approach for Distributed Embedded Systems”, to appear in IEEE Transactions on Parallel and Distributed Systems



• M. HILLER, A. JHUMKA AND N. SURI
  “EPIC: Profiling the Propagation and Effect of Data Errors in Software”, to appear IEEE Transactions on Computers

back to top