A model based framework for specifying and executing fault injection experiments (Englisch)
- Neue Suche nach: Olah, J.
- Neue Suche nach: Majzik, I.
- Neue Suche nach: Olah, J.
- Neue Suche nach: Majzik, I.
In:
DepCos-RELCOMEX, Fourth International Conference on Dependability of Computer Systems, 4
;
107-114
;
2009
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:A model based framework for specifying and executing fault injection experiments
-
Beteiligte:Olah, J. ( Autor:in ) / Majzik, I. ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE Operations Center
-
Erscheinungsort:Piscataway
-
Erscheinungsdatum:2009
-
Format / Umfang:8 Seiten, 10 Quellen
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
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.
- 3
-
Ontology-Based Security Problem Definition and Solution for the Common Criteria Compliant Development ProcessBialas, Andrzej et al. | 2009
- 11
-
UML 2 Interaction Overview Diagram ValidationBouabana-Tebibel, Thouraya et al. | 2009
- 17
-
Minimal Büchi Automata for Certain Classes of LTL FormulasCichon, Jacek / Czubak, Adam / Jasinski, Andrzej et al. | 2009
- 25
-
Extended Dependability Analysis of Information and Control Systems by FME(C)A-technique: Models, Procedures, ApplicationKomari, Iraj Elyasi / Kharchenko, Vyacheslav / Babeshko, Eugene / Gorbenko, Anatoliy / Siora, Alexander et al. | 2009
- 33
-
Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time DependenciesGluchowski, Pawel et al. | 2009
- 42
-
Dependability of Safety-Critical Computer Systems through Component-Based EvolutionKharchenko, Vyacheslav / Sklyar, Vladimir / Siora, Alexandr et al. | 2009
- 50
-
UML-Based Reliability Modeling of Network Services, a UDP Echo Service Case StudyLipinski, Zbigniew et al. | 2009
- 61
-
Separating Users' Views in a Development Process for Agile MethodsBessam, Ammar / Kimour, Mohamed Tahar / Melit, Ali et al. | 2009
- 69
-
Dataflow Approach to Testing Java ProgramsBluemke, Ilona / Rembiszewski, Artur et al. | 2009
- 77
-
Design and Implementation of a Java Fault Injector for Exhaustif® SWIFI ToolSilva, Antonio Da / Gonzalez-Calero, Alberto / Martinez, José Fernán / Lopez, Lourdes / Garcia, Ana Belen / Hernandez, Vicente et al. | 2009
- 84
-
A Concept of a Web Application Blending Thin and Fat Client ArchitecturesDworak, Hugo et al. | 2009
- 91
-
The Design and Implementation of a Documentation Generator for the PRISM LanguageDworak, Hugo et al. | 2009
- 99
-
Software Rejuvenation for Higher Levels of VoIP Availability and Mean Time to FailureKoutras, Vasilis P. / Salagaras, Christoforos-Panagiotis S. / Platis, Agapios N. et al. | 2009
- 107
-
A Model Based Framework for Specifying and Executing Fault Injection ExperimentsOlah, János / Majzik, István et al. | 2009
- 115
-
A Comparison of Structural Testing Strategies Based on Subdomain Testing and Random TestingWorwa, Kazimierz et al. | 2009
- 123
-
Siphon-Based Verification of Component CompatibilityZuberek, Wlodek M. et al. | 2009
- 135
-
Applying Queuing Models for Assessing Network Services Dependability Parameters in Modern Information SystemsBagrij, Lukasz / Michalska, Katarzyna / Woda, Marek et al. | 2009
- 144
-
Ontology Oriented Threat Detection System (OOTDS)Banczyk, Karol / Krawczyk, Henryk et al. | 2009
- 152
-
Inconsistent State Analysis of a Network Receiver with Colored Petri NetsBouali, Mohamed / Barger, Pavol / Schon, Walter et al. | 2009
- 160
-
Dependability of Large Reconfigurable Information SystemsCaban, Dariusz et al. | 2009
- 168
-
Node Evaluation in the Chord P2P SystemsCichon, Jacek / Cichon, Krzysztof / Kobylanski, Przemyslaw et al. | 2009
- 176
-
Relational Approach Towards Feasibility Performance for Routing Algorithms in Wireless Sensor NetworkNikodem, Jan et al. | 2009
- 184
-
Efficiency Analysis in Communication Networks Topology DesignSzlachcic, Ewa / Mlynek, Jacek et al. | 2009
- 192
-
Detecting Botnets in Computer Networks Using Multi-agent TechnologySzymczyk, Miroslaw et al. | 2009
- 202
-
Job and Application-Level Scheduling: An Integrated Approach for Achieving Quality of Service in Distributed ComputingToporkov, Victor V. / Toporkova, Anna / Tselishchev, Alexey / Yemelyanov, Dmitry et al. | 2009
- 210
-
Data Mining Techniques for Semi-automatic Signature GenerationTylman, Wojciech et al. | 2009
- 218
-
Information Systems Performance Analysis Using Task-Level SimulatorWalkowiak, Tomasz et al. | 2009
- 229
-
Model-Based Diagnostic Using Model CheckingBourahla, Mustapha et al. | 2009
- 237
-
On the Use of Dynamic Binary Instrumentation to Perform Faults Injection in Transaction Level ModelsFarina, Antonio da Silva / Prieto, Sebastián Sánchez et al. | 2009
- 245
-
Fault-Masking Capabilities of Basic Circuit StructuresFechner, Bernhard et al. | 2009
- 254
-
A Tool for Dependable and Distributable PresentationsFechner, Bernhard / Korber, Oliver et al. | 2009
- 261
-
On Hardware and Software Implementation of Arithmetic in Finite Fields of Characteristic 7 for Calculation of PairingsGashkov, Sergei / Bolotov, Anatoli / Burtzev, Alexej / Frolov, Alexander / Zhebet, Sergei et al. | 2009
- 271
-
A Consistency Model for Distributed Virtual Reality SystemsKharitonov, Vasily Y. et al. | 2009
- 279
-
On Complexity of Coordination of Parallel Graph Transformations in GRADIS FrameworkKotulski, Leszek / Sedziwy, Adam et al. | 2009
- 290
-
Application of Computations with Calculation Error Exclusion for Computation Geometry AlgorithmsOrlov, Dmitry et al. | 2009
- 296
-
Analysis of Possibilities and Effectiveness of Combine Rough Sets and Neighborhood Theories for Solving Dynamic Scheduling ProblemPiech, Henryk et al. | 2009
- 304
-
The Use of Heuristics in Creating Speculation StrategyPiech, Henryk / Gornik, Urszula et al. | 2009
- 315
-
Selection of Tripping Times for Distance Protection Using Probabilistic Fault Trees with Time DependenciesBabczynski, Tomasz / Lukowicz, Miroslaw / Magott, Jan et al. | 2009
- 324
-
A Domain Specific Language in Dependability AnalysisKowalski, Marcin / Wilkosz, Kazimierz et al. | 2009
- 332
-
Reliability Centered Maintenance of Repairable EquipmentMaciejewski, Henryk et al. | 2009
- 340
-
Operational Availability of Railway Dispatch Communication SystemSiergiejczyk, Miroslaw et al. | 2009
- 348
-
Modifying Markov Models of Ageing Equipment for Modeling Changes in Maintenance PoliciesSugier, Jaroslaw / Anders, George J. et al. | 2009
- 356
-
Spectral Graph Theory and Network DependabilityTorres, Alvaro / Anders, George et al. | 2009
- 364
-
Analysis of Critical Situations in Discrete Transport SystemsWalkowiak, Tomasz / Mazurkiewicz, Jacek et al. | 2009
- 373
-
Author index| 2009
- 376
-
Roster Page| 2009
- C1
-
Cover Art| 2009
- i
-
Title Page i| 2009
- iii
-
Title Page iii| 2009
- iv
-
Copyright Page| 2009
- ix
-
Preface| 2009
- v
-
Table of Contents| 2009
- xii
-
Program Committee| 2009
- xiv
-
Organizing Committee| 2009
- xv
-
Reviewers| 2009