HDCCSR: Software Self-Awareness Using Dynamic Analysis and Markov Models

长寿命的自主软件系统需要持续的自我评估，这意味着预期和实际刺激之间的比较，作为自我诊断和修复的先决条件。本计画探讨动态分析与机器学习技术在行为分类上的应用。拟议的工作将-通过探索如何最有效地应用机器学习技术来改善自我评估过程，解决可靠的基于软件的计算系统中的基础研究和教育问题;-以原型工具或方法的形式开发研究产品，应用马尔可夫模型和聚类分析， 程序行为数据评估;-提供适合测量的可靠性属性 研究产品的影响，如 一组马尔可夫模型成功描述软件系统行为的程度;-提供研究产品的经验评估/验证以及相关的测试数据 为了验证该方法的有效性，提出的研究将提供使用马尔可夫模型对行为模型进行编码的经验数据，以及用于执行进一步实验的方法和基础设施，由此产生的为软件提供行为模型以帮助自我意识的技术将促进实时系统开发的研究。

Long-lived, autonomous software systems require ongoing self-assessment, which implies a comparison between expected and actualstimuli, as a prerequisite to self-diagnosis and repair. This project addresses the use of dynamic analysis and machinelearning techniques for behavior classification. The proposed work will- address fundamental research and education issues in dependable software-based computing systems by exploring how machine learning techniques can most effectively be applied to improve the self-assessment process;- develop research products in the form of prototype tools or methodologies, applying Markov models and cluster analysis to the assessment of program behavior data;- provide dependability attributes that are suitable for measuring the impact of the research products, such as the extent to which a set of Markov models successfully describes the behavior of a software system;- provide empirical evaluation/validation of the research products together with associated test data to validate the effectiveness of the approachThe proposed research will provide empirical data on the use of Markov models to encode behavioral models, and methodologiesand infrastructure for use in performing further experimentation.The resulting techniques for provisioning software with behavior models to aid in self-awareness will promote research on development of real-time systems.