Computer Safety, Reliability, and Security
Subtitle: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings (Lecture Notes in Computer Science)
Contributors: Floor Koornneef (Editor); Meine van der Meulen (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 10, 2000
Language: eng
Format: Paperback
Number of pages: 432
ISBN-13: 9783540411864
Subjects: Data security & data encryption; Health & safety aspects of computing; Systems management; Programming - General; Computer software; Security - General; Computer Data Security; Computers; Computers - General Information; Electronic digital computers; Computer Books: General; Congresses; Computer Engineering; Computer Safety; Computers / Programming / Software Development; Dependable Systems; Formal Methods; Reactive Systems; Reliable Computing; Safety Assessment; Reliability; Computer security
First sentence: Experience of formal feedback methods is decades old, and many do appreciate their power.
Description: Computer Safety, Reliability and Security: 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings<br />Author: Floor Koornneef, Meine van der Meulen<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-41186-4<br /> DOI: 10.1007/3-540-40891-6<br /><br />Table of Contents:<p></p><ul><li>The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems
</li><li>Empirical Assessment of Software On-Line Diagnostics Using Fault Injection
</li><li>Speeding-Up Fault Injection Campaigns in VHDL Models
</li><li>Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs
</li><li>Validation of Control System Specifications with Abstract Plant Models
</li><li>A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software
</li><li>Expert Error: The Case of Trouble-Shooting in Electronics
</li><li>The Safety Management of Data-Driven Safety-Related Systems
</li><li>Software Support for Incident Reporting Systems in Safety-Critical Applications
</li><li>A Dependability-Explicit Model for the Development of Computing Systems
</li><li>Deriving Quantified Safety Requirements in Complex Systems
</li><li>Improving Software Development by Using Safe Object Oriented Development : OTCD
</li><li>A Safety Licensable PES for SIL 4 Applications
</li><li>Safety and Security Issues in Electric Power Industry
</li><li>Dependability of Computer Control Systems in Power Plants
</li><li>A Method of Analysis of Fault Trees with Time Dependencies
</li><li>A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
</li><li>Formal Methods: The Problem Is Education
</li><li>Formal Methods Diffusion: Past Lessons and Future Prospects
</li><li>Safe Tech: A Control Oriented Viewpoint</li></ul>