Abstract
This paper presents a simulation model of the Time-Triggered Protocol (TTP/C) based embedded computer system as a tool for evaluation of system capability to tolerate a chosen category of faults. The model, being written in ANSI-C, is portable and machine-independent. Its structure is modular and flexible, so that the system to be studied and the experiment setting can easily be changed. The functionality of this model is demonstrated on a set of fault injection experiments aimed mainly to evaluate the correctness of the TTP/C specification. These experiments were done within the EU/IST FIT (Fault Injection for Time triggered architecture) project solution.
The research was in part supported by a grant of 5th Framework Program Information Societies Technology: IST-1999-10748 Fault Injection for Time Triggered Architecture (FIT).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ademaj, A., Grillinger, P., Herout, P., Hlavicka, J.: Fault Tolerance Evaluation using two SWIFI Methods. In: Proceedings of IEEE IOLTW 2002, Isle of Bendor (France), 8–10. 7. 2002 (in print)
Grillinger, P., Racek, S.: Transient faults robustness evaluation of safety critical systems using simulation. In: Proceedings of BEC 2002 (Baltic Electronic Conference), Tallinn, Oct. 2002 (in print)
Heiner, G., Thurner, T.: Time-triggered architecture for safety-related distributed real-time systems in transportation systems. In: Proceedings of FTCS-28, Munich, Germany (1998) 402–407
Hlavicka, J., Racek, S., Smrha, P.: Functional validation of fault-tolerant asynchronous algorithms. In: Proceedings of Euromicro, Prague, Czech Republic (1996) 143–150
Hlavicka, J., Racek, S., Herout, P.: Analysis and testing of process controller dependability. In: Proceedings of Ninth IEEE European Workshop on Dependable Computing, Gdansk, Poland (1998) 7–11
Hlavicka, J., Racek, S., Herout, P.: Evaluation of Process Controller Fault Tolerance Using Simulation. Simulation Practice and Theory, Vol. 7, Nr. 8, March 2000, 769–790
Kopetz, H.: Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, 1997, p. 338
Laprie, J. C. (ed.): Dependability: Basic concepts and terminology. Springer-Verlag Wien, New York, 1992, p. 265
Manzone, A. et al.: Fault tolerant automotive systems: An overview. In: Proceedings of 7th Int’l On-Line Testing Workshop, Taormina, Italy, 9–11.7. 2001, 117–121
Pfeifer, H., Schwier, D., Henke, F.W.: Formal Verification for Time-Triggered Clock Synchronization. Published in Dependable Computing and Fault-Tolerant Systems, Vol. 12, C. B. Weinstock and J. Rushby, eds., 207–226, IEEE Computer Society
Rushby, J.: Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms. IEEE Transactions for SW Engineering, Vol. 25, No. 5, Sept/Oct 1999, 651–661
TTP/C Protocol-Specification of the protocol. Version 1.0 of 1. Feb. 1999. TTTech Computertechnik GmbH, http://www.tttech.com
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Herout, P., Racek, S., Hlavička, J. (2002). Model-Based Dependability Evaluation Method for TTP/C Based Systems. In: Bondavalli, A., Thevenod-Fosse, P. (eds) Dependable Computing EDCC-4. EDCC 2002. Lecture Notes in Computer Science, vol 2485. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36080-8_23
Download citation
DOI: https://doi.org/10.1007/3-540-36080-8_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00012-9
Online ISBN: 978-3-540-36080-3
eBook Packages: Springer Book Archive