A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Validation of highly reliable, real-time knowledge-based systems
1990
Expert systems with applications
Knowledge-based systems have the potential to greatly increase the capabilities of future aircraft and spacecraft and to significantly reduce support manpower needed for the space station and other space missions. However, a credible validation methodology must be developed before knowledge-based systems can be used for life-or mission-critical applications. Experience with conventional software has shown that the use of good software engineering techniques and static analysis tools can greatly
doi:10.1016/0957-4174(90)90085-9
fatcat:wjlv4tnvwnet3dlc6m27vuwzuy