Complex Systems and Dependability -

. .

Résumé :
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.

Sommaire:
From the Contents: Validation of the software supporting information security and business continuity management processes.-A functional testing toolset and its application to development of dependable avionics software.-Specification Means Definition for the Common Criteria Compliant Development Process - an Ontological Approach.-Real-Time Gastrointestinal Tract Video Analysis on a Cluster Supercomputer.-Detection of anomalies in a SOA system by learning algorithms.-Service availability model to support reconfiguration.-On some statistical aspects of software testing and reliability.-Generalizing the signature to systems with multiple types of components.