{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:32:21Z","timestamp":1743031941774,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540009214"},{"type":"electronic","value":"9783540365921"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36592-3_28","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T15:37:29Z","timestamp":1183477049000},"page":"290-303","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Application of the Concept of Dependability for Design and Analysis of Vision Systems"],"prefix":"10.1007","author":[{"given":"Christof","family":"Eberst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Herbig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"28_CR1","unstructured":"T. Anderson and P. A. Lee. Fault Tolerance \u2014 Principles and Practice. Prentice Hall, 1981."},{"key":"28_CR2","unstructured":"K. Arbter, J. Langwald, G. Hirzinger, G. Q. Wei, and P. Wunsch. Proven Techniques for Robust Visual Servo Control. In IEEE Int. Conf. on Robotics and Automation (ICRA\u2019 98) Workshop on Robust Vision for Vision-Based Control of Motion, May 1998."},{"key":"28_CR3","unstructured":"J. Arlat, Y. Crouzet, P. Folkesson, J. Karlsson, and G. Leber. Integration and Comparison of Three Physical Fault Injection Techniques. In Predictably Dependable Computing Systems, Basic Research Series. Springer Verlag, 199."},{"key":"28_CR4","unstructured":"J. P. Baretto, P. Peixoto, and J. Batista ans H. Araujo. Evaluation of the Robustness of Visual Behaviors through Performance Characterization. In IEEE Int. Conf. on Robotics and Automation (ICRA\u2019 98) Workshop on Robust Vision for Vision-Based Control of Motion, May 1998."},{"issue":"4","key":"28_CR5","first-page":"234","volume":"8","author":"A. Bondavalli","year":"1993","unstructured":"A. Bondavalli, F. D. Giandomenico, and J. Xu. A Cost-Effective and Flexible Scheme for Software Fault Tolerance. Journal of Computer Systems Science and Engineering, 8(4): 234\u2013244, 1993.","journal-title":"Journal of Computer Systems Science and Engineering"},{"key":"28_CR6","unstructured":"W. C. Carter. A time for reflection. In Proc. 12th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-12), pages 9-1\u20139-15. Springer Verlag, January 1982."},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"R. Cavallaro and I. D. Walker. A Survey of NASA and Military Standards on Fault Tolerance and Reliability Applied to Robotics. In Proc. AIAA\/NASA Conference on Intelligent Robots in Field, Factory, Service, and Space, pages 282\u2013286, Mar 1994.","DOI":"10.2514\/6.1994-1211"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"S. C. Cheung and J. Kramer. An integrated method for effective behaviour analysis of distributed systems. In Proc. 16th Int. Conf. on Software engineering, pages 309-, 1994.","DOI":"10.1109\/ICSE.1994.296793"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"A. Cozzi, B. Crespi, F. Valentinotti, and F. W\u00f6rg\u00f6tter. Perfromance of Phase-Based Algorithms for Disparity Estimation. In IAPR Machine Vision and Applications, 1997.","DOI":"10.1007\/s001380050052"},{"key":"28_CR10","unstructured":"D. Craigen. FM 89: Assessment of Formal Methods For Trustworthy Computer Systems. In Proc. 12\u2019th Int. Conf. on Software Engineering, pages 233\u2013235, 1990."},{"issue":"11","key":"28_CR11","doi-asserted-by":"publisher","first-page":"1268","DOI":"10.1145\/50087.50089","volume":"31","author":"B. Curtis","year":"1988","unstructured":"B. Curtis, H. Krasner, and N. Iscoe. \u201cA field study of the software design process for large systems. Commun. ACM, 31(11):1268\u20131287, 1988.","journal-title":"Commun. ACM"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"A. J. van de Goor and C. A. Verruijt. An overview of deterministic functional RAM chip testing. ACM Comput. Survey, 22, 1990.","DOI":"10.1145\/78949.78950"},{"issue":"6","key":"28_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1177\/027836498800700608","volume":"7","author":"H. F. Durrant-Whyte","year":"1988","unstructured":"H. F. Durrant-Whyte. Sensor Models and Multisensor Integration. Int. Journal of Robotics Research, Vol. 7 No. 6:97\u2013113, 1988.","journal-title":"Int. Journal of Robotics Research"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"D. W. Eggert, A. Lorusso, and R. B. Fisher. Estimating 3D Rigid Body Transformations: a Comparision of four Major Algorithms. In IAPR Machine Vision and Appli., 1997.","DOI":"10.1007\/s001380050048"},{"key":"28_CR15","unstructured":"G. F\u00e4rber and F. Demmelmeier. Taskspecific assignment of redundancy in the fault-tolerant multicomputer system future. In D. R. Wilson et al, editor, Micro-Computers: Developments in industry, business and education. Prepr. from the 9th EUROMICRO Sympos, pages 245\u2013255. Euromicro, North Holland Publishing Company, 1983."},{"issue":"3","key":"28_CR16","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1177\/027836498600500302","volume":"5","author":"O. D. Faugeras","year":"1986","unstructured":"O. D. Faugeras and M. Hebert. The Representation, Recognition, and Locating of 3-d objects. Int. J. Robotics Research, 5(3):27\u201354, 1986.","journal-title":"Int. J. Robotics Research"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"J. A. Fayman, E. Rivlin, and D. Mosse. Real-Time Active Vision with Fault Tolerance. In Int. Conf. on Pattern Recognition, 1996.","DOI":"10.1109\/ICPR.1996.546955"},{"key":"28_CR18","volume-title":"Zuverlaessigkeit, Mathematische Modelle","author":"K.W. Gaede","year":"1977","unstructured":"K.W: Gaede. Zuverlaessigkeit, Mathematische Modelle. Carl Hanser Verlag, Muenchen, Wien, 1977."},{"issue":"4","key":"28_CR19","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1109\/TPAMI.1987.4767935","volume":"9","author":"W. Eric","year":"1987","unstructured":"W. Eric L. Grimson and T. Lozano-Perez. Localizing Overlapping Parts by Searching the Interpretation Tree. IEEE Trans. on Pattern Analysis and Machine Intelligence, 9(4):469\u2013482, July 1987.","journal-title":"IEEE Trans. on Pattern Analysis and Machine Intelligence"},{"key":"28_CR20","unstructured":"D.L. Hamilton, J.K. Bennett, and I.D. Walker. Parallel fault-tolerant robot contro. In Proc. 1992 SPIE Conf. on Cooperative Intelligent Robotics in Space III, pages 251\u2013261. SPIE, Nov. 1992."},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"J. Herbsleb, A. Carleton, J. Rozum, J. Siegel, and D. Zubrow. Benefits of CMM-Based Software Process Improvement: Initial Results. Technical Report CMU\/SEI-94-TR-013, Carnegie Mellon, 1994.","DOI":"10.21236\/ADA286444"},{"key":"28_CR22","unstructured":"IEEE. Institute of Electrical and Electronics Engineers, ANSI\/IEEE-Std-352, IEEE Guide for General Principles of Reliability Analysis of Nuclear Power Generating Station Protecting Systems. IEEE, 1975."},{"issue":"1","key":"28_CR23","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/40.16792","volume":"9","author":"H. Kopetz","year":"1989","unstructured":"H. Kopetz, A. Damm, C. Koza, M. Mulazzani, W. Schwabl, C. Senft, and R. Zailinger. Distributed Fault-Tolerant Real-Time Systems: The Mars Approach. IEEE Micro, 9(1):25\u201340, 1989.","journal-title":"IEEE Micro"},{"key":"28_CR24","unstructured":"D. Kragic and H. I. Christensen. Integration of Visual Cues for Active Tracking of an End-Effector. In Proc. IEEE\/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), pages-, 1999."},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"P. Krautgartner and M. Vincze. Optimal Image processing Architecture for Active Vision Systems. In Proc. 1st International Conf. on Computer Vision Systems (ICVS\u201999), pages 331\u2013343, January 1999.","DOI":"10.1007\/3-540-49256-9_20"},{"key":"28_CR26","doi-asserted-by":"crossref","unstructured":"S. Lanser and T. Lengauer. On the Selection of Candidates for Point and Line Correspondences. In International Symposium on Computer Vision, pages 157\u2013162. IEEE Computer Society Press, 1995.","DOI":"10.1109\/ISCV.1995.476994"},{"key":"28_CR27","volume-title":"Dependable Computing and Fault Tolerance,5","author":"J.-C. Laprie","year":"1992","unstructured":"J.-C. Laprie. Dependability: Basic Concepts and Terminologie in English, French, German, Italian and Japanese. In J.-C. Laprie, editor, Dependable Computing and Fault Tolerance,5. Springer Verlag Vienna, Austria, 1992."},{"key":"28_CR28","volume-title":"Predictably Dependable Computing Systems, Basic Research Series","author":"J.-C. Laprie","year":"1995","unstructured":"J.-C. Laprie. Dependability-Its Attributes, Impairments and Means. In Predictably Dependable Computing Systems, Basic Research Series. Springer Verlag Vienna, Austria, 1995."},{"key":"28_CR29","unstructured":"M. I. Leuschen, I. D. Walker, and J. R. Cavallaro. Robot Reliability Using Fuzzy Fault Trees and Markov ModelsThrough Markov Fuzzy Models."},{"key":"28_CR30","unstructured":"N. G. Leveson. Safeware: System Safety and Computers. Addison-Wesley, 1995."},{"issue":"12","key":"28_CR31","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1145\/76380.76382","volume":"32","author":"T. J. McCabe","year":"1989","unstructured":"T. J. McCabe and C. W. Butler. Design Complexity Measurement and Testing. Commun. ACM, 32(12): 1415\u20131425, 1989.","journal-title":"Commun. ACM"},{"key":"28_CR32","unstructured":"M. Misra and I. Mitrani. Analysis of Data Replication with Two Levels of Consistency. In Proc. of the 2nd Int. Comp. Perform. and Dependability Symp. (IPDS 96). IEEE, 1996."},{"issue":"8","key":"28_CR33","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1109\/32.57623","volume":"16","author":"L.J. Morell","year":"1990","unstructured":"L.J. Morell. A Theory of Fault-Based Testing. IEEE Trans. on Software Engineering, 16(8): 844\u2013857, 1990.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"28_CR34","unstructured":"G. J. Myers. The Art of Software Testing. John Wiley and Sons, 1979."},{"key":"28_CR35","doi-asserted-by":"crossref","unstructured":"G. Naumovich, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil. Applying Static Analysis to Software Architectures. In Proceedings of the 6th Europ. Conf. held jointly with the 5th ACM SIGSOFT Symp. on Software engineering, pages 77\u201393, 1997.","DOI":"10.1145\/267896.267904"},{"issue":"7","key":"28_CR36","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/2.56849","volume":"23","author":"V. P. Nelson","year":"1990","unstructured":"Victor P. Nelson. Fault-Tolerant Computing: Fundamental Concepts. IEEE Computer, 23(7):19\u201325, 1990.","journal-title":"IEEE Computer"},{"key":"28_CR37","doi-asserted-by":"crossref","unstructured":"N. Thacker P. Courtney and A. F. Clark. Algorithmic Modelling for Performance Evaluation. In IAPR Machine Vision and Applications, 1997.","DOI":"10.1007\/s001380050043"},{"issue":"4","key":"28_CR38","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1109\/24.370218","volume":"43","author":"B. Parhami","year":"1994","unstructured":"Behrooz Parhami. Voting algorithms. IEEE Transactions on Reliability, 43(4):617\u2013629, December 1994.","journal-title":"IEEE Transactions on Reliability"},{"key":"28_CR39","doi-asserted-by":"crossref","unstructured":"P. Pirjanian and H. I. Christensen. Improving Task Reliability by Fusion of Redundant Homogeneous Modules Using Voting Schemes. In Proc. IEEE Int. Conf. on Robotics and Automation (ICRA\u2019 97), pages 425\u2013430, April 1997.","DOI":"10.1109\/ROBOT.1997.620074"},{"key":"28_CR40","doi-asserted-by":"crossref","unstructured":"V. Ramesha and R. M. Haralick. Random Perturbation Models for Boundary Extraction Sequence. In IAPR Machine Vision and Applications, 1997.","DOI":"10.1007\/s001380050044"},{"key":"28_CR41","doi-asserted-by":"crossref","unstructured":"B. Randell, J.-C. Laprie, H. Kopetz, and B. Littlewood (Eds.). Predictably Dependable Computing Systems. Springer Verlag, 1995.","DOI":"10.1007\/978-3-642-79789-7"},{"issue":"4","key":"28_CR42","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1109\/2.76262","volume":"24","author":"A. L. Reibman","year":"1991","unstructured":"A. L. Reibman and M. Veeraraghavan. Reliability Modeling: An Overview for Systems Designers. IEEE Computer, 24(4):49\u201357, 1991.","journal-title":"IEEE Computer"},{"key":"28_CR43","doi-asserted-by":"crossref","unstructured":"J. Rushby. Formal Specification and Verification for Critical Systems: Tools, Achievements, and Prospects. In EPRI Workshop on Methodologies for Cost-Effective, Reliable Software Verification and Validation, EPRI TR-00294. 9-1 to 9-15, 1992.","DOI":"10.1145\/125083.123044"},{"key":"28_CR44","doi-asserted-by":"crossref","unstructured":"G. D. Sullivan S. Zhang and K. D. Baker. Using Automatically Constructed View-Independent Relational Model in 3D Object Recognition. In European Conf. on Computer Vision, pages 778\u2013768, May 1992.","DOI":"10.1007\/3-540-55426-2_88"},{"key":"28_CR45","doi-asserted-by":"crossref","unstructured":"J. Sheinvald and N. Kiryati. On the Magic of Slide. In IAPR Machine Vision and Applications, 1997.","DOI":"10.1007\/s001380050046"},{"key":"28_CR46","unstructured":"Y. Shirai, R. Okoda, and T. Yamane. Robust Visual Tracking by Integrating Various Cues. In IEEE Int. Conf. on Robotics and Automation (ICRA\u2019 98) Workshop on Robust Vision for Vision-Based Control of Motion, May 1998."},{"key":"28_CR47","doi-asserted-by":"crossref","unstructured":"M. Soika. Grid Based Fault Detection and Calibration for Sensors on Mobile Robots. In Proc. of the IEEE Int. Conf. on Robotics and Automation, pages 2589\u20132594, 1997.","DOI":"10.1109\/ROBOT.1997.619351"},{"issue":"3","key":"28_CR48","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1109\/32.126769","volume":"18","author":"R. N. Taylor","year":"1992","unstructured":"R. N. Taylor, D. L. Levine, and C. D. Kelly. Structural Testing of Concurrent Programs. IEEE Trans. on Software Engineering, 18(3):206\u2013215, 1992.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"1","key":"28_CR49","first-page":"3","volume":"85","author":"P. K. Varshney","year":"1997","unstructured":"P. K. Varshney. Distributed Detection With Multiple Sensors: Part I \u2014 Fundamentals. Proceedings of the IEEE, Vol. 85 No. 1:3\u20134, 1997.","journal-title":"Proceedings of the IEEE"},{"key":"28_CR50","doi-asserted-by":"crossref","unstructured":"S. Vinther and R. Cipolla. Active 3D Object Recognition using 3D Affine Invariants. In European Conf. on Computer Vision, pages 16\u201324, May 1994.","DOI":"10.1007\/BFb0028331"},{"key":"28_CR51","doi-asserted-by":"crossref","unstructured":"Jeffrey M. Voas and Keith W. Miller. Software Testability: The New Verification. IEEE Software, 12(3), 1995.","DOI":"10.1109\/52.382180"},{"issue":"5","key":"28_CR52","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.588523","volume":"23","author":"C. Wang","year":"1997","unstructured":"C. Wang and D. R. Musser. Dynamic verification of C++ generic algorithms. IEEE Trans. on Software Engineering, 23(5):314\u2013323, 1997.","journal-title":"IEEE Trans. on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Computer Vision Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36592-3_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T04:01:14Z","timestamp":1737172874000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-36592-3_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009214","9783540365921"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/3-540-36592-3_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"14 March 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}