Expert system verification and validation: a survey and tutorial

Constructing highway pavements faces complex problems, which are affected by multiple factors, where solution is nearly impossible without expert assistance. Diagnosing such construction problems and suggesting most suitable cost efficient solutions requires significant engineering expertise, which might not be available in all construction sites due to inadequate resource and remote locations. Developing an expert system in this domain is a very effective way to help novice engineers to overcome these problems and to learn about them. Moreover, the system can be used as an archive to document engineering knowledge and to share expertise among the experts in this domain. This article describes the development and evaluation stages of such a system, including knowledge acquisition, knowledge representation, system building, and system verification and validation. The initial knowledge is acquired from literature reviews. More expert knowledge is elicited through interviews and questionnaires. This knowledge is documented, analyzed, represented, and converted to computer software using the Visual Basic programming language and the system is called ES-CCPRHP. The system has been verified and validated in three ways: by extensive testing, comparison between system performance and expert reasoning, and case study. It can therefore be employed with confidence by end users.

Download Full-text

A Stress Testing Framework For Autonomous System Verification And Validation (V&V)

10.1109/icas49788.2021.9551154 ◽

2021 ◽

Author(s):

Gregory Falco ◽

Leilani H. Gilpin

Keyword(s):

Autonomous System ◽

Stress Testing ◽

Verification And Validation ◽

Testing Framework ◽

System Verification

Download Full-text

An Open-Bisimilarity Based Automated Verification Tool for -Calculus Family of Process Calculi

International Journal of Software Science and Computational Intelligence ◽

10.4018/jssci.2012010103 ◽

2012 ◽

Vol 4 (1) ◽

pp. 55-83

Author(s):

Shahram Rahimi ◽

Rishath A. S. Rias ◽

Elham S. Khorasani

Keyword(s):

Expert System ◽

Formal Verification ◽

Interactive Systems ◽

Automated Verification ◽

Efficient System ◽

Verification Tool ◽

Verification Methods ◽

System Verification ◽

And Performance ◽

The Right

The complexity of designing concurrent and highly-evolving interactive systems has grown to a point where system verification has become a hurdle. Fortunately, formal verification methods have arrived at the right time. They detect errors, inconsistencies and incompleteness at early development stages of a system formally modeled using a formal specification language. -calculus (Milner, 1999) is one such formal language which provides strong mathematical base that can be used for verifying system specifications. But manually verifying the specifications of concurrent systems is a very tedious and error-prone work, especially if the specifications are large. Consequently, an automated verification tool would be essential for efficient system design and development. In addition, formal verification tools are vital ingredient to fully harness the potential of component-based software composition. The authors developed such an automated verification tool which is highly portable and seamlessly integrates with the visualization, reduction and performance evaluation tools introduced (Ahmad & Rahimi, 2008; Rahimi, 2006; Rahimi et al., 2001, 2008) to provide a comprehensive tool for designing and analyzing multi process/agent systems. Open-Bisimulation (Sangiorgi, 1996) concept is utilized as the theoretical base for the design and implementation of the tool which incorporates an expert system implemented in Java Expert System Shell (JESS) (Friedman-Hill, 2003).

Download Full-text