Image Processing Reference
In-Depth Information
[KO] H. Kopetz and R. Obermaisser. Temporal composability.
Computing & Control Engineering
Journal
, :-, August .
[Kop] H. Kopetz. Sparse time versus dense time in distributed real-time systems. In
Proceedings of
the th International Conference on Distributed Computing Systems
,Japan,June.
[Kop] H. Kopetz. Why time-triggered architectures will succeed in large hard real-time systems.
In
Proceedings of the th IEEE Computer Society Workshop on Future Trends of Distributed
Computing Systems
,ChejuIsland,Korea,August.
[Kop] H. Kopetz.
Real-Time Systems, Design Principles for Distributed Embedded Applications
.
Kluwer Academic Publishers, Boston, MA, Dordrecht, the Netherlands, London, .
[Kop] H. Kopetz. Fault containment and error detection in the time-triggered architecture. In
Pro-
ceedings of the International Symposium on Autonomous Decentralized Systems
,Pisa,Italy,
April .
[Kop] H. Kopetz. he fault-hypothesis for the time-triggered architecture. In
IFIP Congress Topical
Sessions
, pp. -, Toulouse, France, .
[Kop] H. Kopetz. The complexity challenge in embedded system design. In
Proceedings of the
th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
,
Orlando, FL, .
[Lap] J.C. Laprie. Dependability: Basic concepts and terminology in English, French, German, Ital-
ian and Japanese,
Dependable Computing and Fault Tolerance
,p.,SpringerVerlag,Vienna,
Austria, .
[LH] J.H. Lala and R.E. Harper. Architectural principles for safety-critical real-time applications.
Proceedings of the IEEE
, ():-, January .
[LL] J. Lundelius and N. Lynch. A new fault-tolerant algorithm for clock synchronization. In
Proceedings of the rd Annual ACM Symposium on Principles of Distributed Computing
,
pp. -. ACM Press, Providence, RI, .
[Mac] D.A. Mackall. Development and flight test experiences with a flight-crucial digital control
system, technical paper . Technical report, NASA Ames Research, .
[MFH
+
] B.Müller,T.Führer,F.Hartwich,R.Hugel,andH.Weiler.FaulttolerantTTCANnetworks.
In
Proceedings of the th International CAN Conference (iCC)
, Las Vegas, NV, .
[OKS]
R. Obermaisser, H. Kraut, and C. Salloum. A transient-resilient system-on-a-chip architec-
ture with support for on-chip and off-chip tmr. In
Proceedings of the th European Dependable
Computing Conference (EDCC)
, Kaunas, Lithuania, .
[Pit]
S. Pitzek. Description mechanisms supporting the configuration and management of TTP/A
fieldbus systems. Master's thesis, Technische Universität Wien, Institut für Technische Infor-
matik, Treitlstr. //-, Vienna, Austria, .
[Pol]
S. Poledna.
Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism
.Kluwer
Academic Publishers, Norwell, MA, .
[PSF]
H. Pfeifer, D. Schwier, and F.W. von Henke. Formal verification for time-triggered clock
synchronization. In
Proceedings of th IFIP Working Conference on Dependable Comput-
ing for Critical Applications
, pp. -, San Jose, CA, November . Fakultat fur Inf.,
Ulm Univ.
[Rus]
J. Rushby. Partitioning for avionics architectures: Requirements, mechanisms, and assurance.
NASA Contractor Report CR--, NASA Langley Research Center, June . Also
to be issued by the FAA.
[Rus]
J. Rushby. Bus architectures for safety-critical embedded systems.
Proceedings of the st Work-
shop on Embedded Sotware (EMSOFT )
, vol. of Lecture Notes in Computer Science
(T. Henzinger and C. Kirsch, eds.), pp. -, Springer-Verlag, Lake Tahoe, CA, October
.
[SA]
K. Steinhammer and A. Ademaj. Hardware implementation of the time-triggered ethernet
controller.
International Embedded Systems Symposium (IESS)
,Irvine,CA,June.