Filters








4 Hits in 6.9 sec

Towards a verification of the rule-based expert system of the IBM SA for OS/390 Automation Manager

C. Sinz, W. Kuchlin, T. Lumpp
Proceedings Second Asia-Pacific Conference on Quality Software  
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

Carsten Sinz, Thomas Lumpp, Jürgen Schneider, Wolfgang Küchlin
2002 Information and Software Technology  
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  
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]

David A. Wheeler
2010 arXiv   pre-print
, 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