Coverart for item
The Resource Computer safety, reliability, and security : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings, Frank Ortmeier, Peter Daniel (eds.), (electronic resource)

Computer safety, reliability, and security : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings, Frank Ortmeier, Peter Daniel (eds.), (electronic resource)

Label
Computer safety, reliability, and security : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
Title
Computer safety, reliability, and security
Title remainder
SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
Statement of responsibility
Frank Ortmeier, Peter Daniel (eds.)
Title variation
  • SAFECOMP 2012
  • Sassur 2012
  • ASCoMS 2012
  • DESEC4LCCI 2012
  • ERCIM/EWICS 2012
  • IWDE 2012
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation
Member of
Cataloging source
GW5XE
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7613
Summary expansion
This book constitutes the refereed proceedings of 5 workshops co-located 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)
Label
Computer safety, reliability, and security : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings, Frank Ortmeier, Peter Daniel (eds.), (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-642-33675-1
Instantiates
Publication
Note
International conference proceedings
Antecedent source
unknown
Color
multicolored
Contents
  • A Model Based Approach for Safety Analysis
  • Fabien Belmonte and Elie Soubiran
  • Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards
  • Jose Luis de la Vara, Sunil Nair, Eric Verhulst, Janusz Studzizba and Piotr Pepek, et al.
  • A New Approach to Assessment of Confidence in Assurance Cases
  • Xingyu Zhao, Dajian Zhang, Minyan Lu and Fuping Zeng
  • An Unified Meta-model for Trustworthy Systems Engineering
  • Eric Verhulst and Bernhard H. C. Sputh
  • A Preliminary Fault Injection Framework for Evaluating Multicore Systems
  • Anna Lanzaro, Antonio Pecchia, Marcello Cinque, Domenico Cotroneo and Ricardo Barbosa, et al. --
  • Introduction to Sassur 2012
  • Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh and Didier Van Den Abeele
  • AdvoCATE: An Assurance Case Automation Toolset
  • Ewen Denney, Ganesh Pai and Josef Pohl
  • Towards a Case-Based Reasoning Approach for Safety Assurance Reuse
  • Alejandra Ruiz, Ibrahim Habli and Huáscar Espinoza
  • Modeling for Safety in a Synthesis-Centric Systems Engineering Framework
  • Jasen Markovski and J. M. van de Mortel-Fronczak
  • An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems
  • Sebastian Zug, Tino Brade, Jörg Kaiser and Sasanka Potluri
  • Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles
  • Kenneth Östberg and Rolf Johansson
  • From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering
  • Christian Berger
  • Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems
  • Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin and Daniel Karlsson
  • Introduction to DESEC4LCCI 2012
  • Christian Esposito, Marco Platania and Francesco Brancati --
  • Meeting Real-Time Requirements with Multi-core Processors
  • Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann and Gernot Gebhard, et al.
  • Assessing Software Interference Management When Modifying Safety-Related Software
  • Patrick J. Graydon and Tim P. Kelly
  • Introduction to ASCoMS 2012
  • António Casimiro and Jörg Kaiser
  • Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults
  • Luís Marques and António Casimiro
  • International Cooperation Experiences: Results Achieved, Lessons Learned, and Way Ahead
  • Craig Gibson, Matteo Melideo, Luigi Romano and Salvatore D'Antonio
  • A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace
  • Magali Andreia Rossi, Jorge Rady de Almeida Junior, Andrea Bondavalli and Paolo Lollini
  • HSIENA: A Hybrid Publish/Subscribe System
  • Fabio Petroni and Leonardo Querzoni --
  • Quantitative Security Evaluation of a Multi-biometric Authentication System
  • Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli and Ernesto La Mattina
  • Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology
  • Luigi Romano, Salvatore D'Antonio, Valerio Formicola and Luigi Coppolino
  • On Securing Communications among Federated Health Information Systems
  • Mario Ciampi, Giuseppe De Pietro, Christian Esposito, Mario Sicuranza and Paolo Mori, et al.
  • How Secure Is ERTMS?
  • Richard Bloomfield, Robin Bloomfield, Ilir Gashi and Robert Stroud
  • Introduction to the ERCIM/EWICS Cyberphysical Systems Workshop 2012
  • Erwin Schoitsch and Amund Skavhaug
  • The Cyber-Physical Attacker
  • Roberto Vigo
  • Dependable and Secure Embedded Node Demonstrator
  • Przemysław Osocha, João Carlos Cunha and Fabio Giovagnini
  • Towards Secure Time-Triggered Systems
  • Florian Skopik, Albert Treytl, Arjan Geven, Bernd Hirschler and Thomas Bleier, et al.
  • Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control Systems
  • Alexander Hanzlik and Erwin Kristen
  • WSDM-Enabled Autonomic Augmentation of Classical Multi-version Software Fault-Tolerance Mechanisms
  • Compiling for Time Predictability
  • Peter Puschner, Raimund Kirner, Benedikt Huber and Daniel Prokesch --
  • Roeland Dillen, Jonas Buys, Vincenzo De Florio and Chris Blondia
  • Formal Verification of a Safety Argumentation and Application to a Complex UAV System
  • Julien Brunel and Jacques Cazin
  • Electronic Reliability Estimation: How Reliable Are the Results?
  • Nuno Silva and Rui Lopes
  • Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics
  • Silvano Chiaradonna, Felicita Di Giandomenico and Nicola Nostro
  • Towards Composable Robotics: The R3-COP Knowledge-Base Driven Technology Platform
  • Erwin Schoitsch, Wolfgang Herzner, Carmen Alonso-Montes, P. Chmelar and Lars Dalgaard
  • Addressing the Needs of an Aging Population: An Experiment for Monitoring Behaviour in a Domestic Environment
  • Marte E. B. Skjønsfjell, Aslak R. Normann, Dag Sjong and Amund Skavhaug --
  • Towards the Automated Qualification of Tool Chain Design
  • Fredrik Asplund, Matthias Biehl and Frédéric Loiret
  • A Systematic Elaboration of Safety Requirements in the Avionic Domain
  • Antoaneta Kondeva, Martin Wassmuth and Andreas Mitschke
  • Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems
  • Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis and Alberto Ferrari
  • Supporting Assurance by Evidence-Based Argument Services
  • Janusz Górski, Aleksander Jarzębowicz, Jakub Miler, Michał Witkowicz and Jakub Czyżnikiewicz, et al.
  • Visual Approach Facilitating the Importance Analysis of Component Fault Trees
  • Yi Yang, Patric Keller and Peter Liggesmeyer
  • Simulation of Structural Effects in Embedded Systems and Visualization of Dependencies According to an Intended Attack or Manipulation
  • Sven Kuhlmann, Jana Fruth, Tobias Hoppe and Jana Dittmann
  • From Discrete Event Simulation to Virtual Reality Environments
  • Sebastian Nielebock, Frank Ortmeier, Marco Schumann and André Winge
  • Program Comprehension in Preprocessor-Based Software
  • Janet Siegmund, Norbert Siegmund, Jana Fruth, Sven Kuhlmann and Jana Dittmann, et al
  • Introduction to IWDE 2012
  • Veit Köppen and Gunter Saake
  • Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems
  • Max Steiner, Patric Keller and Peter Liggesmeyer
  • Towards Artificial Perception
  • André Dietrich, Sebastian Zug and Jörg Kaiser
  • A Case Study of Radio-Based Monitoring System for Enhanced Safety of Logistics Processes
  • Michael Soffner, Mykhaylo Nykolaychuk, Friederike Adler and Klaus Richter
Control code
ocn811251724
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642336751
Isbn Type
(electronic bk.)
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)811251724
Label
Computer safety, reliability, and security : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings, Frank Ortmeier, Peter Daniel (eds.), (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-642-33675-1
Publication
Note
International conference proceedings
Antecedent source
unknown
Color
multicolored
Contents
  • A Model Based Approach for Safety Analysis
  • Fabien Belmonte and Elie Soubiran
  • Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards
  • Jose Luis de la Vara, Sunil Nair, Eric Verhulst, Janusz Studzizba and Piotr Pepek, et al.
  • A New Approach to Assessment of Confidence in Assurance Cases
  • Xingyu Zhao, Dajian Zhang, Minyan Lu and Fuping Zeng
  • An Unified Meta-model for Trustworthy Systems Engineering
  • Eric Verhulst and Bernhard H. C. Sputh
  • A Preliminary Fault Injection Framework for Evaluating Multicore Systems
  • Anna Lanzaro, Antonio Pecchia, Marcello Cinque, Domenico Cotroneo and Ricardo Barbosa, et al. --
  • Introduction to Sassur 2012
  • Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh and Didier Van Den Abeele
  • AdvoCATE: An Assurance Case Automation Toolset
  • Ewen Denney, Ganesh Pai and Josef Pohl
  • Towards a Case-Based Reasoning Approach for Safety Assurance Reuse
  • Alejandra Ruiz, Ibrahim Habli and Huáscar Espinoza
  • Modeling for Safety in a Synthesis-Centric Systems Engineering Framework
  • Jasen Markovski and J. M. van de Mortel-Fronczak
  • An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems
  • Sebastian Zug, Tino Brade, Jörg Kaiser and Sasanka Potluri
  • Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles
  • Kenneth Östberg and Rolf Johansson
  • From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering
  • Christian Berger
  • Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems
  • Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin and Daniel Karlsson
  • Introduction to DESEC4LCCI 2012
  • Christian Esposito, Marco Platania and Francesco Brancati --
  • Meeting Real-Time Requirements with Multi-core Processors
  • Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann and Gernot Gebhard, et al.
  • Assessing Software Interference Management When Modifying Safety-Related Software
  • Patrick J. Graydon and Tim P. Kelly
  • Introduction to ASCoMS 2012
  • António Casimiro and Jörg Kaiser
  • Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults
  • Luís Marques and António Casimiro
  • International Cooperation Experiences: Results Achieved, Lessons Learned, and Way Ahead
  • Craig Gibson, Matteo Melideo, Luigi Romano and Salvatore D'Antonio
  • A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace
  • Magali Andreia Rossi, Jorge Rady de Almeida Junior, Andrea Bondavalli and Paolo Lollini
  • HSIENA: A Hybrid Publish/Subscribe System
  • Fabio Petroni and Leonardo Querzoni --
  • Quantitative Security Evaluation of a Multi-biometric Authentication System
  • Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli and Ernesto La Mattina
  • Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology
  • Luigi Romano, Salvatore D'Antonio, Valerio Formicola and Luigi Coppolino
  • On Securing Communications among Federated Health Information Systems
  • Mario Ciampi, Giuseppe De Pietro, Christian Esposito, Mario Sicuranza and Paolo Mori, et al.
  • How Secure Is ERTMS?
  • Richard Bloomfield, Robin Bloomfield, Ilir Gashi and Robert Stroud
  • Introduction to the ERCIM/EWICS Cyberphysical Systems Workshop 2012
  • Erwin Schoitsch and Amund Skavhaug
  • The Cyber-Physical Attacker
  • Roberto Vigo
  • Dependable and Secure Embedded Node Demonstrator
  • Przemysław Osocha, João Carlos Cunha and Fabio Giovagnini
  • Towards Secure Time-Triggered Systems
  • Florian Skopik, Albert Treytl, Arjan Geven, Bernd Hirschler and Thomas Bleier, et al.
  • Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control Systems
  • Alexander Hanzlik and Erwin Kristen
  • WSDM-Enabled Autonomic Augmentation of Classical Multi-version Software Fault-Tolerance Mechanisms
  • Compiling for Time Predictability
  • Peter Puschner, Raimund Kirner, Benedikt Huber and Daniel Prokesch --
  • Roeland Dillen, Jonas Buys, Vincenzo De Florio and Chris Blondia
  • Formal Verification of a Safety Argumentation and Application to a Complex UAV System
  • Julien Brunel and Jacques Cazin
  • Electronic Reliability Estimation: How Reliable Are the Results?
  • Nuno Silva and Rui Lopes
  • Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics
  • Silvano Chiaradonna, Felicita Di Giandomenico and Nicola Nostro
  • Towards Composable Robotics: The R3-COP Knowledge-Base Driven Technology Platform
  • Erwin Schoitsch, Wolfgang Herzner, Carmen Alonso-Montes, P. Chmelar and Lars Dalgaard
  • Addressing the Needs of an Aging Population: An Experiment for Monitoring Behaviour in a Domestic Environment
  • Marte E. B. Skjønsfjell, Aslak R. Normann, Dag Sjong and Amund Skavhaug --
  • Towards the Automated Qualification of Tool Chain Design
  • Fredrik Asplund, Matthias Biehl and Frédéric Loiret
  • A Systematic Elaboration of Safety Requirements in the Avionic Domain
  • Antoaneta Kondeva, Martin Wassmuth and Andreas Mitschke
  • Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems
  • Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis and Alberto Ferrari
  • Supporting Assurance by Evidence-Based Argument Services
  • Janusz Górski, Aleksander Jarzębowicz, Jakub Miler, Michał Witkowicz and Jakub Czyżnikiewicz, et al.
  • Visual Approach Facilitating the Importance Analysis of Component Fault Trees
  • Yi Yang, Patric Keller and Peter Liggesmeyer
  • Simulation of Structural Effects in Embedded Systems and Visualization of Dependencies According to an Intended Attack or Manipulation
  • Sven Kuhlmann, Jana Fruth, Tobias Hoppe and Jana Dittmann
  • From Discrete Event Simulation to Virtual Reality Environments
  • Sebastian Nielebock, Frank Ortmeier, Marco Schumann and André Winge
  • Program Comprehension in Preprocessor-Based Software
  • Janet Siegmund, Norbert Siegmund, Jana Fruth, Sven Kuhlmann and Jana Dittmann, et al
  • Introduction to IWDE 2012
  • Veit Köppen and Gunter Saake
  • Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems
  • Max Steiner, Patric Keller and Peter Liggesmeyer
  • Towards Artificial Perception
  • André Dietrich, Sebastian Zug and Jörg Kaiser
  • A Case Study of Radio-Based Monitoring System for Enhanced Safety of Logistics Processes
  • Michael Soffner, Mykhaylo Nykolaychuk, Friederike Adler and Klaus Richter
Control code
ocn811251724
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642336751
Isbn Type
(electronic bk.)
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)811251724

Library Locations

    • ERDC - Hanover (US Army Engineer Research and Development Center) Borrow it
      72 Lyme Road, Hanover, NH, 03755-1290, US
      43.7279642 -72.2684934
Processing Feedback ...