default search action
30th SAFECOMP 2011: Naples, Italy
- Francesco Flammini
, Sandro Bologna, Valeria Vittorini:
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings. Lecture Notes in Computer Science 6894, Springer 2011, ISBN 978-3-642-24269-4
Session 1: Ram Evaluation 1
- Peter T. Popov
The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software. 1-14 - Simona Bernardi
Model-Driven Availability Evaluation of Railway Control Systems. 15-28
Session 2: Complex Systems Dependability 1
- Bastian Zimmer, Susanne Bürklen, Michael Knoop, Jens Höfflinger, Mario Trapp:
Vertical Safety Interfaces - Improving the Efficiency of Modular Certification. 29-42 - Pierre Bieber, Remi Delmas, Christel Seguin:
DALculus - Theory and Tool for Development Assurance Level Allocation. 43-56 - Jean-Paul Blanquart, Eric Armengaud
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach. 57-70
Session 3: Formal Verification 1
- Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue:
From Probabilistic Counterexamples via Causality to Fault Trees. 71-84 - Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. 85-98
Session 4: Risk and Hazard Analysis
- Massimo Felici, Valentino Meduri, Bjørnar Solhaug, Alessandra Tedeschi:
Evolutionary Risk Analysis: Expert Judgement. 99-112 - Roland Mader, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Gerhard Grießnig, Christian Steger, Reinhold Weiß:
Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems. 113-127
Session 5: Cybersecurity
- Antonio Bovenzi, Francesco Brancati, Stefano Russo
A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems. 128-142 - Luigi Coppolino
Security Analysis of Smart Grid Data Collection Technologies. 143-156
Session 6: RAM Evaluation 2
- Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
Modeling Aircraft Operational Reliability. 157-170 - Antonino Mazzeo
An Integrated Approach for Availability and QoS Evaluation in Railway Systems. 171-184
Session 7: Case Studies
- Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly:
Using a Software Safety Argument Pattern Catalogue: Two Case Studies. 185-198 - Luigi Coppolino
Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case study. 199-212 - Domenico Cotroneo, Domenico Di Leo, Roberto Natella
A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain. 213-227
Session 8: Formal Verification 2
- Matthew P. Webster
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. 228-242 - Eun-Young Kang
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. 243-256
Poster Session
- Joachim Hillebrand
Establishing Confidence in the Usage of Software Tools in Context of ISO 26262. 257-269 - Rupert Schlick
Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences. 270-283 - Giuseppe Lami
ISO/IEC 15504-10: Motivations for Another Safety Standard. 284-295 - Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno:
Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis. 296-309 - Leonardo Aniello, Giuseppe Antonio Di Luna, Giorgia Lodi
A Collaborative Event Processing System for Protection of Critical Infrastructures from Cyber Attacks. 310-323 - Hananeh Aliee, Hamid R. Zarandi:
A Fault-Tolerant, Dynamically Scheduled Pipeline Structure for Chip Multiprocessors. 324-337 - Saman A. Zonouz, Kaustubh R. Joshi, William H. Sanders:
FloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS Deployment. 338-354 - Federico Cruciani
Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System. 355-368 - Giuseppe Bonifacio, Pietro Marmo, Antonio Orazzo, Ida Petrone, Luigi Velardi, Alessio Venticinque
Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems. 369-382
Session 9: Formal Verification 3
- Alessandro Fantechi, Stefania Gnesi
On the Adoption of Model Checking in Safety-Related Software Industry. 383-396 - Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee:
Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC. 397-408 - Laura Carnevali, Lorenzo Ridi, Enrico Vicario
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. 409-422
Session 10: Optimization Methods
- Matthias Güdemann
Model-Based Multi-objective Safety Optimization. 423-436 - Ismail Assayad, Alain Girault, Hamoudi Kalla:
Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. 437-451
Session 11: Complex Systems Dependability 2
- Antonio Pecchia, Roberto Pietrantuono
Criticality-Driven Component Integration in Complex Software Systems. 452-466 - Andrea Fiaschetti, Francesco Lavorato, Vincenzo Suraci
On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems. 467-479
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: