Complex Systems and Dependability

✍ Scribed by Jacek Baginski, Andrzej Białas (auth.), Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2012
• Tongue: English
• Leaves: 325
• Series: Advances in Intelligent and Soft Computing 170
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages 1-8
Validation of the Software Supporting Information Security and Business Continuity Management Processes....Pages 1-17
A Functional Testing Toolset and Its Application to Development of Dependable Avionics Software....Pages 19-35
Specification Means Definition for the Common Criteria Compliant Development Process – An Ontological Approach....Pages 37-53
Real-Time Gastrointestinal Tract Video Analysis on a Cluster Supercomputer....Pages 55-68
Detection of Anomalies in a SOA System by Learning Algorithms....Pages 69-85
Service Availability Model to Support Reconfiguration....Pages 87-101
On Some Statistical Aspects of Software Testing and Reliability....Pages 103-113
Generalizing the Signature to Systems with Multiple Types of Components....Pages 115-130
Effective Oblivious Transfer Using a Probabilistic Encryption....Pages 131-147
Gap-and-IMECA-Based Assessment of I&C Systems Cyber Security....Pages 149-164
Approach to Methods of Network Services Exploitation....Pages 165-178
Pattern Based Support for Site Certification....Pages 179-193
Integrating the Best 2-Opt Method to Enhance the Genetic Algorithm Execution Time in Solving the Traveler Salesman Problem....Pages 195-208
Representation of Objects in Agent-Based Lighting Design Problem....Pages 209-223
Formal Methods Supporting Agent Aided Smart Lighting Design....Pages 225-239
Computational Support for Optimizing Street Lighting Design....Pages 241-255
Monitoring Event Logs within a Cluster System....Pages 257-271
Implementing AES and Serpent Ciphers in New Generation of Low-Cost FPGA Devices....Pages 273-287
Dependable Strategies for Job-Flows Dispatching and Scheduling in Virtual Organizations of Distributed Computing Environments....Pages 289-304
Controlling Complex Lighting Systems....Pages 305-317
Service Renaming in Component Composition....Pages 319-330
Back Matter....Pages 0--1

✦ Subjects

Computational Intelligence;Complexity;Artificial Intelligence (incl. Robotics)