000 08140cam a2200877 a 4500
001 ocn756838812
003 OCoLC
005 20250703160906.0
006 m o d
007 cr cn|||||||||
008 111013s2011 gw a ob 101 0 eng d
040 _aGW5XE
_beng
_epn
_cGW5XE
_dGZM
_dE7B
_dUKMGB
_dOCLCQ
_dOCLCA
_dOCLCF
_dBEDGE
_dOCLCQ
_dOCLCO
_dCOO
_dA7U
_dYDXCP
_dOCL
_dOCLCO
_dOCLCQ
_dEBLCP
_dOCLCQ
_dVGM
_dESU
_dOCLCQ
_dSHS
_dIOG
_dOCLCA
_dCEF
_dTFW
_dU3W
_dYOU
_dCNTRU
_dOCLCQ
_dAJS
_dUKAHL
_dDKU
_dCOM
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCQ
_dOCLCL
016 7 _a015895770
_2Uk
019 _a769769497
020 _a9783642242700
_q(electronic bk.)
020 _a3642242707
_q(electronic bk.)
020 _a3642242693
_q(pbk. ;
_qalk. paper)
020 _a9783642242694
_q(pbk. ;
_qalk. paper)
020 _z9783642242694
024 7 _a10.1007/978-3-642-24270-0
_2doi
029 1 _aAU@
_b000048657301
029 1 _aNLGGC
_b384339220
029 1 _aNZ1
_b13930142
029 1 _aNZ1
_b13940645
029 1 _aAU@
_b000068697411
029 1 _aDKDLA
_b820120-katalog:999888179605765
035 _a(OCoLC)756838812
_z(OCoLC)769769497
037 _a978-3-642-24269-4
_bSpringer
_nhttp://www.springerlink.com
050 4 _aQA76.76.R44
_bI58 2011
072 7 _aUR
_2bicssc
072 7 _aUTN
_2bicssc
072 7 _aCOM053000
_2bisacsh
082 0 4 _a004
_223
049 _aMAIN
111 2 _aSAFECOMP (Conference)
_n(30th :
_d2011 :
_cNaples, Italy)
_942973
245 1 0 _aComputer safety, reliability, and security :
_b30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings /
_cFrancesco Flammini, Sandro Bologna, Valeria Vittorini (eds.).
246 3 _aSAFECOMP 2011
260 _aBerlin ;
_aNew York :
_bSpringer,
_c©2011.
300 _a1 online resource (xiv, 482 pages) :
_billustrations
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 ;
_v6894
490 1 _aLNCS sublibrary. SL 2, Programming and software engineering
504 _aIncludes bibliographical references and author index.
520 _aThis book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods.
505 0 0 _aMachine generated contents note:
_gSession 1
_tRam Evaluation --
_tEffect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software /
_rGabriele Manno --
_tModel-Driven Availability Evaluation of Railway Control Systems /
_rValeria Vittorini --
_gSession 2
_tComplex Systems Dependability 1 --
_tVertical Safety Interfaces -- Improving the Efficiency of Modular Certification /
_rMario Trapp --
_tDALculus -- Theory and Tool for Development Assurance Level Allocation /
_rChristel Seguin --
_tTowards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach /
_rTormod Wien --
_gSession 3
_tFormal Verification 1 --
_tFrom Probabilistic Counterexamples via Causality to Fault Trees /
_rStefan Leue --
_tRigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software /
_rSamuel Mimram --
_gSession 4
_tRisk and Hazard Analysis --
_tEvolutionary Risk Analysis: Expert Judgement /
_rAlessandra Tedeschi --
_tComputer-Aided PHA, FTA and FMEA for Automotive Embedded Systems /
_rReinhold Weiß --
_gSession 5
_tCybersecurity --
_tStatistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems /
_rAndrea Bondavalli --
_tSecurity Analysis of Smart Grid Data Collection Technologies /
_rLuigi Romano --
_gSession 6
_tRAM Evaluation 2 --
_tModeling Aircraft Operational Reliability /
_rChris Papadopoulos --
_tIntegrated Approach for Availability and QoS Evaluation in Railway Systems /
_rPietro Marmo --
_gSession 7
_tCase Studies --
_tUsing a Software Safety Argument Pattern Catalogue: Two Case Studies /
_rTim Kelly --
_tIntegration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A Dam Case Study /
_rLuigi Romano --
_tCase Study on State-Based Robustness Testing of an Operating System for the Avionic Domain /
_rRoberto Pietrantuono --
_gSession 8
_tFormal Verification 2
505 0 0 _aNote continued:
_tFormal Methods for the Certification of Autonomous Unmanned Aircraft Systems /
_rMike Jump --
_tVerifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT /
_rPaul Pettersson --
_tPoster Session --
_tEstablishing Confidence in the Usage of Software Tools in Context of ISO 26262 /
_rChristian Peer --
_tFault-Based Generation of Test Cases from UML-Models -- Approach and Some Experiences /
_rElisabeth Jobstl --
_tISO/IEC 15504-10: Motivations for Another Safety Standard /
_rMario Fusani --
_tAutomatic Synthesis of SRN Models from System Operation Templates for Availability Analysis /
_rYoshiharu Maeno --
_tCollaborative Event Processing System for Protection of Critical Infrastructures from Cyber Attacks /
_rRoberto Baldoni --
_tFault-Tolerant, Dynamically Scheduled Pipeline Structure for Chip Multiprocessors /
_rHamid Reza Zarandi -- ^
_tFloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS Deployment /
_rWilliam H. Sanders --
_tReducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System /
_rEnrico Vicario --
_tImprovement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems /
_rAlessio Venticinque --
_gSession 9
_tFormal Verification 3 --
_tOn the Adoption of Model Checking in Safety-Related Software Industry /
_rStefania Gnesi --
_tEquivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC /
_rJang-Soo Lee --
_tFramework for Simulation and Symbolic State Space Analysis of Non-Markovian Models /
_rEnrico Vicario --
_gSession 10
_tOptimization Methods --
_tModel-Based Multi-objective Safety Optimization /
_rFrank Ortmeier --
_tTradeoff Exploration between Reliability, Power Consumption, and Execution Time /
_rHamoudi Kalla --
_gSession 11
_tComplex Systems Dependability 2 -- ^
_tCriticality-Driven Component Integration in Complex Software Systems /
_rStefano Russo
505 0 0 _aNote continued:
_tOn the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems /
_rFrancesco Flammini.
650 0 _aComputers
_xReliability
_vCongresses.
_925116
650 0 _aComputer security
_vCongresses.
_914968
650 6 _aOrdinateurs
_xFiabilité
_vCongrès.
_925894
650 6 _aSécurité informatique
_vCongrès.
_917411
650 7 _aInformatique.
_2eclas
_914930
650 7 _aComputer security
_2fast
_92191
650 7 _aComputers
_xReliability
_2fast
_923222
655 2 _aCongress
_911670
655 7 _aproceedings (reports)
_2aat
655 7 _aConference papers and proceedings
_2fast
_96065
655 7 _aConference papers and proceedings.
_2lcgft
_96065
655 7 _aActes de congrès.
_2rvmgf
_9609890
700 1 _aFlammini, Francesco.
_942974
700 1 _aBologna, Sandro.
_921434
700 1 _aVittorini, Valeria.
_942975
758 _ihas work:
_aComputer safety, reliability, and security (Text)
_1https://id.oclc.org/worldcat/entity/E39PCGwTtH6yBKhwJQJGDvm9Kq
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrinted edition:
_z9783642242694
830 0 _aLecture notes in computer science ;
_v6894.
_x0302-9743
830 0 _aLNCS sublibrary.
_nSL 2,
_pProgramming and software engineering.
_920654
856 4 0 _uhttps://link.springer.com/10.1007/978-3-642-24270-0
938 _aAskews and Holts Library Services
_bASKH
_nAH26854142
938 _aProQuest Ebook Central
_bEBLB
_nEBL3067185
938 _aebrary
_bEBRY
_nebr10497061
938 _aYBP Library Services
_bYANK
_n7167806
994 _a92
_bATIST
999 _c641175
_d641175