LEADER 06916nam 22008415 450 001 9910143610903321 005 20251116234111.0 010 $a3-540-40891-6 024 7 $a10.1007/3-540-40891-6 035 $a(CKB)1000000000211346 035 $a(SSID)ssj0000322112 035 $a(PQKBManifestationID)11937850 035 $a(PQKBTitleCode)TC0000322112 035 $a(PQKBWorkID)10281233 035 $a(PQKB)11151940 035 $a(DE-He213)978-3-540-40891-8 035 $a(MiAaPQ)EBC3072397 035 $a(PPN)155218085 035 $a(BIP)13626948 035 $a(BIP)6997526 035 $a(EXLCZ)991000000000211346 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Safety, Reliability, and Security $e19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings /$fedited by Floor Koornneef, Meine van der Meulen 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (X, 438 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1943 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-41186-0 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Paper -- The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems -- Verification and Validation -- Empirical Assessment of Software On-Line Diagnostics Using Fault Injection -- Speeding-Up Fault Injection Campaigns in VHDL Models -- Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs -- Validation of Control System Specifications with Abstract Plant Models -- A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software -- Expert Error: The Case of Trouble-Shooting in Electronics -- The Safety Management of Data-Driven Safety-Related Systems -- Software Support for Incident Reporting Systems in Safety-Critical Applications -- Software Process Improvement -- A Dependability-Explicit Model for the Development of Computing Systems -- Deriving Quantified Safety Requirements in Complex Systems -- Improving Software Development by Using Safe Object Oriented Development : OTCD -- A Safety Licensable PES for SIL 4 Applications -- Safety and Security Issues in Electric Power Industry -- Dependability of Computer Control Systems in Power Plants -- A Method of Analysis of Fault Trees with Time Dependencies -- Formal Methods -- A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module -- Formal Methods: The Problem Is Education -- Formal Methods Diffusion: Past Lessons and Future Prospects -- Invited Paper -- Safe Tech: A Control Oriented Viewpoint -- Safety Guidelines, Standards and Certification -- Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems -- IEC 61508 ? A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure Systems ?? -- Hardware Aspects -- An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems -- Programmable Electronic System Design & Verification Utilizing DFM -- SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller -- Safety Assessment I -- Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach -- Estimating Dependability of Programmable Systems Using BBNs -- Design for Safety -- Improvements in Process Control Dependability through Internet Security Technology -- A Survey on Safety-Critical Multicast Networking -- Invited Paper -- Causal Reasoning about Aircraft Accidents -- Transport & Infrastructure -- Controlling Requirements Evolution: An Avionics Case Study -- HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems -- Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components -- Safety Assessment II -- Risk Ordering of States in Safecharts -- Dependability Evaluation: Model and Method Based on Activity Theory -- Forensic Software Engineering and the Need for New Approaches to Accident Investigation. 330 $aThis book constitutes the refereed proceedings of the 19th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2000, held in Rotterdam, The Netherlands in October 2000.The 33 revised full papers presented together with three invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on verification and validation; software process improvement; formal methods; safety guidelines, standards and certification; hardware aspects; safety assessment; design for safety; and transport and infrastructure. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1943 606 $aComputer engineering 606 $aComputers 606 $aData encryption (Computer science) 606 $aSoftware engineering 606 $aComputers, Special purpose 606 $aComputer logic 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aComputing Milieux$3https://scigraph.springernature.com/ontologies/product-market-codes/I24008 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 615 0$aComputer engineering. 615 0$aComputers. 615 0$aData encryption (Computer science) 615 0$aSoftware engineering. 615 0$aComputers, Special purpose. 615 0$aComputer logic. 615 14$aComputer Engineering. 615 24$aComputing Milieux. 615 24$aCryptology. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aLogics and Meanings of Programs. 676 $a005.1 702 $aKoornneef$b Floor$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMeulen$b Meine van der$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSAFECOMP 2000 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143610903321 996 $aComputer Safety, Reliability, and Security$92908259 997 $aUNINA