Stop the war!Остановите войну!
for scientists:
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
a service of 
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-04-22 20:00 CEST 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:
