Limit search to available items
Book Cover
E-book
Author SAFECOMP (Conference) (32nd : 2013 : Toulouse, France)

Title Computer safety, reliability, and security : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings / Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (eds.)
Published Heidelberg : Springer, 2013

Copies

Description 1 online resource (xvi, 304 pages) : illustrations
Series Lecture Notes in Computer Science, 0302-9743 ; 8153
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 8153, 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Invited Paper. Logic and Epistemology in Safety Cases / John Rushby -- Safety Requirements and Assurance. Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements / Janusz Górski, Aleksander Jarzębowicz, Jakub Miler -- A Formal Basis for Safety Case Patterns / Ewen Denney, Ganesh Pai -- Testing and Verification. Testing Autonomous Robot Control Software Using Procedural Content Generation / James Arnold, Rob Alexander -- Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent? / Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck -- Formalisation of an Industrial Approach to Monitoring Critical Data / Yuliya Prokhorova ... et al. -- Security. Protecting Vehicles Against Unauthorised Diagnostics Sessions Using Trusted Third Parties / Pierre Kleberger, Tomas Olovsson -- Vulnerability Analysis on Smart Cards Using Fault Tree / Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet -- Does Malware Detection Improve with Diverse AntiVirus Products? An Empirical Study / Ilir Gashi ... et al
Software Reliability Assessment. Software Fault-Freeness and Reliability Predictions / Lorenzo Strigini, Andrey Povyakalo -- Does Software Have to Be Ultra Reliable in Safety Critical Systems? / Peter Bishop -- Practical Experience Reports and Tools I. The SafeCap Platform for Modelling Railway Safety and Capacity / Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky -- Embedded System Platform for Safety-Critical Road Traffic Signal Applications / Thomas Novak, Christoph Stoegerer -- Low-Level Attacks on Avionics Embedded Systems / Anthony Dessiatnikoff ... et al. -- Safety Assurance in Automotive. Safety Cases and Their Role in ISO 26262 Functional Safety Assessment / John Birch ... et al. -- Structuring Safety Requirements in ISO 26262 Using Contract Theory / Jonas Westman, Mattias Nyberg, Martin Törngren -- Error Control Codes. Flexible Unequal Error Control Codes with Selectable Error Detection and Correction Levels / Luis-J. Saiz-Adalid ... et al. -- Safety Transformations: Sound and Complete? / Ute Schiffel
Invited Paper. It Is (Almost) All about Human Safety: A Novel Paradigm for Robot Design, Control, and Planning / Sami Haddadin ... et al. -- Dependable User Interfaces. Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study / Célia Martinie ... et al. -- Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS / Paolo Masci ... et al. -- Practical Experience Reports and Tools II. Characterization of Failure Effects on AADL Models / Bernhard Ern, Viet Yen Nguyen, Thomas Noll -- Derived Hazard Analysis Method for Critical Infrastructures / Thomas Gruber ... et al. -- A Study of the Impact of Single Bit-Flip and Double Bit-Flip Errors on Program Execution / Fatemeh Ayatolahi ... et al. -- Hazard and Failure Mode Analysis. OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems / Ermeson C. Andrade ... et al. -- A Controlled Experiment on Component Fault Trees / Jessica Jung ... et al. -- DFTCalc: A Tool for Efficient Fault Tree Analysis / Florian Arnold ... et al
Summary This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013. The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis
Notes International conference proceedings
Includes author index
Bibliography Includes bibliographical references and author index
Notes Online resource; title from PDF title page (SpringerLink, viewed September 3, 2013)
Subject Computers -- Reliability -- Congresses
Computer security -- Congresses
Computer security.
Computer Security
Computer security
Computers -- Reliability
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Bitsch, Friedemann, editor
Guiochet, Jérémie, editor
Kaâniche, Mohamed, editor
ISBN 9783642407932
3642407935
3642407927
9783642407925
Other Titles SAFECOMP 2013