Building and Monitoring Models of the Environment

环境模型的构建和监测

• 批准号: 0234571
• 负责人: Stephen Fickas
• 金额: $ 39.24万
• 依托单位: University of Oregon Eugene
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-09-15 至 2007-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0234571&HistoricalAwards=false
• 关键词: Building; Monitoring; Models; Environment

The research places dependability analysis in a formal, software engineering process. This process is integrated with the analysis phase, when analysts and domain experts are interacting toformalize models of the artifact, environment and requirements of the system. The research focuses on building accurate, useful, robust models of the environment. The general approach is to look to existing modeling methodologies that center on exploring the environment. Those that show promise, e.g., the strand space methodology used in security models, will be retooled and integrated into the HDCP/MDS testbed.The research also focuses on the environmental assumptions that are made during modeling as a basis for dependability of the deployed system. The research explores the link between assumptions made at analysis time, i.e., the assumptions made about the environment for the system to function correctly, and the actual environment behavior seen at run time (or testing/simulation time).The evaluation of the research will be conducted on a series of projects taken from the HDCP/MDS testbed. Each project will be selected to highlight a separate modeling issue of the environment.

该研究将可靠性分析置于正式的软件工程过程中。这个过程与分析阶段集成在一起，在分析阶段，分析人员和领域专家进行交互，以形式化工件、环境和系统需求的模型。 该研究的重点是建立准确，有用，强大的环境模型。一般的方法是查看现有的以探索环境为中心的建模方法。那些有希望的人，例如，安全模型中使用的串空间方法将被重新组合并集成到HDCP/MDS测试床中。研究还集中在建模过程中所做的环境假设，作为部署系统可靠性的基础。该研究探讨了在分析时所做的假设之间的联系，即，对系统正常运行的环境所做的假设，以及在运行时（或测试/模拟时）看到的实际环境行为。研究的评估将在HDCP/MDS测试平台的一系列项目上进行。每个项目都将被选择来强调环境的单独建模问题。