Downloads & Free Reading Options - Results

The safe operation of computer systems continues to be a key issue in many applications where people, environment, investment, or goodwill can be at risk. Such applications include medical, railways, power generation and distribution, road transportation, aerospace, process industries, mining, military and many others. This book represents the proceedings of the 12th International Conference on Computer Safety, Reliability and Security, held in Poznan, Poland, 27-29 October 1993. The conference reviews the state of the art, experiences and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP '93 provides an opportunity for technical developers, users, and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future.

The safe operation of computer systems continues to be a key issue in many applications where people, environment, investment, or goodwill can be at risk. Such applications include medical, railways, power generation and distribution, road transportation, aerospace, process industries, mining, military and many others. This book represents the proceedings of the 12th International Conference on Computer Safety, Reliability and Security, held in Poznan, Poland, 27-29 October 1993. The conference reviews the state of the art, experiences and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP '93 provides an opportunity for technical developers, users, and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future.

The safe operation of computer systems continues to be a key issue in many applications where people, environment, investment, or goodwill can be at risk. Such applications include medical, railways, power generation and distribution, road transportation, aerospace, process industries, mining, military and many others. This book represents the proceedings of the 12th International Conference on Computer Safety, Reliability and Security, held in Poznan, Poland, 27-29 October 1993. The conference reviews the state of the art, experiences and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP '93 provides an opportunity for technical developers, users, and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future.

The safe operation of computer systems continues to be a key issue in many applications where people, environment, investment, or goodwill can be at risk. Such applications include medical, railways, power generation and distribution, road transportation, aerospace, process industries, mining, military and many others. This book represents the proceedings of the 12th International Conference on Computer Safety, Reliability and Security, held in Poznan, Poland, 27-29 October 1993. The conference reviews the state of the art, experiences and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP '93 provides an opportunity for technical developers, users, and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future.

Computer Safety, Reliability and Security: 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings Author: Floor Koornneef, Meine van der Meulen Published by Springer Berlin Heidelberg ISBN: 978-3-540-41186-4 DOI: 10.1007/3-540-40891-6 Table of Contents: The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems 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 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 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 Safe Tech: A Control Oriented Viewpoint

Computer Safety, Reliability and Security: 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings Author: Floor Koornneef, Meine van der Meulen Published by Springer Berlin Heidelberg ISBN: 978-3-540-41186-4 DOI: 10.1007/3-540-40891-6 Table of Contents: The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems 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 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 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 Safe Tech: A Control Oriented Viewpoint

Computer Safety, Reliability and Security: 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings Author: Floor Koornneef, Meine van der Meulen Published by Springer Berlin Heidelberg ISBN: 978-3-540-41186-4 DOI: 10.1007/3-540-40891-6 Table of Contents: The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems 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 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 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 Safe Tech: A Control Oriented Viewpoint

Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004. Proceedings Author: Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann Published by Springer Berlin Heidelberg ISBN: 978-3-540-23176-9 DOI: 10.1007/b100227 Table of Contents: Why Safety and Security Should and Will Merge The Deconstruction of Safety Arguments Through Adversarial Counter-Argument Using Fuzzy Self-Organising Maps for Safety Critical Systems Using Formal Methods in a Retrospective Safety Case A Highly Fault Detectable Cache Architecture for Dependable Computing An Empirical Exploration of the Difficulty Function Towards the Integration of Fault, Resource, and Power Management Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems Analysing Mode Confusion: An Approach Using FDR2 Handling Safety Critical Requirements in System Engineering Using the B Formal Method A Hybrid Testing Methodology for Railway Control Systems Actuator Based Hazard Analysis for Safety Critical Systems Performability Measures of the Public Mobile Network of a Tele Control System PLC-Based Safety Critical Software Development for Nuclear Power Plants Compositional Hazard Analysis of UML Component and Deployment Models Automatic Test Data Generation from Embedded C Code State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems Safety Requirements and Fault Trees Using Retrenchment The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics Automotive Telematics – Road Safety Versus IT Security?

Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004. Proceedings Author: Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann Published by Springer Berlin Heidelberg ISBN: 978-3-540-23176-9 DOI: 10.1007/b100227 Table of Contents: Why Safety and Security Should and Will Merge The Deconstruction of Safety Arguments Through Adversarial Counter-Argument Using Fuzzy Self-Organising Maps for Safety Critical Systems Using Formal Methods in a Retrospective Safety Case A Highly Fault Detectable Cache Architecture for Dependable Computing An Empirical Exploration of the Difficulty Function Towards the Integration of Fault, Resource, and Power Management Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems Analysing Mode Confusion: An Approach Using FDR2 Handling Safety Critical Requirements in System Engineering Using the B Formal Method A Hybrid Testing Methodology for Railway Control Systems Actuator Based Hazard Analysis for Safety Critical Systems Performability Measures of the Public Mobile Network of a Tele Control System PLC-Based Safety Critical Software Development for Nuclear Power Plants Compositional Hazard Analysis of UML Component and Deployment Models Automatic Test Data Generation from Embedded C Code State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems Safety Requirements and Fault Trees Using Retrenchment The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics Automotive Telematics – Road Safety Versus IT Security?

Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004. Proceedings Author: Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann Published by Springer Berlin Heidelberg ISBN: 978-3-540-23176-9 DOI: 10.1007/b100227 Table of Contents: Why Safety and Security Should and Will Merge The Deconstruction of Safety Arguments Through Adversarial Counter-Argument Using Fuzzy Self-Organising Maps for Safety Critical Systems Using Formal Methods in a Retrospective Safety Case A Highly Fault Detectable Cache Architecture for Dependable Computing An Empirical Exploration of the Difficulty Function Towards the Integration of Fault, Resource, and Power Management Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems Analysing Mode Confusion: An Approach Using FDR2 Handling Safety Critical Requirements in System Engineering Using the B Formal Method A Hybrid Testing Methodology for Railway Control Systems Actuator Based Hazard Analysis for Safety Critical Systems Performability Measures of the Public Mobile Network of a Tele Control System PLC-Based Safety Critical Software Development for Nuclear Power Plants Compositional Hazard Analysis of UML Component and Deployment Models Automatic Test Data Generation from Embedded C Code State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems Safety Requirements and Fault Trees Using Retrenchment The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics Automotive Telematics – Road Safety Versus IT Security?