000			05086nam a22005535i 4500
001			978-3-642-15651-9
003			DE-He213
005			20140220084546.0
007			cr nn 008mamaa
008			100810s2010 gw | s |||| 0|eng d
020			_a9783642156519 _9978-3-642-15651-9
024	7		_a10.1007/978-3-642-15651-9 _2doi
050		4	_aQA76.9.A25
072		7	_aUR _2bicssc
072		7	_aUTN _2bicssc
072		7	_aCOM053000 _2bisacsh
082	0	4	_a005.8 _223
100	1		_aSchoitsch, Erwin. _eeditor.
245	1	0	_aComputer Safety, Reliability, and Security _h[electronic resource] : _b29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings / _cedited by Erwin Schoitsch.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010.
300			_aX, 482p. 197 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v6351
505	0		_aSession 1 -- Reliability Analysis of Safety-Related Communication Architectures -- A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children -- Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees -- QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams -- Session 2 -- Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive Safety – A Safety Case Approach -- How to “Survive” a Safety Case According to ISO 26262 -- Session 3 -- Benchmarking Software Requirements Documentation for Space Application -- Verifying Mode Consistency for On-Board Satellite Software -- Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace -- Session 4 -- Residual Error Probability of Embedded CRC by Stochastic Automata -- ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co-operative Integrated Traffic Management System -- 100% Coverage for Safety-Critical Software – Efficient Testing by Static Analysis -- MODIFI: A MODel-Implemented Fault Injection Tool -- Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram -- Session 6 -- Overcoming Non-determinism in Testing Smart Devices: A Case Study -- Software Testing by People with Autism -- Session 7 -- Information Flow Analysis of Energy Management in a Smart Grid -- Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid -- A Metric for Measuring the Strength of Inter-dependencies -- Session 8 -- Security Analysis of Open Building Automation Systems -- A UML Profile for Requirements Analysis of Dependable Software -- Session 9 -- Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2 -- Experiences in Applying Formal Verification in Robotics -- Evolving a Safe System Design Iteratively -- An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems -- Session 10 -- Development of High-Integrity Software Product Lines Using Model Transformation -- On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications -- The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs -- INDEXYS, a Logical Step beyond GENESYS -- Session 11 -- Integrating System Modelling with Safety Activities -- Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead -- Invited Talks (Keynote Abstracts) -- System of Systems Challenges -- Murphy Was an Optimist -- Process Control Security: Go Dutch! (United, Shared, Lean and Mean).
520			_aThis book constitutes the proceedings of the 29th International Conference on Computer Safety, Reliability, and Security held in Vienna, Austria in September 2010.
650		0	_aComputer science.
650		0	_aComputer Communication Networks.
650		0	_aSoftware engineering.
650		0	_aData protection.
650		0	_aComputer software.
650	1	4	_aComputer Science.
650	2	4	_aSystems and Data Security.
650	2	4	_aComputer Communication Networks.
650	2	4	_aSoftware Engineering.
650	2	4	_aAlgorithm Analysis and Problem Complexity.
650	2	4	_aComputers and Society.
650	2	4	_aSpecial Purpose and Application-Based Systems.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642156502
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v6351
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-15651-9
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c112686 _d112686