An Architecture for Self-Awareness Experiments

There are many open challenges and current / future research directions for self-aware systems. We have shown that self-modeling systems address many of them, but we have not yet seen many replicable experiments that allow methods and results to be shared. In this paper, we describe an architecture for self-modeling systems, and how we expect to use it for experiments in self-awareness. These experiments support a system development and verification process that extends from system conception / definition time through run time operation.Self-Modeling, like Self-Awareness, is an approach to reach a goal, not an end in itself. The goal is survivability in difficult environments, and as much operational competence as possible. We think that run-time models are a minimum necessity for significant self-awareness, and our architecture makes significant use of them throughout.The theme for this paper: this is a beginning description of a reference architecture for a software controlled system that allows / encourages infrastructure analysis and performance prediction. It facilitates the evaluation of design choices at system definition time, so we can then specialize it to the expected run-time environment and specified run-time behavior constraints without losing the capability to "re-specialize" the architecture when the environmental conditions change.

[1]  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.

[2]  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.

[3]  Jeffrey C. Mogul,et al.  Measured capacity of an Ethernet: myths and reality , 1988, CCRV.

[4]  N. Watkins Mandelbrot's 1/f fractional renewal models of 1963-67: The non-ergodic missing link between change points and long range dependence , 2016, 1603.00738.

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

[6]  C. Landauer Network and protocol modeling tools , 1984 .

[7]  Christopher Landauer,et al.  Programming Paradigms for Real-Time Systems , 2014, 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[8]  Jesper Andersson,et al.  FORMS: Unifying reference model for formal specification of distributed self-adaptive systems , 2012, TAAS.

[9]  Sanford Friedenthal,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2008 .

[10]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

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

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

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

[14]  Peter H. Feiler,et al.  Model-Based Engineering with AADL , 2012 .

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

[16]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[17]  Kirstie L. Bellman An approach to integrating and creating flexible software environments supporting the design of complex systems , 1991, 1991 Winter Simulation Conference Proceedings..

[18]  John F. Shoch,et al.  Measured performance of an Ethernet local network , 1980, CACM.

[19]  Christopher Landauer,et al.  Semiotics of constructed complex systems , 1996 .

[20]  Neil D. Jones,et al.  An introduction to partial evaluation , 1996, CSUR.

[21]  Ada Diaconescu,et al.  The Notion of Self-aware Computing , 2017, Self-Aware Computing Systems.

[22]  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).

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

[24]  Sylvain Frey,et al.  A Holonic Control Architecture for a Heterogeneous Multi-Objective Smart Micro-Grid , 2013, 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems.

[25]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[26]  Jay M. Berger,et al.  A New Model for Error Clustering in Telephone Circuits , 1963, IBM J. Res. Dev..

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

[28]  Ada Diaconescu,et al.  Incentive-oriented Task Assignment in Holonic Organic Systems , 2017 .

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

[30]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[31]  Ada Diaconescu,et al.  Holonic Institutions for Multi-scale Polycentric Self-governance , 2014, COIN@AAMAS/PRICAI.

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

[33]  Robin Milner,et al.  Concurrent Processes and Their Syntax , 1979, JACM.