Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings
Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunit...
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | , , |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
201X.
Berlin [etc.] : |
| Reeks: | Lecture notes in computer science
2788 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
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, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, proceedings, Stuart Anderson, Massimo Felici, Bev Littlewood (eds.), Berlin, Springer, 2003, 1 vol. (XIX-426 p.), Lecture notes in computer science, 3-540-20126-2 • Computer Safety, Reliability, and Security, Texte imprimé, 9783662199763 |
| LEADER | 06373nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 948956 | ||
| 008 | 110927q2010 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155201271 | ||
| 020 | |a 9783540398783 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.1 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on computer safety, reliability, and security |n (22 |d :2003 |c :Edinburgh, Scotland). | |
| 245 | 1 | 0 | |a Computer safety, reliability, and security : |b 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings |c [edited by] Stuart Anderson, Massimo Felici, Bev Littlewood. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Berlin [etc.] : |b Springer, |c 201X. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2788 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Keynote Talk -- Issues in Safety Assurance -- Formal Methods -- Elicitation and Validation of Graphical Dependability Models -- Visual Modeling and Verification of Distributed Reactive Systems -- Automatic Timeliness Verification of a Public Mobile Network -- Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform -- Design for Dependability -- Integrity Static Analysis of COTS/SOUP -- Safety Lifecycle for Developing Safety Critical Artificial Neural Networks -- Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks -- A Dependability Model for Domestic Systems -- Security and Formal Methods -- Modelling and Verification of Layered Security Protocols: A Bank Application -- A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity -- Software Tamper Resistance Using Program Certificates -- Keynote Talk -- Developing High Assurance Systems: On the Role of Software Tools -- Dependability and Performance Analysis -- Web Service Availability Impact of Error Recovery -- A Unified Tool for Performance Modelling and Prediction -- Dependability of Medical Systems -- An Approach to Trust Case Development -- Reliable Data Replication in a Wireless Medical Emergency Network -- Critical Feature Analysis of a Radiotherapy Machine -- Fault Tolerance -- Byzantine Fault Tolerance, from Theory to Reality -- Redundancy Management for Drive-by-Wire Computer Systems -- Fault-Tolerant Communication System to Improve Safety in Railway Environments -- Dependable Communication Synthesis for Distributed Embedded Systems -- Tools for Dependable Design -- Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW -- On the Role of Traceability for Standards Compliance: TrackingRequirements to Code -- Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development -- Dependability of Critical Infrastructures -- Security Policy Configuration Issues in Grid Computing Environments -- Dependability and Survivability of Large Complex Critical Infrastructures -- Hazard and Safety Analysis -- Safety Assessment of Experimental Air Traffic Management Procedures -- The Application of Causal Analysis Techniques for Computer-Related Mishaps -- Reuse in Hazard Analysis: Identification and Support -- Design for Dependability -- The Characteristics of Data in Data-Intensive Safety-Related Systems -- Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Systèmes informatiques |x Mesures de sûreté | ||
| 650 | |a Codage | ||
| 650 | |a Ordinateurs |x Fiabilité | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Littlewood, Bev. |4 pbd | |
| 700 | 1 | |a Felici, Massimo, |d 1973- |4 pbd | |
| 700 | 1 | |a Anderson, Stuart, |d 1952- |4 pbd | |
| 776 | 0 | |0 07523078X |t Computer safety, reliability, and security |o 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 |o proceedings |f Stuart Anderson, Massimo Felici, Bev Littlewood (eds.) |c Berlin |n Springer |d 2003 |p 1 vol. (XIX-426 p.) |s Lecture notes in computer science |z 3-540-20126-2 | |
| 776 | 0 | |t Computer Safety, Reliability, and Security |b Texte imprimé |z 9783662199763 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b12002 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |5 452349901:748054154 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b12002 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751505390 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b12002 |z Accès INSA CVL | |
| 997 | |0 948956 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||