NEWS:

• September 2005: My military service starts (until end of April 2006)
• July 2005: Joining TTChip (subsidiary of TTTech Computertechnik AG)
• July 2005: Leaving Vienna University of Technology

Office Hours: I've left the Institute. Phone: Currently none available Fax: Currently none available Email: willy@vmars.tuwien.ac.at Curriculum Vitae: CV

List of Publications

• Dependable Time-Triggered Communication (Hermann Kopetz, Günther Bauer, Wilfried Steiner) The Industrial Communication Technology Handbook 2005


• Startup and Recovery of Fault-Tolerant Time-Triggered Communication (Wilfried Steiner) Doctoral Thesis 2005


• Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration to Exhaustive Fault Simulation (Wilfried Steiner, John Rushby, Maria Sorea, and Holger Pfeifer) DSN 2004


• Multiple Failure Correction in the Time-Triggered Architecture (Wilfried Steiner, Michael Paulitsch, Hermann Kopetz) WORDS 2003f


• Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems (Michael Paulitsch, Wilfried Steiner) EUROMICRO 2003


• Automatic Recovery of the TTP/A Sensor/Actuator Network (Wilfried Steiner, Wilfried Elmenreich)WISES 2003


• The Central Guardian Approach to Enforce Fault Isolation in a Time-Triggered System (Günther Bauer, Hermann Kopetz,Wilfried Steiner) ISADS 2003


• Byzantine Fault Containment in TTP/C (Günther Bauer, Hermann Kopetz, Wilfried Steiner) RTLIA 2002


• The Transition from Asynchronous to Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems (Wilfried Steiner and Michael Paulitsch) ICDCS 2002

Projects:

• NEXT TTA
      The NEXT TTA project enhances the structure, functionality and dependability of the time-triggered architecture (TTA) to meet the austere cost structure of the automotive industry, while satisfying the rigourous safety requirements of the aerospace industry. By placing the safety-relevant algorithms, that are formally analyzed, into intelligent replicated star couplers, NEXT TTA reduces the cost and generalizes the failure assumptions of the node computers. Event-triggered communication services are integrated into the TTA to increase the required flexibility. The synchronous programming environment LUSTRE and its tool set are extended for the TTA and automated worst-case-execution-time analysis is explored. CORBA compliant interfaces are provided in order to make TTA systems interoperable with the open information infrastructure. The limits of implementing the TTA with COTS components in the gigabit range are investigated.
   
• PAMELA (Prospective Analysis for Modular ELectronic integration in Airborne systems)
      PAMELA is a Critical Technology project, aimed at selecting and preparing the underlying technologies, concepts and standards for future implementation of Integrated Modular Aircraft Electronics, which covers Cockpit avionics and utilities, crew and passenger services and communications. The new generation of standards shall take into account the accelerating progress of Information Technology in order to define a framework for future aircraft electronics for years 2005 to 2020.
  
  The PAMELA consortium is made up of airframers, equipment suppliers and universities, in order to: define the overall requirements; review and assess the available or emerging technologies; select the relevant technologies, define the new concepts for architecture and integration, examine specifics of regional and helicopter applications compared with air transport; develop experiments to solve issues raised concerning technologies; specify and prototype tools and methods for development; prepare a framework and drafts for new standards to be created.