Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees (Englisch)
- Neue Suche nach: Gomez, C.
- Neue Suche nach: Liggesmeyer, P.
- Neue Suche nach: Sutor, A.
- Neue Suche nach: Gomez, C.
- Neue Suche nach: Liggesmeyer, P.
- Neue Suche nach: Sutor, A.
- Neue Suche nach: Schoitsch, Erwin
In:
International Conference on Computer Safety, Reliability and Security; SAFECOMP 2010, Vienna, Austria
6351
;
28-40
;
2010
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees
-
Beteiligte:
-
Kongress:29th, International Conference on Computer Safety, Reliability and Security; SAFECOMP 2010, Vienna, Austria ; 2010 ; Vienna, Austria
-
Erschienen in:International Conference on Computer Safety, Reliability and Security; SAFECOMP 2010, Vienna, Austria , 6351 ; 28-40LECTURE NOTES IN COMMPUTER SCIENCE , 6351 ; 28-40
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:01.01.2010
-
Format / Umfang:13 pages
-
Anmerkungen:Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Reliability Analysis of Safety-Related Communication ArchitecturesSchulz, O. / Peleska, J. et al. | 2010
- 15
-
A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled ChildrenBohm, P. / Gruber, T. et al. | 2010
- 28
-
Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault TreesGomez, C. / Liggesmeyer, P. / Sutor, A. et al. | 2010
- 41
-
QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision DiagramsTerruggia, R. / Bobbio, A. et al. | 2010
- 55
-
Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear DomainLahtinen, J. / Johansson, M. / Ranta, J. / Harju, H. / Nevalainen, R. et al. | 2010
- 68
-
Deriving Safety Cases for Hierarchical Structure in Model-Based DevelopmentBasir, N. / Denney, E. / Fischer, B. et al. | 2010
- 82
-
Assurance of Automotive Safety - A Safety Case ApproachPalin, R. / Habli, I. et al. | 2010
- 97
-
How to ``Survive'' a Safety Case According to ISO 26262Dittel, T. / Aryus, H.-J. et al. | 2010
- 112
-
Benchmarking Software Requirements Documentation for Space ApplicationVeras, P.C. / Villani, E. / Ambrosio, A.M. / Pontes, R.P. / Vieira, M. / Madeira, H. et al. | 2010
- 126
-
Verifying Mode Consistency for On-Board Satellite SoftwareIliasov, A. / Troubitsyna, E. / Laibinis, L. / Romanovsky, A. / Varpaaniemi, K. / Vaisanen, P. / Ilic, D. / Latvala, T. et al. | 2010
- 142
-
Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled AirspaceJohnson, C.W. et al. | 2010
- 155
-
Residual Error Probability of Embedded CRC by Stochastic AutomataSchiller, F. / Mattes, T. et al. | 2010
- 169
-
ANB- and ANBDmem-Encoding: Detecting Hardware Errors in SoftwareSchiffel, U. / Schmitt, A. / Susskraut, M. / Fetzer, C. et al. | 2010
- 183
-
Field Test Methods for a Co-operative Integrated Traffic Management SystemGruber, T. / Althammer, E. / Schoitsch, E. et al. | 2010
- 196
-
100% Coverage for Safety-Critical Software - Efficient Testing by Static AnalysisKastner, D. / Heckmann, R. / Ferdinand, C. et al. | 2010
- 210
-
MODIFI: A MODel-Implemented Fault Injection ToolSvenningsson, R. / Vinter, J. / Eriksson, H. / Torngren, M. et al. | 2010
- 223
-
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block DiagramJee, E. / Kim, S. / Cha, S. / Lee, I. et al. | 2010
- 237
-
Overcoming Non-determinism in Testing Smart Devices: A Case StudyBishop, P. / Cyra, L. et al. | 2010
- 251
-
Software Testing by People with AutismHaanappel, S. / Brinkkemper, S. et al. | 2010
- 263
-
Information Flow Analysis of Energy Management in a Smart GridAkella, R. / McMillin, B.M. et al. | 2010
- 277
-
Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart GridFaza, A. / Sedigh, S. / McMillin, B. et al. | 2010
- 291
-
A Metrics for Measuring the Strength of Inter-dependenciesRuzzante, S. / Castorini, E. / Marchei, E. / Fioriti, V. et al. | 2010
- 303
-
Security Analysis of Open Building Automation SystemsGranzer, W. / Kastner, W. et al. | 2010
- 317
-
A UML Profile for Requirements Analysis of Dependable SoftwareHatebur, D. / Heisel, M. et al. | 2010
- 332
-
Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2Sandberg, A. / Chen, D. / Lonn, H. / Johansson, R. / Feng, L. / Torngren, M. / Torchiaro, S. / Tavakoli-Kolagari, R. / Abele, A. et al. | 2010
- 347
-
Experiences in Applying Formal Verification in RoboticsWalter, D. / Taubig, H. / Luth, C. et al. | 2010
- 361
-
Evolving a Safe System Design IterativelyMota, A. / Jesus, J. / Gomes, A. / Ferri, F. / Watanabe, E. et al. | 2010
- 375
-
An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity SystemsBishop, P. / Tourlas, K. / Chozos, N. et al. | 2010
- 389
-
Development of High-Integrity Software Product Lines Using Model TransformationHutchesson, S. / McDermid, J. et al. | 2010
- 402
-
On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical ApplicationsJohnson, C.W. / Raue, S. et al. | 2010
- 418
-
The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message SignsNovak, T. / Stoegerer, C. et al. | 2010
- 431
-
INDEXYS, a Logical Step beyond GENESYS: INDustrial EXploitation of the genesYS cross-domain architectureEckel, A. / Milbredt, P. / Al-Ars, Z. / Schneele, S. / Vermeulen, B. / Csertan, G. / Scheerer, C. / Suri, N. / Khelil, A. / Fohler, G. et al. | 2010
- 452
-
Integrating System Modelling with Safety ActivitiesKaiser, B. / Klaas, V. / Schulz, S. / Herbst, C. / Lascych, P. et al. | 2010
- 466
-
Aspect-Oriented Implementation of Fault Tolerance: An Assessment of OverheadAlexandersson, R. / Ohman, P. / Karlsson, J. et al. | 2010
- 480
-
System of Systems ChallengesKopetz, H. et al. | 2010
- 481
-
Murphy Was an OptimistDriscoll, K.R. et al. | 2010
- 483
-
Process Control Security: Go Dutch! (United, Shared, Lean and Mean)Luiijf, E. et al. | 2010