Building and Monitoring Models of the Environment

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

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.