default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th SAFECOMP 2007: Nuremberg, Germany
- Francesca Saglietti, Norbert Oster
:
Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Lecture Notes in Computer Science 4680, Springer 2007, ISBN 978-3-540-75100-7
Safety Cases
- Willem Ridderhof, Hans-Gerhard Groß, Heiko Dörr:
Establishing Evidence for Safety Cases in Automotive Systems - A Case Study. 1-13 - Mark-Alexander Sujan, Floor Koornneef, Udo Voges:
Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges. 14-27
Impact of Security on Safety
- Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar:
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. 28-39 - Andreas Lang, Jana Dittmann, Stefan Kiltz, Tobias Hoppe:
Future Perspectives: The Car and Its IP-Address - A Potential Safety and Security Risk Assessment. 40-53 - Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche:
Modelling Interdependencies Between the Electricity and Information Infrastructures. 54-67
Poster Session 1
- Wan-Hui Tseng, Chin-Feng Fan:
Handling Malicious Code on Control Systems. 68-74 - Mohammad Alhammouri, Sead Muftic:
Management of Groups and Group Keys in Multi-level Security Environments. 75-80 - Grzegorz J. Nalepa:
Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems. 81-86 - Armin Selhofer, Thomas Gruber, Michael Putz, Erwin Schoitsch, Gerald Sonneck:
RAMSS Analysis for a Co-operative Integrated Traffic Management System. 87-92 - S. M. Hadi Hosseini, Makoto Takahashi:
Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks. 93-99 - Reiner Heilmann, Stefan Rothbauer, Ariane Sutor:
Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System. 100-105
Fault Tree Analysis
- Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos:
Compositional Temporal Fault Tree Analysis. 106-119 - William Marsh, George Bearfield:
Representing Parameterised Fault Trees Using Bayesian Networks. 120-133 - Andreas Lüdtke, Lothar Pfeifer:
Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model. 134-147
Safety Analysis
- Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh:
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. 148-161 - Rainer Faller:
Specification of a Software Common Cause Analysis Method. 162-171 - Weihang Wu, Tim Kelly:
Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. 172-186 - Hans Russo, Andreas Turk:
Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation. 187-196
Security Aspects
- Martin Gilje Jaatun, Åsmund Ahlmann Nyre, Jan Tore Sørensen:
Survival by Deception. 197-208 - Dennis K. Nilsson, Phillip A. Porras, Erland Jonsson:
How to Secure Bluetooth-Based Pico Networks. 209-223 - Finn Olav Sveen, José Manuel Torres, Jose María Sarriegi:
Learning from Your Elders: A Shortcut to Information Security Management Success. 224-237 - Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis:
Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. 238-251
Poster Session 2
- Derek Mannering, Jon G. Hall, Lucia Rapanotti:
Safety Process Improvement with POSE and Alloy. 252-257 - Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jangyeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon:
Defense-in-Depth and Diverse Qualification of Safety-Critical Software. 258-263 - Jonny Vinter, Henrik Eriksson, Astrit Ademaj, Bernhard Leiner, Martin Schlager:
Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer. 264-269 - Falk Salewski, Stefan Kowalewski:
Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches. 270-275 - Fevzi Belli, Axel Hollmann, Nimal Nissanke:
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. 276-282 - Jürgen Mottok, Frank Schiller, Thomas Völkl, Thomas Zeitler:
A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications. 283-288
Verification and Validation
- Jean-Claude Laprie:
Safety Demonstration and Software Development. 289-300 - Mario Friske, Bernd-Holger Schlingloff:
Improving Test Coverage for UML State Machines Using Transition Instrumentation. 301-314 - Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan:
Verification of Distributed Applications. 315-328
Platform Reliability
- Tina Mattes, Jörg Pfahler, Frank Schiller, Thomas Honold:
Analysis of Combinations of CRC in Industrial Communication. 329-341 - Bernhard Leiner, Martin Schlager, Roman Obermaisser, Bernhard Huber:
A Comparison of Partitioning Operating Systems for Integrated Systems. 342-355 - Ute Wappler, Christof Fetzer:
Software Encoded Processing: Building Dependable Systems with Commodity Hardware. 356-369
Reliability Evaluation
- Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin:
Reliability Modeling for the Advanced Electric Power Grid. 370-383 - Atte Helminen:
Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay. 384-396 - Valério Rosset, Pedro F. Souto, Paulo Portugal, Francisco Vasques:
A Reliability Evaluation of a Group Membership Protocol. 397-410
Poster Session 3
- Kizito Salako:
Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity. 411-416 - Andrea Bobbio, Roberta Terruggia, A. Boellis, Ester Ciancamerla, Michele Minichino:
A Tool for Network Reliability Analysis. 417-422 - Salvatore Distefano, Antonio Puliafito:
DFT and DRBD in Computing Systems Dependability Analysis. 423-429 - István Majzik, Zoltán Micskei, Gergely Pintér:
Development of Model Based Tools to Support the Design of Railway Control Applications. 430-435
Formal Methods
- Jan Täubrich, Reinhard von Hanxleden:
Formal Specification and Analysis of AFDX Redundancy Management Algorithms. 436-450 - Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen:
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. 451-464 - Matthias Güdemann, Frank Ortmeier, Wolfgang Reif:
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. 465-478
Static Code Analysis
- Jean Souyris, David Delmas:
Experimental Assessment of Astrée on Safety-Critical Avionics Software. 479-490 - Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh:
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. 491-504
Safety-Related Architectures
- Jesper Berthing, Thomas Maier:
A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements. 505-517 - Sebastian Kain, Hao Ding, Frank Schiller, Olaf Stursberg:
Controller Architecture for Safe Cognitive Technical Systems. 518-531 - Ananda Challaghatta Muniyappa:
Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software. 532-545
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-11-21 20:34 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:
