{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:40:36Z","timestamp":1725486036467},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437840"},{"type":"electronic","value":"9783540480464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48046-3_23","type":"book-chapter","created":{"date-parts":[[2007,6,13]],"date-time":"2007-06-13T00:48:07Z","timestamp":1181695687000},"page":"297-308","source":"Crossref","is-referenced-by-count":0,"title":["Transparent Environment for Replicated Ravenscar Applications"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Miguel","family":"Pinho","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Vasques","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"issue":"5","key":"23_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/271658.271668","volume":"XVII","author":"A. Burns","year":"1997","unstructured":"Burns, A. (1997). Session Summary: Tasking Profiles. In Proc. of the 8 International Real-Time Ada Workshop\n                           th, Ravenscar, England, April 1997. Ada Letters, XVII(5):5\u20137, ACM Press.","journal-title":"Proc. of the 8th International Real-Time Ada Workshop"},{"issue":"1","key":"23_CR2","first-page":"4","volume":"XXI","author":"A. Wellings","year":"2000","unstructured":"Wellings, A. (2000). Session Summary: Status and Future of the Ravenscar Profile. In Proc. of the 10th International Real-Time Ada Workshop, Avila, Spain, September 2000. Ada Letters, XXI(1):4\u20138, ACM Press.","journal-title":"Proc. of the 10th International Real-Time Ada Workshop"},{"issue":"1","key":"23_CR3","first-page":"33","volume":"XXI","author":"A. Audsley","year":"2000","unstructured":"Audsley, A. and Wellings, A. (2000). Issues with using Ravenscar and the Ada Distributed Systems Annex for High-Integrity Systems. In Proc. of the 10th International Real-Time Ada Workshop, Avila, Spain, September 2000. Ada Letters, XXI(1):33\u201339, ACM Press.","journal-title":"Proc. of the 10th International Real-Time Ada Workshop"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Powell, D. (Ed.). (1991). Delta-4-A Generic Architecture for Dependable Distributed Computing. ESPRIT Research Reports. Springer Verlag.","DOI":"10.1007\/978-3-642-84696-0"},{"issue":"1","key":"23_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/40.16792","volume":"9","author":"H. Kopetz","year":"1989","unstructured":"Kopetz, H., Damm, A., Koza, C., Mulazzani, M., Schwabl, W., Senft, C., and Zainlinger, R. (1989). Distributed Fault-Tolerant Real-Time Systems: The Mars Approach. In IEEE Micro, 9(1):25\u201341.","journal-title":"IEEE Micro"},{"issue":"4","key":"23_CR6","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"F. Schneider","year":"1990","unstructured":"Schneider, F. (1990). Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial. In ACM Computing Surveys, 22(4):299\u2013319.","journal-title":"ACM Computing Surveys"},{"issue":"7","key":"23_CR7","doi-asserted-by":"publisher","first-page":"616","DOI":"10.1109\/TC.1982.1676059","volume":"31","author":"P. M. Melliar-Smith","year":"1982","unstructured":"Melliar-Smith, P. M., and Schwartz, R. L. (1982). Formal Specification and Mechanical Verification of SIFT: a Fault-Tolerance Flight Control System. In IEEE Transactions on Computers, 31(7):616\u2013630.","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"23_CR8","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1109\/12.2183","volume":"37","author":"R. M. Keickhafer","year":"1988","unstructured":"Keickhafer, R. M., Walter, C. J., Finn, A. M., and Thambidurai, P. M. (1988). The MAFT Architecture for Distributed Fault Tolerance. In IEEE Transactions on Computers, 37(4):398\u2013404.","journal-title":"IEEE Transactions on Computers"},{"key":"23_CR9","unstructured":"Pradhan, D. K. (1996). Fault-Tolerant Computer System Design. Prentice Hall."},{"issue":"2","key":"23_CR10","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/12.833107","volume":"49","author":"S. Poledna","year":"2000","unstructured":"Poledna, S., Burns, A., Wellings, A., and Barret, P. (2000). Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems. In IEEE Transactions on Computers, 49(2):100\u2013111.","journal-title":"IEEE Transactions on Computers"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Powell, D. (Ed.). (2001). A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems. Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4757-3353-2"},{"issue":"5","key":"23_CR12","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"A. Audsley","year":"1993","unstructured":"Audsley, A., Burns, A., Richardson, M., Tindell, K., and Wellings, A. (1993). Applying new scheduling theory to static priority pre-emptive scheduling. In Software Engineering Journal, 8(5):285\u2013292.","journal-title":"Software Engineering Journal"},{"key":"23_CR13","unstructured":"Yeh, Y. (1995). Dependability of the 777 Primary Flight Control System. In Proc. Dependable Computing for Critical Applications 5, USA, pp. 1\u201313."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Pinho, L. and Vasques F. (2001a). Reliable Communication in Distributed Computer-Controlled Systems. In Proc. of Ada-Europe 2001. Leuven, Belgium, May 2001, Lecture Notes on Computer Science 2043, Springer, pp. 136\u2013147.","DOI":"10.1007\/3-540-45136-6_10"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Pinho, L. and Vasques, F. (2001b). Timing Analysis of Reliable Real-Time Communication in CAN Networks. In Proc. of the 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001, pp. 103\u2013112.","DOI":"10.1109\/EMRTS.2001.934010"},{"key":"23_CR16","unstructured":"Pinho, L. M. (2001). A Framework for the Transparent Replication of Real-Time Applications. PhD Thesis. School of Engineering of the University of Porto. Available at \n                    http:\/\/www.hurray.isep.ipp.pt"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48046-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T09:19:16Z","timestamp":1550395156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48046-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437840","9783540480464"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48046-3_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}