Computer safety, reliability, and security : 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings
Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety...
Wedi'i Gadw mewn:
| Awdur Corfforaethol: | |
|---|---|
| Awduron Eraill: | , , |
| Fformat: | Livre numérique |
| Iaith: | Anglais |
| Cyhoeddwyd: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Cyfres: | Lecture notes in computer science
3219 |
| Pynciau: | |
| Mynediad Ar-lein: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nodyn: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer safety, reliability, and security, 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, proceedings, Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.), Berlin, Springer, 2004, 1 vol. (XI-337 p.), Lecture notes in computer science, 3-540-23176-5 • Computer Safety, Reliability, and Security, Texte imprimé, 9783662213773 |
Tabl Cynhwysion:
- Invited Talk
- Why Safety and Security Should and Will Merge
- Safety Cases
- 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
- Reliability
- 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
- Human Factors
- Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems
- Analysing Mode Confusion: An Approach Using FDR2
- Invited Talk
- Handling Safety Critical Requirements in System Engineering Using the B Formal Method
- Transportation
- 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
- Software Development
- 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
- Fault Tree Analysis
- 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
- Invited Talk
- Automotive Telematics Road Safety Versus IT Security?
- Formal Methods and Systems
- Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
- Refinement of Fault Tolerant Control Systems in B
- Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems
- Security and Quality of Service.-An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth
- Dependability Benchmarking of Web-Servers
- Hazard and Risk Analysis
- An Approach for Model-Based Risk Assessment
- How Explicit Are the Barriers to Failure in Safety Arguments?.