{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:10:26Z","timestamp":1740262226465,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540257233"},{"type":"electronic","value":"9783540320197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11408901_10","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T13:04:14Z","timestamp":1279026254000},"page":"140-153","source":"Crossref","is-referenced-by-count":5,"title":["Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Honvault","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Le Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Gula","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean Charles","family":"Fabre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e9rard","family":"Le Lann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Bornschlegl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"10_CR1","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1109\/TC.2002.1024740","volume":"51","author":"J.-F. Hermant","year":"2002","unstructured":"Hermant, J.-F., Le Lann, G.: Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems. IEEE Transactions on Computers\u00a051(8), 931\u2013944 (2002)","journal-title":"IEEE Transactions on Computers"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Le Lann, G.: Asynchrony and Real-Time Dependable Computing. In: Proceedings of the 8th IEEE Intl. Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), Guadalajara, Mexico (January 2003)","DOI":"10.1109\/WORDS.2003.1218061"},{"key":"10_CR3","unstructured":"Le Lann, G., Schmid, U.: How to Maximize Computing Systems Coverage, Technical Report 183\/1-128, Department of Automation, Technical University, Vienna (Austria) (April 2003)"},{"key":"10_CR4","first-page":"386","volume-title":"22nd IEEE Annual International Symposium on Fault-Tolerant Computing (FTCS-22)","author":"D. Powell","year":"1992","unstructured":"Powell, D.: Failure mode assumptions and assumption coverage. In: 22nd IEEE Annual International Symposium on Fault-Tolerant Computing (FTCS-22), Boston (USA), July 8-10, pp. 386\u2013395. Springer, Heidelberg (1992); [Revised version in Predictably Dependable Computing Systems, Springer, ISBN 3-540-59334-9, 1995, pp.123-140]"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Fabre, J.-C., Salles, F., Rodr\u00edguez Moreno, M., Arlat, J.: Assessment of COTS Micro-kernels by Fault Injection. In: Proc. 7th IFIP Conf. on Dependable Computing for Critical Applications (DCCA-7), San Jose, pp. 25\u201344 (January 1999)","DOI":"10.1109\/DCFTS.1999.814288"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Arlat, J., Fabre, J.C., Rodriguez, M., Salles, F.: Dependability of COTS Microkernel-based Systems. IEEE Transactions on Computers, Special Issue on Embedded Fault Tolerant Systems, 138\u2013163 (February 2002)","DOI":"10.1109\/12.980005"},{"key":"10_CR7","unstructured":"VxWorks Realtime Kernel, WindRiver Systems (see) (1998), http:\/\/www.windriver.com\/products\/platforms\/general_purpose\/"},{"key":"10_CR8","unstructured":"RTSIM real-time executives simulator, AxLog see, http:\/\/www.axlog.fr\/prod\/rtsim.html"},{"issue":"4","key":"10_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/2.585157","volume":"30","author":"M.-C. Hsueh","year":"1997","unstructured":"Hsueh, M.-C., Tsai, T.K., Iyer, R.K.: Fault Injection Techniques and Tools. Computer\u00a030(4), 75\u201382 (1997)","journal-title":"Computer"},{"issue":"2","key":"10_CR10","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"T. Chandra","year":"1996","unstructured":"Chandra, T., Toueg, S.: Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the Association for Computing Machinery\u00a043(2), 225\u2013267 (1996)","journal-title":"Journal of the Association for Computing Machinery"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing - EDCC 5"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11408901_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T21:42:01Z","timestamp":1740260521000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11408901_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540257233","9783540320197"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11408901_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}