{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T05:59:39Z","timestamp":1738216779327,"version":"3.34.0"},"publisher-location":"Boston, MA","reference-count":18,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-1-4020-8157-6_66","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"667-677","source":"Crossref","is-referenced-by-count":0,"title":["Open Source Software in Critical Systems"],"prefix":"10.1007","author":[{"given":"Philippe","family":"David","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00e9l\u00e8ne","family":"Waeselynck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Crouzet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"66_CR1","unstructured":"B. B\u00e9rard, P. Coupoux, Y. Crouzet, P. David, Y. Garnier, S. Goiffon, G. Mariano, V. Nicomette, L. Planche, I. Puaut, J-M. Tanneau, and H. Waeselynck, Logiciel libre et s\u00fbret\u00e9 de fonctionnement \u2014 cas des syst\u00e8mes critiques, P. David and H. Waeselynck (Eds), Hermes Science, ISBN 2-7462-0727-3, 2003."},{"key":"66_CR2","doi-asserted-by":"crossref","unstructured":"E.S. Raymond, \u201cThe Cathedral and the Bazaar\u201d, First Monday, vol. 3,no. 3, March 1998. http:\/\/www.firstmonday.dk\/issues\/issue3_3\/raymond\/index.html","DOI":"10.5210\/fm.v3i2.578"},{"key":"66_CR3","unstructured":"RTCA \/ DO178B, \u201cSoftware Considerations in Airborne Systems and Equipment Certification\u201d, 1992."},{"key":"66_CR4","unstructured":"SAE \u2014 ARP 4754, \u201cCertification Considerations for Highly-Integrated or Complex Aircraft Systems\u201d, 1995."},{"key":"66_CR5","unstructured":"CENELEC EN 50128, \u201cRailway applications \u2014 Communication, Signalling and Processing Systems \u2014 Software for Railway Control and Protection Systems\u201d, 2001."},{"key":"66_CR6","unstructured":"ECSS-Q-40A, \u201cSpace Product Assurance \u2014 Safety\u201d, 2002."},{"key":"66_CR7","unstructured":"IEC 60880, \u201cSoftware for Computers in the Safety Systems of Nuclear power stations\u201d, 1986."},{"key":"66_CR8","unstructured":"IEC 61508-3, \u201cFunctional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems. Part 3: Software requirements\u201d, 1998."},{"key":"66_CR9","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1109\/ISORC.1999.776398","volume-title":"Proc. of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC\u201999)","author":"E. Anceaume","year":"1999","unstructured":"E. Anceaume, G. Cabillic, P. Chevochot, I. Puaut, \u201cA flexible run-time support for distributed dependable hard real-time applications\u201d, Proc. of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC\u201999), pp. 310\u2013319, St Malo, France, May 1999."},{"key":"66_CR10","unstructured":"M. Rodriguez-Moreno, J-C. Fabre, J. Arlat, \u201cWrapping Real-Time Systems from Temporal Logic Specifications\u201d, Proc. 4 th European Dependable Computing Conference (EDCC-4), A. Bondavalli and P. Th\u00e9venod-Fosse (Eds), Springer Verlag, LNCS no. 2485, pp. 253\u2013270, 2002."},{"key":"66_CR11","doi-asserted-by":"crossref","unstructured":"N. Bezroukov, \u201cA Second look at the Cathedral and the Bazaar\u201d, First Monday, vol. 14,no. 12, December 1999. http:\/\/www.firstmonday.dk\/issues\/issue4_12\/bezroukov\/index.html","DOI":"10.5210\/fm.v4i12.708"},{"key":"66_CR12","unstructured":"J. Viega, \u201cthe Myth of Open Source Security\u201d, Earthweb.com, may 2000. http:\/\/www.developer.com\/open\/article.php\/626641"},{"issue":"2","key":"66_CR13","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1109\/12.980005","volume":"51","author":"J. Arlat","year":"2002","unstructured":"J. Arlat, J-C. Fabre, M. Rodriguez, F. Salles, \u201cDependability of COTS Microkernel-Based Systems\u201d, IEEE Trans. on Computers, vol 51,no. 2, pp.138\u2013163, February 2002.","journal-title":"IEEE Trans. on Computers"},{"key":"66_CR14","first-page":"30","volume-title":"Proc. 29 th Int. Symp. On Fault-Tolerant Computing (FTCS-29)","author":"P. Koopman","year":"1999","unstructured":"P. Koopman, J. DeVale, \u201cComparing the Robustness of POSIX Operating Systems\u201d, Proc. 29 th Int. Symp. On Fault-Tolerant Computing (FTCS-29), Madison, WI, IEEE CS Press, pp. 30\u201337, 1999."},{"key":"66_CR15","doi-asserted-by":"crossref","unstructured":"E. Marsden, J-C. Fabre, \u201cFailure Mode Analysis of CORBA Service Implementations\u201d, Proc. IFIP\/ACM Int. Conf. on Distributed Systems Platforms (Middleware\u20192001), Heidelberg, Germany, 2001.","DOI":"10.1007\/3-540-45518-3_12"},{"key":"66_CR16","doi-asserted-by":"crossref","unstructured":"A. Colin, I. Puaut, \u201cWorst-Case Execution Time Analysis of the RTEMS Real-Time Operating Systems\u201d, Proc. 13 th Euromicro Conf. on Real-Time Systems, Delft, NL, pp. 191\u2013198, June 2001.","DOI":"10.1109\/EMRTS.2001.934029"},{"key":"66_CR17","doi-asserted-by":"crossref","unstructured":"K. Havelund, A. Skou, K.G. Larsen, K. Lund, \u201cFormal Modeling and Analysis of an Audio\/Video Protocol: An Industrial Case Study Using UPPAAL\u201d, Proc. 18 th IEEE Realtime Systems Symposium (RTSS\u201997), San Francisco, CA, pp. 2\u201313, December 1997.","DOI":"10.7146\/brics.v4i31.18957"},{"key":"66_CR18","unstructured":"B. B\u00e9rard, L. Fribourg, \u201cAutomated Verification of a Parametric Real-time Program: the ABR Conformance Protocol\u201d, Proc. 11 th Int. Conf. Computer-Aided Verification (CAV\u201999), Springer Verlag, LNCS no. 1633, pp. 96\u2013107, 1999."}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_66","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T15:02:33Z","timestamp":1738162953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_66"}},"subtitle":["Motivation and challenges"],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9781402081569","9781402081576"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_66","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2004]]}}}