default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th SAFECOMP 2010: Vienna, Austria
- Erwin Schoitsch:
Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings. Lecture Notes in Computer Science 6351, Springer 2010, ISBN 978-3-642-15650-2
System Analysis
- Oliver Schulz, Jan Peleska:
Reliability Analysis of Safety-Related Communication Architectures. 1-14 - Petr Böhm, Thomas Gruber:
A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children. 15-27 - Carolina Gómez, Peter Liggesmeyer, Ariane Sutor:
Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees. 28-40 - Roberta Terruggia
, Andrea Bobbio:
QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams. 41-54
Safety Cases and Certi?cation
- Jussi Lahtinen, Mika Johansson, Jukka Ranta, Hannu Harju, Risto Nevalainen:
Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain. 55-67 - Nurlida Basir, Ewen Denney, Bernd Fischer:
Deriving Safety Cases for Hierarchical Structure in Model-Based Development. 68-81 - Robert Palin, Ibrahim Habli:
Assurance of Automotive Safety - A Safety Case Approach. 82-96 - Torsten Dittel, Hans-Jörg Aryus:
How to "Survive" a Safety Case According to ISO 26262. 97-111
Aerospace
- Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira:
Benchmarking Software Requirements Documentation for Space Application. 112-125 - Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala:
Verifying Mode Consistency for On-Board Satellite Software. 126-141 - Christopher W. Johnson:
Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace. 142-154
Error Detection
- Frank Schiller, Tina Mattes:
Residual Error Probability of Embedded CRC by Stochastic Automata. 155-168 - Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer:
ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software. 169-182
Validation and Verification
- Thomas Gruber, Egbert Althammer, Erwin Schoitsch:
Field Test Methods for a Co-operative Integrated Traffic Management System. 183-195 - Daniel Kästner, Reinhold Heckmann, Christian Ferdinand:
100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. 196-209 - Rickard Svenningsson, Jonny Vinter, Henrik Eriksson, Martin Törngren:
MODIFI: A MODel-Implemented Fault Injection Tool. 210-222 - Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee:
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. 223-236
Testing
- Peter G. Bishop, Lukasz Cyra:
Overcoming Non-determinism in Testing Smart Devices: A Case Study. 237-250 - Suzanne Haanappel, Sjaak Brinkkemper:
Software Testing by People with Autism. 251-262
Critical Infrastructure - Smart Grid
- Ravi Akella, Bruce M. McMillin:
Information Flow Analysis of Energy Management in a Smart Grid. 263-276 - Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin:
Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid. 277-290 - Silvia Ruzzante, Elisa Castorini, Elena Marchei, Vincenzo Fioriti:
A Metric for Measuring the Strength of Inter-dependencies. 291-302
Security and Safety
- Wolfgang Granzer, Wolfgang Kastner:
Security Analysis of Open Building Automation Systems. 303-316 - Denis Hatebur, Maritta Heisel:
A UML Profile for Requirements Analysis of Dependable Software. 317-331
Safety Engineering (1)
- Anders Sandberg, De-Jiu Chen, Henrik Lönn, Rolf Johansson, Lei Feng, Martin Törngren, Sandra Torchiaro, Ramin Tavakoli Kolagari, Andreas Abele:
Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. 332-346 - Dennis Walter, Holger Täubig, Christoph Lüth:
Experiences in Applying Formal Verification in Robotics. 347-360 - Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe Ferri, Edson H. Watanabe:
Evolving a Safe System Design Iteratively. 361-374 - Peter G. Bishop, Konstantinos Tourlas, Nick Chozos:
An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. 375-388
Safety Engineering (2)
- Stuart Hutchesson, John A. McDermid:
Development of High-Integrity Software Product Lines Using Model Transformation. 389-401 - Christopher W. Johnson, Stefan Raue:
On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications. 402-417 - Thomas Novak, Christoph Stoegerer:
The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs. 418-430 - Andreas Eckel, Paul Milbredt, Zaid Al-Ars, Stefan Schneele, Bart Vermeulen, György Csertán, Christoph Scheerer, Neeraj Suri, Abdelmajid Khelil, Gerhard Fohler:
INDEXYS, a Logical Step beyond GENESYS. 431-451
System Modelling and Fault Tolerance
- Bernhard Kaiser, Vanessa C. Klaas, Stefan Schulz, Christian Herbst, Peter Lascych:
Integrating System Modelling with Safety Activities. 452-465 - Ruben Alexandersson, Peter Öhman, Johan Karlsson:
Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead. 466-479
Invited Talks (Keynote Abstracts)
- Hermann Kopetz:
System of Systems Challenges. 480 - Kevin R. Driscoll:
Murphy Was an Optimist. 481-482 - Eric A. M. Luiijf:
Process Control Security: Go Dutch! (United, Shared, Lean and Mean). 483
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-19 22:18 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:
