{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T23:40:17Z","timestamp":1736638817155,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540498605"},{"type":"electronic","value":"9783540498629"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11942634_26","type":"book-chapter","created":{"date-parts":[[2006,11,15]],"date-time":"2006-11-15T23:43:11Z","timestamp":1163634191000},"page":"241-250","source":"Crossref","is-referenced-by-count":0,"title":["Monitoring Distributed Systems for Safety Critical Software: A Goal-Driven Approach and Prototype-Tool"],"prefix":"10.1007","author":[{"given":"Guido","family":"Pennella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Di Biagio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Colicchia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianfranco","family":"Pesce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Cantone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Basili, V.R., Caldiera, G., Rombach, H.D.: The Goal Question Metric Approach, Encyclopedia of Software Engineering. Wiley&Sons Inc. (1994)"},{"key":"26_CR2","unstructured":"EPRI, Handbook for verification and validation of digital systems Summary, EPRI TR103291, Vol.1, 1994."},{"key":"26_CR3","unstructured":"IEEE, IEEE\/EIA 12207.0-1996 Industry Implementation of International Standard ISO\/IEC 12207: 1995 (ISO\/IEC 12207) Standard for Information Technology Software Life Cycle Processes, in IEEE\/EIA 12207.0-1996, pp. i-75. (1998)"},{"issue":"2","key":"26_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/7474.7528","volume":"18","author":"N.G. Leveson.","year":"1986","unstructured":"Leveson., N.G.: Software safety: Why, what, and how. Computing Surveys\u00a018(2), 125\u2013163 (1986)","journal-title":"Computing Surveys"},{"key":"26_CR5","unstructured":"Isaksen, U., Bowen, J.P., Nissanke, N.: System and Software Safety in Critical Systems (December 1996)"},{"key":"26_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511612398","volume-title":"Measuring Computer Performance","author":"D.J. Lilja","year":"2000","unstructured":"Lilja, D.J.: Measuring Computer Performance. Cambridge University Press, Cambridge (2000)"},{"issue":"2","key":"26_CR7","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"SE-1","author":"B. Randell","year":"1975","unstructured":"Randell, B.: System Structure for Software Fault Tolerance. IEEE Trans. on Software Engineering\u00a0SE-1(2), 220\u2013232 (1975)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Simser, D., Seviora, R.E.: Supervision of Real-Time Systems Using Optimistic Path Prediction and Rollbacks. In: Procs. Int\u2019l Symp. Software Reliability Eng (ISSRE), October 1996, pp. 340\u2013349 (1996)","DOI":"10.1109\/ISSRE.1996.558892"},{"key":"26_CR9","volume-title":"Monitoring and Debugging of Distributed Real-Time Systems","author":"J.J. Tsai","year":"1995","unstructured":"Tsai, J.J., Yang, S.J.: Monitoring and Debugging of Distributed Real-Time Systems. IEEE CS Press, Los Alamitos (1995)"},{"key":"26_CR10","unstructured":"Ubench 2.0TM (last access March 2006), http:\/\/www.phystec.com\/download\/ubench.html"},{"issue":"4","key":"26_CR11","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1093\/comjnl\/25.4.465","volume":"25","author":"E.J. Weyuker","year":"1982","unstructured":"Weyuker, E.J.: On Testing Non-Testable Programs. The Computer J\u00a025(4), 465\u2013470 (1982)","journal-title":"The Computer J"},{"key":"26_CR12","unstructured":"VxWorks, (last access, April 2006) http:\/\/www.windriver.com"}],"container-title":["Lecture Notes in Computer Science","Frontiers of High Performance Computing and Networking \u2013 ISPA 2006 Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11942634_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T23:18:15Z","timestamp":1736637495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11942634_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540498605","9783540498629"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11942634_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}