{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:19:01Z","timestamp":1740028741459,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000129"},{"type":"electronic","value":"9783540360803"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36080-8_23","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:55:19Z","timestamp":1269899719000},"page":"271-282","source":"Crossref","is-referenced-by-count":3,"title":["Model-Based Dependability Evaluation Method for TTP\/C Based Systems"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Herout","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stanislav","family":"Racek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Hlavi\u010dka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,8]]},"reference":[{"unstructured":"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\u201310. 7. 2002 (in print)","key":"23_CR1"},{"unstructured":"http:\/\/www.c-sim.zcu.cz","key":"23_CR2"},{"unstructured":"http:\/\/www.fit.zcu.cz","key":"23_CR3"},{"unstructured":"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)","key":"23_CR4"},{"doi-asserted-by":"crossref","unstructured":"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\u2013407","key":"23_CR5","DOI":"10.1109\/FTCS.1998.689491"},{"unstructured":"Hlavicka, J., Racek, S., Smrha, P.: Functional validation of fault-tolerant asynchronous algorithms. In: Proceedings of Euromicro, Prague, Czech Republic (1996) 143\u2013150","key":"23_CR6"},{"unstructured":"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\u201311","key":"23_CR7"},{"issue":"8","key":"23_CR8","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1016\/S0928-4869(00)00009-4","volume":"7","author":"J. Hlavicka","year":"2000","unstructured":"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\u2013790","journal-title":"Simulation Practice and Theory"},{"unstructured":"Kopetz, H.: Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, 1997, p. 338","key":"23_CR9"},{"key":"23_CR10","first-page":"265","volume-title":"Dependability: Basic concepts and terminology","year":"1992","unstructured":"Laprie, J. C. (ed.): Dependability: Basic concepts and terminology. Springer-Verlag Wien, New York, 1992, p. 265"},{"doi-asserted-by":"crossref","unstructured":"Manzone, A. et al.: Fault tolerant automotive systems: An overview. In: Proceedings of 7th Int\u2019l On-Line Testing Workshop, Taormina, Italy, 9\u201311.7. 2001, 117\u2013121","key":"23_CR11","DOI":"10.1109\/OLT.2001.937830"},{"doi-asserted-by":"crossref","unstructured":"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\u2013226, IEEE Computer Society","key":"23_CR12","DOI":"10.1109\/DCFTS.1999.814297"},{"issue":"5","key":"23_CR13","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1109\/32.815324","volume":"25","author":"J. Rushby","year":"1999","unstructured":"Rushby, J.: Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms. IEEE Transactions for SW Engineering, Vol. 25, No. 5, Sept\/Oct 1999, 651\u2013661","journal-title":"IEEE Transactions for SW Engineering"},{"unstructured":"TTP\/C Protocol-Specification of the protocol. Version 1.0 of 1. Feb. 1999. TTTech Computertechnik GmbH, http:\/\/www.tttech.com","key":"23_CR14"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing EDCC-4"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36080-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:24:49Z","timestamp":1739993089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36080-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000129","9783540360803"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-36080-8_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}