The Community for Technology Leaders
Dependability of Computer Systems, International Conference on (2007)
Szklarska Poreba, Poland
June 14, 2007 to June 16, 2007
ISBN: 0-7695-2850-3
TABLE OF CONTENTS
Introduction

Preface (PDF)

pp. xi

Reviewers (PDF)

pp. xviii
1. Modelling

Semiformal Approach to the IT Security Development (Abstract)

Andrzej Bialas , Institute of Innovations and Information Society, Katowice, Wita Stwosza 7, Poland
pp. 3-10

Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems (Abstract)

M. Cheminod , IEIIT-CNR, Italy
R. Sisto , Politecnico di Torino, Italy
A. Valenzano , IEIIT-CNR, Italy
I. Cibrario Bertolotti , IEIIT-CNR, Italy
L. Durante , IEIIT-CNR, Italy
pp. 11-18

Evaluation of MDA/PSM database model quality in the context of selected non-functional requirements (Abstract)

Iwona Dubielewicz , Wroclaw University of Technology
Bogumila Hnatkowska , Wroclaw University of Technology
Zbigniew Huzar , Wroclaw University of Technology
Lech Tuzinkiewicz , Wroclaw University of Technology
pp. 19-26

An Overlay Simulator for Interdependent Critical Information Infrastructures (Abstract)

Alpha A. Diallo , GET/Telecom Paris (ENST), LTCI-UMR 541 CNRS, France
Sandrine Duflos , GET/Telecom Paris (ENST), LTCI-UMR 541 CNRS, France
Gwendal Le Grand , GET/Telecom Paris (ENST), LTCI-UMR 541 CNRS, France
pp. 27-34

The Influence of Relations among Different Levels of UML Diagrams onto Software Maintenance (Abstract)

Leszek Kotulski , AGH University of Science and Technology
Dariusz Dymek , Cracow University of Economics, Poland
pp. 35-42

Multi-version Information Technologies and Development of Dependable Systems out of Undependable Components (Abstract)

Andriy V. Volkoviy , National aerospace university
Vladimir V. Sklyar , National aerospace university
Vyacheslav S. Kharchenko , National aerospace university
pp. 43-50

Assurance of System Consistency During Independent Creation of UML Diagrams (Abstract)

Lukasz Fryz , AGH University of Science and Technology, Poland
Leszek Kotulski , AGH University of Science and Technology, Poland
pp. 51-58

Using Distributed Multilevel Agent-based Monitoring Technique for Automated Network Modelling Approach (Abstract)

Lukasz Bagrij , Wroclaw Univrsity of Technology, Poland
Katarzyna Nowak , Wroclaw Univrsity of Technology, Poland
pp. 61-72

Investigation Multi-State System Reliability by Structure Function (Abstract)

Elena Zaitseva , University of Zilina, Zilina, Slovakia
Vitaly Levashenko , University of Zilina, Zilina, Slovakia
pp. 81-90
2. Methodology and Tools

Supporting Compliance with Security Standards by Trust Case Templates (Abstract)

Lukasz Cyra , Technical University of Gdansk, Poland
Janusz G?rski , Technical University of Gdansk, Poland
pp. 91-98

Transient Fault Detection in State-Automata (Abstract)

Andre Osterloh , Fern Universitat in Hagen
Bernhard Fechner , Fern Universitat in Hagen
pp. 99-106

Technique for Analyzing Items Reliability by Simulating Their Behaviour over Time Intervals (Abstract)

S.G. Yankov , Moscow Power Engineering Institute
I.I. Ladygin , Moscow Power Engineering Institute
pp. 115-118

Testing Duration Systems using an approximation method (Abstract)

Lotfi MAJDOUB , LIP2 Laboratory and Tunisia Polytechnic School
Riadh ROBBANA , LIP2 Laboratory and Tunisia Polytechnic School
pp. 119-126

Error Prevention, Detection and Diffusion Algorithms for Cryptographic Hardware (Abstract)

Maciej Nikodem , Wroclaw University of Technology, POLAND
pp. 127-134

Requirement Centric Security Evaluation of Software Intensive Systems (Abstract)

Reijo Savola , VTT Technical Research Centre of Finland
pp. 135-144
3. Dependability of Computer Networks

Detection Methods of Dynamic Spammers? Behavior (Abstract)

Henryk Krawczyk , Gdansk University of Technology
Radoslaw Brendel , Gdansk University of Technology
pp. 145-152

Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols (Abstract)

I. Cibrario Bertolotti , IEIIT-CNR, Italy
A. Valenzano , IEIIT-CNR, Italy
R. Sisto , Politecnico di Torino, Italy
M. Cheminod , IEIIT-CNR, Italy
L. Durante , IEIIT-CNR, Italy
pp. 153-160

Methods and Tools for Reasoning by Analogy in Intelligent Decision Support Systems (Abstract)

Alexandr P. Eremeev , Moscow Power Engineering Institute, Russia
Pavel R. Varshavsky , Moscow Power Engineering Institute, Russia
pp. 161-168

Dependability analysis of reconfigurable information systems (Abstract)

Przemyslaw Krekora , Wroclaw University of Technology
Dariusz Caban , Wroclaw University of Technology
pp. 177-184

Intrusion Detection and Internet Services Failure Reporting System (Abstract)

Bartosz Sakowicz , Department of Microelectronics and Computer Science
Przemyslaw Nowak , Department of Microelectronics and Computer Science
George Anders , Department of Microelectronics and Computer Science
Andrzej Napieralski , Department of Microelectronics and Computer Science
pp. 185-190

Reliability of e-mail delivery in the era of spam (Abstract)

Tomasz R. Surmacz , Wroclaw University of Technology
pp. 198-204

Incident Detection and Analysis in Communication and Information Systems by Fuzzy Logic (Abstract)

Tomasz Walkowiak , Wroclaw University of Technology
Tomasz Wilk , Wroclaw University of Technology
pp. 205-212

Maintenance Policy of a Network with Traffic Reconfiguration (Abstract)

Dariusz Caban , Wroclaw University of Technology
Wojciech Zamojski , Wroclaw University of Technology
pp. 213-222
4. Software Security and Dependability

Dependability in Software Component Deployment (Abstract)

Meriem Belguidoum , ENST Bretagne Brittany, France
Fabien Dagnat , ENST Bretagne Brittany, France
pp. 223-230

An Artificial Immune System Approach for Fault Prediction in Object-Oriented Software (Abstract)

Bulent Ozumut , TUBITAK-Marmara Research Center, Information Technology Institute, TURKEY
Cagatay Catal , TUBITAK-Marmara Research Center, Information Technology Institute, TURKEY
Banu Diri , Yildiz Technical University, Dept. of Computer Engineering, TURKEY
pp. 238-245

Towards Reliability and Fault-Tolerance of Distributed Stream Processing System (Abstract)

Pawel Marks , Silesian University of Technology
Marcin Gorawski , Silesian University of Technology
pp. 246-253

A Hardware-Based Software Protection Systems - Analysis of Security Dongles with Time Meters (Abstract)

Krzysztof Marczak , Wroclaw University of Technology
Ireneusz J. Jozwiak , Wroclaw University of Technology
pp. 254-261

VoIP Availability and Service Reliability through Software Rejuvenation Policies (Abstract)

A. N. Platis , University of the Aegean, Chios, Greece
V. P. Koutras , University of the Aegean, Chios, Greece
pp. 262-269

Error Recovery Problems (Abstract)

P. Gawkowski , Warsaw University of Technology
A. Lesiak , Warsaw University of Technology
J. Sosnowski , Warsaw University of Technology
pp. 270-277

Analysis of Timing Requirements for Intrusion Detection System (Abstract)

Pawel Skrobanek , Wroclaw University of Technology, Wroclaw, Poland
Marek Woda , Wroclaw University of Technology, Wroclaw, Poland
Jan Magott , Wroclaw University of Technology, Wroclaw, Poland
pp. 278-285

Verification of Component Behavioral Compatibility (Abstract)

W.M. Zuberek , Memorial University
D.C. Craig , Memorial University
pp. 294-304
5. Applications

Problem of Model Selection for Estimation of Equipment Remaining Life (Abstract)

George Anders , Lodz University of Technology, Poland
Henryk Maciejewski , Wroclaw University of Technology, Poland
pp. 309-315

Building a predictive model from data in high dimensions with application to analysis of microarray experiments (Abstract)

Henryk Maciejewski , Wroclaw University of Technology, Poland
Lukasz Konarski , Wroclaw University of Technology, Poland
pp. 316-323

Development of distributed planner for decision support systems (Abstract)

W. Fengler , Technical University Ilmenau
A.P. Eremeev , Moscow Power Engineering Institute
A. Yu. Nedelina , Moscow Power Engineering Institute
pp. 324-330

Performance Analysis of System of 3D Scenes Networked Parallel Dynamic Visualization (Abstract)

Dmitry Orlov , Undergraduate student of Moscow Power Engineering Institute
pp. 331-335

Modeling Changes in Maintenance Activities through Fine-Tuning Markov Models of Ageing Equipment (Abstract)

Jaroslaw Sugier , Wroclaw Univ. of Technology, Poland
George J. Anders , Technical Univ. of Lodz, Poland
pp. 336-343

The Effect of Large Clock Drifts on Performance of Event and Time Triggered Network Interfaces (Abstract)

Janusz Zalewski , Warsaw University of Technology
Dawid Trawczynski , Warsaw University of Technology
Janusz Sosnowski , Warsaw University of Technology
pp. 344-351

Discrete transport system simulated by SSF for reliability and functional analysis (Abstract)

Jacek Mazurkiewicz , Wroclaw University of Technology
Tomasz Walkowiak , Wroclaw University of Technology
pp. 352-359

The SCSI interface conformance tests generation (Abstract)

Janusz Sosnowski , Warsaw University of Technology
Slawomir Zielski , Warsaw University of Technology
pp. 360-367

Methodology for Analysis of Networks Performance (Abstract)

Abrosimov Leonid , Moscow Power Engineering Institute
pp. 368-376
Author Index

Author Index (PDF)

pp. 377
90 ms
(Ver )