HDCCSR: Software Self-Awareness Using Dynamic Analysis and Markov Models
HDCCSR:使用动态分析和马尔可夫模型的软件自我意识
基本信息
- 批准号:0429117
- 负责人:
- 金额:$ 32万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2004
- 资助国家:美国
- 起止时间:2004-09-15 至 2008-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
长寿命的自主软件系统需要持续的自我评估,这意味着预期和实际刺激之间的比较,作为自我诊断和修复的先决条件。本计画探讨动态分析与机器学习技术在行为分类上的应用。拟议的工作将-通过探索如何最有效地应用机器学习技术来改善自我评估过程,解决可靠的基于软件的计算系统中的基础研究和教育问题;-以原型工具或方法的形式开发研究产品,应用马尔可夫模型和聚类分析, 程序行为数据评估;-提供适合测量的可靠性属性 研究产品的影响,如 一组马尔可夫模型成功描述软件系统行为的程度;-提供研究产品的经验评估/验证以及相关的测试数据 为了验证该方法的有效性,提出的研究将提供使用马尔可夫模型对行为模型进行编码的经验数据,以及用于执行进一步实验的方法和基础设施,由此产生的为软件提供行为模型以帮助自我意识的技术将促进实时系统开发的研究。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Mary Harrold其他文献
Mary Harrold的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Mary Harrold', 18)}}的其他基金
I-Corps: Tarantula Testing and Debugging System
I-Corps:狼蛛测试和调试系统
- 批准号:
1245911 - 财政年份:2012
- 资助金额:
$ 32万 - 项目类别:
Standard Grant
Automatic Fault Localization Using Statistics and Visualization: An Empirical Research Program
使用统计和可视化的自动故障定位:实证研究计划
- 批准号:
0541049 - 财政年份:2006
- 资助金额:
$ 32万 - 项目类别:
Continuing Grant
Group Travel Grant for Faculty at Minority Institutions to Attend FSE-12
为少数族裔机构教员参加 FSE-12 提供团体旅行补助金
- 批准号:
0441530 - 财政年份:2004
- 资助金额:
$ 32万 - 项目类别:
Standard Grant
Collaborative Research: Scalable Integration Testing of Object-Oriented Software: An Empirical Research Program
协作研究:面向对象软件的可扩展集成测试:实证研究计划
- 批准号:
0306372 - 财政年份:2003
- 资助金额:
$ 32万 - 项目类别:
Continuing Grant
Collaborative Research: ITR: Acquiring Accurate Dynamic Field Data Using Lightweight Instrumentation
合作研究:ITR:使用轻型仪器获取准确的动态场数据
- 批准号:
0205422 - 财政年份:2002
- 资助金额:
$ 32万 - 项目类别:
Standard Grant
Collaborative Research: MASSA: Mobile Agent System Security Through Analysis
合作研究:MASSA:移动代理系统安全分析
- 批准号:
0209322 - 财政年份:2002
- 资助金额:
$ 32万 - 项目类别:
Continuing Grant
Data-Flow Analysis of Large Software Systems
大型软件系统的数据流分析
- 批准号:
9988294 - 财政年份:2000
- 资助金额:
$ 32万 - 项目类别:
Continuing Grant
NSF Young Investigator: Testing Object-Oriented Programs
NSF 青年研究员:测试面向对象的程序
- 批准号:
0096321 - 财政年份:1999
- 资助金额:
$ 32万 - 项目类别:
Continuing Grant
Scalable Program-Analysis-Based Testing and Maintenance: Infrastructure and Experimentation
可扩展的基于程序分析的测试和维护:基础设施和实验
- 批准号:
0196145 - 财政年份:1999
- 资助金额:
$ 32万 - 项目类别:
Continuing Grant
Scalable Program-Analysis-Based Testing and Maintenance: Infrastructure and Experimentation
可扩展的基于程序分析的测试和维护:基础设施和实验
- 批准号:
9707792 - 财政年份:1997
- 资助金额:
$ 32万 - 项目类别:
Continuing Grant
相似海外基金
AUTOTRACT - Development of interoperable, low-cost, 'self-driving' software platform for tractor manufacturers
AUTOTRACT - 为拖拉机制造商开发可互操作、低成本的“自动驾驶”软件平台
- 批准号:
10057982 - 财政年份:2023
- 资助金额:
$ 32万 - 项目类别:
Collaborative R&D
A Software-as-a-Service for loan origination and full lifecycle loan management with full online and self-service onboarding, configuration and support
用于贷款发放和全生命周期贷款管理的软件即服务,具有完整的在线和自助服务入门、配置和支持
- 批准号:
10060461 - 财政年份:2023
- 资助金额:
$ 32万 - 项目类别:
Collaborative R&D
A Safe and Efficient Framework to Continuous Integration through Repaying Self-Admitted Technical Debt in Software Development
通过偿还软件开发中自我承认的技术债务来实现持续集成的安全高效的框架
- 批准号:
23KJ1589 - 财政年份:2023
- 资助金额:
$ 32万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Using hybrid-AI software to scale delivery and heighten effectiveness of Meee’s FUEL student self-help mental health training programmes
使用混合人工智能软件来扩展 Meee’s FUEL 学生自助心理健康培训计划的交付并提高其有效性
- 批准号:
10043562 - 财政年份:2022
- 资助金额:
$ 32万 - 项目类别:
Grant for R&D
Self-Sketching Domain Specific Accelerators: Build Hardware from Software
自绘制领域特定加速器:从软件构建硬件
- 批准号:
RGPIN-2018-06795 - 财政年份:2022
- 资助金额:
$ 32万 - 项目类别:
Discovery Grants Program - Individual
A Software-Defined Self-Adaptive Wireless Network Design
软件定义的自适应无线网络设计
- 批准号:
RGPIN-2019-05681 - 财政年份:2022
- 资助金额:
$ 32万 - 项目类别:
Discovery Grants Program - Individual
SBIR Phase II: Software Technology for Improved Perception of Speech/Audio to Self Personalize Hearing Aids/Devices
SBIR 第二阶段:改善语音/音频感知以自我个性化助听器/设备的软件技术
- 批准号:
2154649 - 财政年份:2022
- 资助金额:
$ 32万 - 项目类别:
Cooperative Agreement
CAREER: Self-tuning Parallel Software and Systems
职业:自调整并行软件和系统
- 批准号:
2047120 - 财政年份:2021
- 资助金额:
$ 32万 - 项目类别:
Continuing Grant
AI self-learning software that optimises life insurer balance sheets, revealing efficient frontier asset strategies, to boost solvency, return on assets & annuity incomes by 25%.
人工智能自学习软件可优化寿险公司资产负债表,揭示高效的前沿资产策略,提高偿付能力和资产回报率
- 批准号:
10006150 - 财政年份:2021
- 资助金额:
$ 32万 - 项目类别:
Feasibility Studies
A Software-Defined Self-Adaptive Wireless Network Design
软件定义的自适应无线网络设计
- 批准号:
RGPIN-2019-05681 - 财政年份:2021
- 资助金额:
$ 32万 - 项目类别:
Discovery Grants Program - Individual