CAREER: A Two-Tier Approach for the Analysis and Evolution of High-Integrity Software Product Lines

提案编号：CCR-0133956职业生涯：分析和发展高完整性软件产品线的两层方法PI：Gerald C.该项目的研究部分的目标是开发软件体系结构分析和软件逆向工程技术，以支持现有软件演变成软件产品线，重点是高完整性系统。 为此，本研究将首先涉及一种方法的开发，从体系结构和组件的意见，以支持评估沿着不同的质量属性维度分析软件。 该方法将包括静态和动态分析模型以及模拟，以确定符合质量属性约束的水平。 其次，这项研究将涉及修改和发展软件的体系结构和组件级别的方法，以确保符合不同的质量属性的约束和目标的发展。 对于软件架构社区，这项研究将解决需要的分析方法，使软件架构师评估的程度，软件架构满足各种质量问题。 此外，本研究的结果将促进长期的产品线目标的基础上的软件体系结构的长期发展。 对于软件逆向工程和维护社区，本研究解决了需要的方法，允许软件维护人员确定的程度，支持各种质量属性的个别组件，并提供了一种技术，方便组件修改，以确保遵守质量约束。

Proposal Number: CCR-0133956CAREER: A Two-Tier Approach for the Analysis and Evolution of High-Integrity Software Product LinesPI: Gerald C. GannodThe objective of the research component of this project is to develop software architecture analysis and software reverse engineering techniques that support the evolution of existing software into software product lines with an emphasis on high-integrity systems. To this end, this research will first involve the development of an approach for analyzing software from both the architecture and component views in order to support assessment along different quality attribute dimensions. The approach will consist of models for static and dynamic analysis as well as simulation to determine level of compliance with quality attribute constraints. Second, this research will involve the development of a methodology for modifying and evolving software at both the architecture and component levels in order to ensure compliance with different quality attribute constraints and goals. For the software architecture community, this research will address a need for analysis approaches that allow software architects to assess the extent to which a software architecture meets various quality concerns. In addition, the results of this research will facilitate the long-term evolution of a software architecture based on long-term product-line goals. For the software reverse engineering and maintenance community, this research addresses the need for approaches that allow a software maintainer to determine the extent of the support for various quality attributes by individual components and provides a technique that facilitates component modification in order to ensure compliance to quality constraints.