06270nam 22008055 450 99646636210331620200704093059.03-540-40891-610.1007/3-540-40891-6(CKB)1000000000211346(SSID)ssj0000322112(PQKBManifestationID)11937850(PQKBTitleCode)TC0000322112(PQKBWorkID)10281233(PQKB)11151940(DE-He213)978-3-540-40891-8(MiAaPQ)EBC3072397(PPN)155218085(EXLCZ)99100000000021134620121227d2000 u| 0engurnn|008mamaatxtccrComputer Safety, Reliability, and Security[electronic resource] 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings /edited by Floor Koornneef, Meine van der Meulen1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (X, 438 p.) Lecture Notes in Computer Science,0302-9743 ;1943Bibliographic Level Mode of Issuance: Monograph3-540-41186-0 Includes bibliographical references at the end of each chapters and index.Invited 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.Lecture Notes in Computer Science,0302-9743 ;1943Computer engineeringComputersData encryption (Computer science)Software engineeringSpecial purpose computersComputer logicComputer Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I27000Computing Milieuxhttps://scigraph.springernature.com/ontologies/product-market-codes/I24008Cryptologyhttps://scigraph.springernature.com/ontologies/product-market-codes/I28020Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer engineering.Computers.Data encryption (Computer science).Software engineering.Special purpose computers.Computer logic.Computer Engineering.Computing Milieux.Cryptology.Software Engineering/Programming and Operating Systems.Special Purpose and Application-Based Systems.Logics and Meanings of Programs.005.1Koornneef Flooredthttp://id.loc.gov/vocabulary/relators/edtMeulen Meine van deredthttp://id.loc.gov/vocabulary/relators/edtSAFECOMP 2000MiAaPQMiAaPQMiAaPQBOOK996466362103316Computer Safety, Reliability, and Security772429UNISA