Complex Systems and Dependability

1. Front Matter

   Pages 1-8

   PDF

2. Validation of the Software Supporting Information Security and Business Continuity Management Processes

   • Jacek Baginski, Andrzej Białas

   Pages 1-17

3. A Functional Testing Toolset and Its Application to Development of Dependable Avionics Software

   • Vasily Balashov, Alexander Baranov, Maxim Chistolinov, Dmitry Gribov, Ruslan Smeliansky

   Pages 19-35

4. Specification Means Definition for the Common Criteria Compliant Development Process – An Ontological Approach

   • Andrzej Białas

   Pages 37-53

5. Real-Time Gastrointestinal Tract Video Analysis on a Cluster Supercomputer

   • Adam Blokus, Adam Brzeski, Jan Cychnerski, Tomasz Dziubich, Mateusz Jędrzejewski

   Pages 55-68

6. Detection of Anomalies in a SOA System by Learning Algorithms

   • Ilona Bluemke, Marcin Tarka

   Pages 69-85

7. Service Availability Model to Support Reconfiguration

   • Dariusz Caban, Tomasz Walkowiak

   Pages 87-101

8. On Some Statistical Aspects of Software Testing and Reliability

   • Frank P. A. Coolen

   Pages 103-113

9. Generalizing the Signature to Systems with Multiple Types of Components

   • Frank P. A. Coolen, Tahani Coolen-Maturi

   Pages 115-130

10. Effective Oblivious Transfer Using a Probabilistic Encryption

    • Alexander Frolov

    Pages 131-147

11. Gap-and-IMECA-Based Assessment of I&C Systems Cyber Security

    • Vyacheslav Kharchenko, Anton Andrashov, Vladimir Sklyar, Andriy Kovalenko, Olexandr Siora

    Pages 149-164

12. Approach to Methods of Network Services Exploitation

    • Katarzyna Nowak, Jacek Mazurkiewicz

    Pages 165-178

13. Pattern Based Support for Site Certification

    • Dariusz Rogowski, Przemysław Nowak

    Pages 179-193

14. Integrating the Best 2-Opt Method to Enhance the Genetic Algorithm Execution Time in Solving the Traveler Salesman Problem

    • Sara Sabba, Salim Chikhi

    Pages 195-208

15. Representation of Objects in Agent-Based Lighting Design Problem

    • Adam Sędziwy

    Pages 209-223

16. Formal Methods Supporting Agent Aided Smart Lighting Design

    • Adam Sędziwy, Leszek Kotulski, Marcin Szpyrka

    Pages 225-239

17. Computational Support for Optimizing Street Lighting Design

    • Adam Sędziwy, Magdalena Kozień-Woźniak

    Pages 241-255

18. Monitoring Event Logs within a Cluster System

    • Janusz Sosnowski, Marcin Kubacki, Henryk Krawczyk

    Pages 257-271

19. Implementing AES and Serpent Ciphers in New Generation of Low-Cost FPGA Devices

    • Jarosław Sugier

    Pages 273-287

20. Dependable Strategies for Job-Flows Dispatching and Scheduling in Virtual Organizations of Distributed Computing Environments

    • Victor Toporkov, Alexey Tselishchev, Dmitry Yemelyanov, Alexander Bobchenkov

    Pages 289-304

Typical contemporary complex system is a multifaceted amalgamation of technical, information, organization, software and human (users, administrators and management) resources. Complexity of such a system comes not only from its involved technical and organizational structure but mainly from complexity of information processes that must be implemented in the operational environment (data processing, monitoring, management, etc.). In such case traditional methods of reliability analysis focused mainly on technical level are usually insufficient in performance evaluation and more innovative methods of dependability analysis must be applied which are based on multidisciplinary approach to theory, technology and maintenance of systems operating in real (and very often unfriendly) environments.
This monograph presents selected new developments in such areas of dependability research as system modelling, tools and methodologies for system analysis, data security, secure system design and specific dependability aspects in specialized technical applications. Many practical cases illustrate the universal rule that complexity and multiplicity of system processes, their concurrency and their reliance on embedded intelligence (human and artificial) significantly impedes construction of strict mathematical models and calls for application of intelligent and soft computing methods.

• Complex Systems
• Dependability
• Intelligent and Soft Computing
• Maintenance
• Networks
• Reliability
• Transport
• complexity

• , Institute of Computer Engineering,, Wrocław University of Technology, Wroclaw, Poland

  Wojciech Zamojski, Jarosław Sugier, Tomasz Walkowiak

• Institute of Computer Engineering, Control and Robotics, Wrocław University of Technology, Wrocław, Poland

  Jacek Mazurkiewicz

• Systems Research Instiute, Polish Academy of Sciences, Warszawa, Poland

  Janusz Kacprzyk

Policies and ethics