LEADER 06468nam 22007815 450 001 9910767576703321 005 20240131014443.0 010 $a3-540-45416-0 024 7 $a10.1007/3-540-45416-0 035 $a(CKB)1000000000211584 035 $a(SSID)ssj0000322113 035 $a(PQKBManifestationID)11247759 035 $a(PQKBTitleCode)TC0000322113 035 $a(PQKBWorkID)10283247 035 $a(PQKB)11514233 035 $a(DE-He213)978-3-540-45416-8 035 $a(MiAaPQ)EBC3072061 035 $a(PPN)155188712 035 $a(EXLCZ)991000000000211584 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Safety, Reliability and Security $e20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings /$fedited by Udo Voges 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (XVI, 256 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2187 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42607-8 320 $aIncludes bibliographical references and index. 327 $aInvited Paper -- Designing Safety into Medical Decisions and Clinical Processes -- Reliability Assessment and Security -- Security Assessments of Safety Critical Systems Using HAZOPs -- Network Security for Substation Automation Systems -- A Bayesian Belief Network for Reliability Assessment -- Safety Case and Safety Analysis -- Checking General Safety Criteria on UML Statecharts -- Presenting a Safety Case ? A Case Study ? -- Safety Functions versus Control Functions -- Medical Systems -- A Fail-Safe Dual Channel Robot Control for Surgery Applications -- Invited Paper -- Modeling the Human in Human Factors -- Human Machine Interface -- Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach -- Analysis of Incidents Involving Interactive Systems -- COTS - Components off the Shelf -- Experimental Evaluation of Fault Handling Mechanisms -- The COTS Debate in Perspective -- Testing -- An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models -- A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures -- The Effectiveness of Statistical Testing when Applied to Logic Systems -- Formal Methods -- A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B -- Safety Patterns ? The Key to Formal Specification of Safety Requirements -- Formal Support for Fault Modelling and Analysis -- Project Experience with IEC 61508 and Its Consequences -- Project Experience with IEC 61508 and Its Consequences -- About the Design of Distributed Control Systems: The Quasi-Synchronous approach -- About the Design of Distributed Control Systems: The Quasi-Synchronous Approach -- Dependability Evaluation From Functional to Structural Modelling -- Dependability Evaluation -- Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems -- Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. 330 $aThis year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and research institutions. Papers are solicited on all aspects of computer systems in which safety, reliability, and security (applied to safety in terms of integrity and availability) are of importance. The 20th SAFECOMP tried to cover new grounds, both thematically and geographically. The previous 19 SAFECOMPs were held in Austria (1989, 1996), France (1987, 1999), Germany (1979, 1988, 1998), Great Britain (1983, 1986, 1990, 1997), Italy (1985, 1995), Norway (1991), Poland (1993), Switzerland (1992), The th Netherlands (2000), and in the USA (1981, 1992), whereas the 20 was held in Hungary. Authors from 13 countries responded to the Call for Papers, and 10 countries were represented in the final program. The proceedings include 20 papers plus 3 invited papers, covering the areas Reliability Assessment and Security, Safety Case and Safety Analysis, Testing, Formal Methods, Control Systems, and this year covering new grounds with a special emphasis on Human Machine Interface, Components off the Shelf, and Medical Systems. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2187 606 $aData encryption (Computer science) 606 $aSoftware engineering 606 $aComputers, Special purpose 606 $aComputer logic 606 $aManagement information systems 606 $aComputer science 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 615 0$aData encryption (Computer science) 615 0$aSoftware engineering. 615 0$aComputers, Special purpose. 615 0$aComputer logic. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aCryptology. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aLogics and Meanings of Programs. 615 24$aManagement of Computing and Information Systems. 676 $a005 702 $aVoges$b Udo$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSAFECOMP 2001 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910767576703321 996 $aComputer Safety, Reliability, and Security$92908259 997 $aUNINA