Cargando…

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings /

This book constitutes the refereed proceedings of 5 workshops colocated with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012. The 49 revised full papers presented were carefully reviewed and selected from n...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ortmeier, Frank (Editor ), Daniel, Peter (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Programming and Software Engineering, 7613
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-642-33675-1
003 DE-He213
005 20220311182215.0
007 cr nn 008mamaa
008 120910s2012 gw | s |||| 0|eng d
020 |a 9783642336751  |9 978-3-642-33675-1 
024 7 |a 10.1007/978-3-642-33675-1  |2 doi 
050 4 |a QA76.9.A25 
072 7 |a UR  |2 bicssc 
072 7 |a UTN  |2 bicssc 
072 7 |a COM053000  |2 bisacsh 
072 7 |a UR  |2 thema 
072 7 |a UTN  |2 thema 
082 0 4 |a 005.8  |2 23 
245 1 0 |a Computer Safety, Reliability, and Security  |h [electronic resource] :  |b SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings /  |c edited by Frank Ortmeier, Peter Daniel. 
250 |a 1st ed. 2012. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2012. 
300 |a XVI, 530 p. 198 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Programming and Software Engineering,  |x 2945-9168 ;  |v 7613 
505 0 |a Introduction to Sassur 2012 -- AdvoCATE: An Assurance Case Automation Toolset -- Towards a Case-Based Reasoning Approach for Safety Assurance Reuse -- Modeling for Safety in a Synthesis-Centric Systems Engineering Framework --  A Model Based Approach for Safety Analysis -- Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards -- A New Approach to Assessment of Confidence in Assurance Cases -- An Unified Meta-model for Trustworthy Systems Engineering -- A Preliminary Fault Injection Framework for Evaluating Multicore Systems -- Meeting Real-Time Requirements with Multi-core Processors --  Assessing Software Interference Management When Modifying Safety-Related Software -- Introduction to ASCoMS 2012 -- Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults --  An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems -- Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering -- Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems -- Introduction to DESEC4LCCI 2012 -- Quantitative Security Evaluation of a Multi-biometric Authentication System -- Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology -- On Securing Communications among Federated Health Information Systems -- How Secure Is ERTMS -- International Cooperation Experiences: Results Achieved, Lessons Learned, and Way Ahead -- A Federated Simulation Framework with ATN Fault Injection Module for Reliability Analysis of UAVs in Non-controlled Airspace -- HSIENA: A Hybrid Publish/Subscribe System --  WSDM-Enabled Autonomic Augmentation of Classical Multi-version Software Fault-Tolerance Mechanisms -- Formal Verification of a Safety Argumentation and Application to a Complex UAV System --  Electronic Reliability Estimation: How Reliable Are the Results -- Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics.-Introduction to the ERCIM/EWICS Cyberphysical Systems Workshop 2012 -- The Cyber-Physical Attacker -- Dependable and Secure Embedded Node Demonstrator --  Towards Secure Time-Triggered Systems -- Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control Systems -- Compiling for Time Predictability -- Towards the Automated Qualification of Tool Chain Design -- A Systematic Elaboration of Safety Requirements in the Avionic Domain -- Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems --  Supporting Assurance by Evidence-Based Argument Services -- Towards Composable Robotics: The R3-COP Knowledge-Base Driven Technology Platform -- Addressing the Needs of an Aging Population: An Experiment for Monitoring Behaviour in a Domestic Environment --  Introduction to IWDE 2012 -- Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems -- Towards Artificial Perception -- A Case Study of Radio-Based Monitoring System for Enhanced Safety of Logistics Processes -- Visual Approach Facilitating the Importance Analysis of Component Fault Trees -- Simulation of Structural Effects in Embedded Systems and Visualization of Dependencies According to an Intended Attack or Manipulation -- From Discrete Event Simulation to Virtual Reality Environments -- Program Comprehension in Preprocessor-Based Software. 
520 |a This book constitutes the refereed proceedings of 5 workshops colocated with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012. The 49 revised full papers presented were carefully reviewed and selected from numerous submissions. According to the workshops covered, the papers are organized in topical sections on: next generation of system assurance approaches for safety-critical systems (Sassur), architecting safety in collaborative mobile systems (ASCoMS), dependable and secure computing for large-scale complex critical infrastructures (DESEC4LCCI), ERCIM/EWICS/cyberphysical systems (ERCIM/EWICS), and on digital engineering (IWDE). 
650 0 |a Data protection. 
650 0 |a Computer networks . 
650 0 |a Computer science. 
650 0 |a Artificial intelligence. 
650 0 |a Software engineering. 
650 0 |a Computers and civilization. 
650 1 4 |a Data and Information Security. 
650 2 4 |a Computer Communication Networks. 
650 2 4 |a Computer Science Logic and Foundations of Programming. 
650 2 4 |a Artificial Intelligence. 
650 2 4 |a Software Engineering. 
650 2 4 |a Computers and Society. 
700 1 |a Ortmeier, Frank.  |e editor.  |0 (orcid)0000-0001-6186-4142  |1 https://orcid.org/0000-0001-6186-4142  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Daniel, Peter.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783642336768 
776 0 8 |i Printed edition:  |z 9783642336744 
830 0 |a Programming and Software Engineering,  |x 2945-9168 ;  |v 7613 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-642-33675-1  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)