Active System Integrity Fences

This paper describes the architecture of a WrappingBased Self-Modeling System that includes all of the models and processes we have mentioned in our previous papers on the subject of methods for mitigating the effects of the Get Stuck theorems. To make the description more concrete, we have selected a particular application domain example: “active system integrity fences”, that protect and defend a complex computing system or network (called the host system) from all enemies, foreign and domestic. An “active integrity fence” sits on an interface between two system components, with an explicit notion of the characteristics expected in the traffic (in both directions), derived from expectations provided at design time and observations collected at run time. We do not describe a particular host system, since our primary interest is in the protector system, and we expect that it applies to any host system for which we can specify the expected internal interactions. We define the relevant models and processes, and how they interact with each other and with the host system. We also provide a short description of the Wrapping infrastructure that holds the system together and organizes and executes all of its behavior, both protective and mission.

[1]  Stewart W. Wilson.  Generalization in the XCS Classifier System , 1998 .

[2]  Michele Lanza,et al.  Higher Abstractions for Dynamic Analysis , 2006 .

[3]  J. Carbonell,et al.  Learning by Analogy: Formulating and Generalizing Plans from Past Experience , 1983 .

[4]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[5]  Christopher Landauer,et al.  Self-modeling Systems , 2001, IWSAS.

[6]  J. Carbonell.  Learning by Analogy: Formulating and Generalizing Plans from Past Experience , 1983 .

[7]  K. Thompson.  Reflections on trusting trust , 1984, CACM.

[8]  Christopher Landauer,et al.  Generic programming, partial evaluation, and a new programming paradigm , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[9]  Gregory T. Sullivan.  Dynamic Partial Evaluation , 2001, PADO.

[10]  Stewart W. Wilson.  Classifier Fitness Based on Accuracy , 1995, Evolutionary Computation.

[11]  David A. Huffman,et al.  A method for the construction of minimum-redundancy codes , 1952, Proceedings of the IRE.

[12]  Alex M. Andrew,et al.  Intelligent Systems: Architecture, Design, and Control , 2002 .

[13]  Paolo Arcaini,et al.  Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation , 2015, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

[14]  Olivier Danvy,et al.  Partial evaluation , 2003 .

[15]  Christopher Landauer,et al.  An Architecture for Self-Awareness Experiments , 2017, 2017 IEEE International Conference on Autonomic Computing (ICAC).

[16]  Christopher Landauer,et al.  Modeling spaces for real-time embedded systems , 2013, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013).

[17]  Christopher Landauer.  Infrastructure for Studying Infrastructure , 2013, ESOS.

[18]  H. Matthews.  To a louse. , 1975, North Carolina medical journal.

[19]  Olivier Danvy,et al.  Tutorial notes on partial evaluation , 1993, POPL '93.

[20]  Robert Tibshirani,et al.  The Elements of Statistical Learning: Data Mining, Inference, and Prediction, 2nd Edition , 2001, Springer Series in Statistics.

[21]  Christopher Landauer,et al.  Mitigating the Inevitable Failure of Knowledge Representation , 2017, 2017 IEEE International Conference on Autonomic Computing (ICAC).

[22]  Nicolas Marchand,et al.  Feedback Control as MAPE-K Loop in Autonomic Computing , 2013, Software Engineering for Self-Adaptive Systems.

[23]  Phyllis R. Nelson,et al.  Managing Variable and Cooperative Time Behavior , 2010, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

[24]  도경구,et al.  Partial Evaluation , 1998, Lecture Notes in Computer Science.

[25]  James S. Albus,et al.  Engineering of Mind: An Introduction to the Science of Intelligent Systems , 2001 .

[26]  Jan van Leeuwen,et al.  On the Construction of Huffman Trees , 1976, ICALP.

[27]  Christopher Landauer,et al.  Model-Based Cooperative System Engineering and Integration , 2016, 2016 IEEE International Conference on Autonomic Computing (ICAC).