Computer Safety, Reliability, and Security 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Koornneef, Floor (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Meulen, Meine van der (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1943
• Θέματα: Computer 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.

Πίνακας περιεχομένων:

• 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.