Verification and Validation of Complex Systems: Human Factors Issues
Verification and Validation of Complex Systems: Human Factors Issues

Author: John A. Wise

Publisher: Springer Science & Business Media

Published: 2013-06-29

Total Pages: 682

ISBN-13: 3662029332

DOWNLOAD EBOOK

Despite its increasing importance, the verification and validation of the human-machine interface is perhaps the most overlooked aspect of system development. Although much has been written about the design and developmentprocess, very little organized information is available on how to verifyand validate highly complex and highly coupled dynamic systems. Inability toevaluate such systems adequately may become the limiting factor in our ability to employ systems that our technology and knowledge allow us to design. This volume, based on a NATO Advanced Science Institute held in 1992, is designed to provide guidance for the verification and validation of all highly complex and coupled systems. Air traffic control isused an an example to ensure that the theory is described in terms that will allow its implementation, but the results can be applied to all complex and coupled systems. The volume presents the knowledge and theory ina format that will allow readers from a wide variety of backgrounds to apply it to the systems for which they are responsible. The emphasis is on domains where significant advances have been made in the methods of identifying potential problems and in new testing methods and tools. Also emphasized are techniques to identify the assumptions on which a system is built and to spot their weaknesses.

Industrial and Engineering Applications or Artificial Intelligence and Expert Systems
Industrial and Engineering Applications or Artificial Intelligence and Expert Systems

Author: Takushi Tanaka

Publisher: CRC Press

Published: 1997-01-30

Total Pages: 838

ISBN-13: 9789056995249

DOWNLOAD EBOOK

This volume includes the proceedings from Proceedings of the Ninth International Conference Fukuoka, Japan, June 4-7, 1996. This work represents a broad spectrum of new ideas in the field of applied artificial intelligence and expert systems, and serves to disseminate information regarding intelligent methodologies and their implementation in solving various problems in industry and engineering.

Maintenance of Knowledge-based Systems
Maintenance of Knowledge-based Systems

Author: Frans Coenen

Publisher:

Published: 1993

Total Pages: 360

ISBN-13:

DOWNLOAD EBOOK

The practical take-up of Knowledge Based Systems (KBSs) is usually described as disappointing. One explanation of the reluctance of organisations to make a real commitment to these systems stems from the lack of well-defined techniques to engineer them in an acceptable manner. Without the assurance of quality that can be given by the use of a proven methodology, the risk of investing substantially in these systems will remain a risk too great to be taken. One of the chief manifestations of the lack of these techniques is that it is impossible to say with any assurance that it will be possible to maintain the systems so that their useful life can be extended. This book is concerned with the maintenance of KBSs, providing a balance between the academic and the practical, and containing analysis of tools developed in a research project. The intention of the book is to move from very general concerns available to all systems through to specific techniques and tools designed to address particular problems in particular representations, before concluding with some more general remarks. This book is essential reading for anyone, whether in a commercial or academic environment who wishes to build a serious Knowledge Based System that will continue to be used over a period of time. * SPECIAL FEATURES: * Building a Knowledge Based System is not the end of the story: the system must be used, and during its period of use, theknoledge on which it relies will change and develop. A Knowledge Based Ssystem that is not to become rapidly obselete must change and develop with it. * This book addresses this neglected area of maintenance, emhasising the specific maintenance tasks required by a Knowledge Based System. * The book provides a balance between the academic and the practical, and containg analysis of tools developed in a research project.

Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

Author: Graham F. Forsyth

Publisher: CRC Press

Published: 1995-08-08

Total Pages: 888

ISBN-13: 9782884491983

DOWNLOAD EBOOK

In the areas of industry and engineering, AI techniques have become the norm in sectors including computer-aided design, intelligent manufacturing, and control. Papers in this volume represent work by both computer scientists and engineers separately and together. They directly and indirectly represent a real collaboration between computer science and engineering, covering a wide variety of fields related to intelligent systems technology ranging from neural networks, knowledge acquisition and representation, automated scheduling, machine learning, multimedia, genetic algorithms, fuzzy logic, robotics, automated reasoning, heuristic searching, automated problem solving, temporal, spatial and model-based reasoning, clustering, blackboard architectures, automated design, pattern recognition and image processing, automated planning, speech recognition, simulated annealing, and intelligent tutoring, as well as various computer applications of intelligent systems including financial analysis, artificial

Validation and Verification of Knowledge Based Systems
Validation and Verification of Knowledge Based Systems

Author: Anca Vermesan

Publisher: Springer Science & Business Media

Published: 2013-04-17

Total Pages: 363

ISBN-13: 1475769164

DOWNLOAD EBOOK

Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBS has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJACI and ECAI. Validation and Verification of Knowledge Based Systems contains a collection of papers, dealing with all aspects of KBS V&V, presented at the Fifth European Symposium on Verification and Validation of Knowledge Based Systems and Components (EUROVAV'99 - which was held in Oslo in the summer of 1999, and was sponsored by Det Norske Veritas and the British Computer Society's Specialist Group on Expert Systems (SGES).