Limit search to available items
Book Cover
E-book
Author SAFECOMP (Conference) (31st : 2012 : Magdeburg, Germany)

Title Computer safety, reliability, and security : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings / Frank Ortmeier, Peter Daniel (eds.)
Published Berlin ; New York : Springer, [2012]
©2012
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource
Series Lecture notes in computer science, 0302-9743 ; 7612
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7612
LNCS sublibrary. SL 2, Programming and software engineering.
Contents A Lightweight Methodology for Safety Case Assembly / Ewen Denney and Ganesh Pai -- A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production / André Alexandersen Hauge and Ketil Stølen -- Risk Assessment for Airworthiness Security / Silvia Gil Casals, Philippe Owezarski and Gilles Descargues -- A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations, / Christoph Läsche, Eckard Böde and Thomas Peikenkamp -- Risk Analysis and Software Integrity Protection for 4G Network Elements in ASMONIA / Manfred Schäfer -- Applying Industrial-Strength Testing Techniques to Critical Care Medical Equipment / Christoph Woskowski -- Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components, / Viacheslav Izosimov, Urban Ingelsson and Andreas Wallin -- Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile / Jan Krause, Elke Hintze, Stephan Magnus and Christian Diedrich -- Quantification of Priority-OR Gates in Temporal Fault Trees / Ernest Edifor, Martin Walker and Neil Gordon
Cross-Level Compositional Reliability Analysis for Embedded Systems / Michael Glaß, Heng Yu, Felix Reimann and Jürgen Teich -- IT-Forensic Automotive Investigations on the Example of Route Reconstruction on Automotive System and Communication Data / Tobias Hoppe, Sven Kuhlmann, Stefan Kiltz and Jana Dittmann -- Towards an IT Security Protection Profile for Safety-Related Communication in Railway Automation / Hans-Hermann Bock, Jens Braband, Birgit Milius and Hendrik Schäbe -- Towards Secure Fieldbus Communication / Felix Wieczorek, Christoph Krauß, Frank Schiller and Claudia Eckert -- Extracting EFSMs of Web Applications for Formal Requirements Specification / Andrey Zakonov and Anatoly Shalyto -- An Ontological Approach to Systematization of SW-FMEA / Irene Bicchierai, Giacomo Bucci, Carlo Nocentini and Enrico Vicario -- Online Black-Box Failure Prediction for Mission Critical Distributed Systems / Roberto Baldoni, Giorgia Lodi, Luca Montanari, Guido Mariotta and Marco Rizzuto -- On the Impact of Hardware Faults -- An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions / Domenico Di Leo, Fatemeh Ayatolahi, Behrooz Sangchoolie, Johan Karlsson and Roger Johansson
Formal Development and Assessment of a Reconfigurable On-board Satellite System / Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala and Laura Nummila -- Impact of Soft Errors in a Jet Engine Controller / Olof Hannius and Johan Karlsson -- Which Automata for Which Safety Assessment Step of Satellite FDIR? / Ludovic Pintard, Christel Seguin and Jean-Paul Blanquart -- A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context / Carl Bergenhem, Rolf Johansson and Henrik Lönn -- Reviewing Software Models in Compliance with ISO 26262 / Ingo Stürmer, Elke Salecker and Hartmut Pohlheim -- Software Architecture of a Safety-Related Actuator in Traffic Management Systems / Thomas Novak and Christoph Stoegerer -- Approximate Reliability Algebra for Architecture Optimization / Philipp Helle, Michael Masin and Lev Greenberg -- On the Formal Verification of Systems of Synchronous Software Components / Henning Günther, Stefan Milius and Oliver Möller
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments / Anaheed Ayoub, BaekGyu Kim, Insup Lee and Oleg Sokolsky -- Determining Potential Errors in Tool Chains: Strategies to Reach Tool Confidence According to ISO 26262 / Martin Wildmoser, Jan Philipps and Oscar Slotosch -- Safety-Focused Deployment Optimization in Open Integrated Architectures / Bastian Zimmer, Susanne Bürklen, Jens Höfflinger, Mario Trapp and Peter Liggesmeyer -- Qualifying Software Tools, a Systems Approach / Fredrik Asplund, Jad El-khoury and Martin Törngren -- Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems / Rosana T. Vaccare Braga, Onofre Trindade Junior, Kalinka Regina Castelo Branco, Luciano De Oliveira Neris and Jaejoon Lee -- Combining Failure Mode and Functional Resonance Analyses in Healthcare Settings / Mark-Alexander Sujan and Massimo Felici -- A STAMP Analysis on the China-Yongwen Railway Accident / Tian Song, Deming Zhong and Hang Zhong -- Efficient Software Component Reuse in Safety-Critical Systems -- An Empirical Study / Rikard Land, Mikael Åkerholm and Jan Carlson
Summary This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies
Analysis Computer science
Computer Communication Networks
Software engineering
Data protection
Computer software
Systems and Data Security
Algorithm Analysis and Problem Complexity
Computers and Society
Special Purpose and Application-Based Systems
Bibliography Includes bibliographical references and author index
Subject Computer software -- Reliability -- Congresses.
Computers -- Reliability -- Congresses.
Computer security -- Congresses.
Formal methods (Computer science) -- Congresses.
Genre/Form Conference papers and proceedings.
Computer software.
Conference papers and proceedings.
Form Electronic book
Author Ortmeier, Frank.
Daniel, Peter, 1950-
ISBN 9783642336782 (electronic bk.)
3642336787 (electronic bk.)
Other Titles SAFECOMP 2012