000 05114nam a22006255i 4500
001 978-3-540-32000-5
003 DE-He213
005 20240730192026.0
007 cr nn 008mamaa
008 100316s2005 gw | s |||| 0|eng d
020 _a9783540320005
_9978-3-540-32000-5
024 7 _a10.1007/11563228
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aComputer Safety, Reliability, and Security
_h[electronic resource] :
_b24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /
_cedited by Rune Winther, Bjoern Axel Gran, Gustav Dahll.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXIII, 405 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3688
505 0 _aCMMI RAMS Extension Based on CENELEC Railway Standard -- The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems -- Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems -- Defining and Decomposing Safety Policy for Systems of Systems -- Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Data Flow Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software -- Automatic Analysis of a Safety Critical Tele Control System -- A Formal Model for Fault-Tolerance in Distributed Systems -- Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier -- Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control -- On the Effectiveness of Run-Time Checks -- A Technique for Fault Tolerance Assessment of COTS Based Systems -- Finding Upper Bounds for Software Failure Probabilities - Experiments and Results -- Justification of Smart Sensors for Nuclear Applications -- Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain -- Public-Key Cryptography and Availability -- End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems -- Safety Interfaces for Component-Based Systems -- A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts -- Are High-Level Languages Suitable for Robust Telecoms Software? -- Functional Apportioning of Safety Requirements on Railway Signalling Systems -- Automatic Code Generation for PLC Controllers -- The TACO Approach for Traceability and Communication of Requirements -- An IEC 62061 Compliant Safety System Design Method for Machinery -- Design Evaluation: Estimating MultipleCritical Performance and Cost Impacts of Designs -- The Application of an Object-Oriented Method in Information System Security Evaluation -- Towards a Cyber Security Reporting System - A Quality Improvement Process -- Security Research from a Multi-disciplinary and Multi-sectoral Perspective -- Problem Frames and Architectures for Security Problems.
520 _aThis book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005. The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.
650 0 _aSoftware engineering.
_94138
650 0 _aCoding theory.
_94154
650 0 _aInformation theory.
_914256
650 0 _aComputers, Special purpose.
_946653
650 0 _aComputer science.
_99832
650 0 _aElectronic data processing
_xManagement.
_9148301
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aCoding and Information Theory.
_9148302
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aIT Operations.
_931703
700 1 _aWinther, Rune.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9148303
700 1 _aGran, Bjoern Axel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9148304
700 1 _aDahll, Gustav.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9148305
710 2 _aSpringerLink (Online service)
_9148306
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540292005
776 0 8 _iPrinted edition:
_z9783540816423
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3688
_9148307
856 4 0 _uhttps://doi.org/10.1007/11563228
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c94034
_d94034