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.