A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
Towards a verification of the rule-based expert system of the IBM SA for OS/390 Automation Manager
Proceedings Second Asia-Pacific Conference on Quality Software
Preserved Fulltext
We formally verify consistency aspects of the rule-based expert system of IBM's System Automation software for IBM's e-server zSeries. ...
In our experiments we could reveal some inconsistencies and, after correcting them, we successfully verified a non-looping property for a part of the expert system. 1 For more information on SA see ...
In our paper, we investigate the rule-based expert system of IBM's System Automation (SA) solution for OS/390. 1 This system is used by major companies of practically all industrial sectors to automate ...
doi:10.1109/apaqs.2001.990042
dblp:conf/apaqs/SinzKL01
fatcat:dwrbyrciunaw3pdpfh6ga6bmlu
Detection of dynamic execution errors in IBM system automation's rule-based expert system
2002
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. ...
Our main goal is the detection of infinite computations (or loops) in the rule-based central control instance of SA, called Automation Manager. ...
In our paper, we investigate the rule-based expert system of IBM's System Automation (SA) solution for OS/390. In our case, the rules are of a when-then form. ...
doi:10.1016/s0950-5849(02)00120-9
fatcat:4h4ipan5pbduljz7dftvqgx4ay
Page 614 of IBM Systems Journal Vol. 43, Issue 3
[page]
IBM Systems Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Kiichlin, “Towards a Verifica- tion of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager,” Proceedings of the 2nd Asia- Pacific Conference on Quality Software (APAQS 2001), Hong ...
especially with respect to the expression of axiomatic knowledge, higher reusability, easier ex- tensibility of the system, and the possibility of for- mal verification of the system. ...
Fully Countering Trusting Trust through Diverse Double-Compiling
[article]
2010
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
, and a large industrial-strength C compiler, GCC), and (3) a description of approaches for applying DDC in various real-world scenarios. ...
of the first compilation. ...
. • Newline NEL (#x85): IBM System/390 operating-system (OS/390) [Malaika2001].Similarly, not all computer systems encode text characters the same way. ...
arXiv:1004.5534v1
fatcat:s7p77pfwonfjpbq3cjscwp6k6q