Computer safety, reliability, and security

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 </