Testing embedded complex applications- modeling methodology and experimental environment

测试嵌入式复杂应用程序 - 建模方法和实验环境

• 批准号: 203425-2006
• 负责人: Benyahia, Ilham
• 金额: $ 1.04万
• 依托单位: Québec en Outaouais
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2008
• 资助国家: 加拿大
• 起止时间: 2008-01-01 至 2009-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=392828
• 关键词: Testing; embedded; complex; applications; modeling

Recent technological innovations in information acquisition, processing and transmission have encouraged the development of complex applications integrating hardware components. Such applications interact with environments characterized by perturbations (noises, faults, etc.) that can cause performance degradation during runtime. Despite the importance of these embedded complex applications, their development methodologies still fail to guarantee and optimize the required quality of service (QoS) even when adaptive and architecture reconfiguration techniques are considered at the design phase. The main reason is that the total package of components is not taken into account during design and development. This applies especially to hardware components: real hardware components are too costly to be used for testing purposes, and the rapid technological evolution of hardware components makes them difficult to simulate with existing software modeling methodologies. The purpose of our research is to study and develop a methodology for specification and modeling of software and hardware components that compose complex applications. We will investigate the impact of evolutionary processing to optimize the QoS of these components and make them adaptive to changes in their environment. Our study will contain inevitably experimental dimensions since we simulate behavior changes in the environments of components to define strategies that will maintain the QoS of these components. To define our methodology we combine and extend well-established methodologies in object software engineering such as HRT-HOOD, with evolutionary and simulation techniques.  We develop a generic testbed to test evolutionary techniques on various components. Then, we validate our experiments on real hardware components. To provide more powerful adaptive software capabilities, we test component results on entire complex applications defined from our development framework.

信息获取、处理和传输方面的最新技术革新促进了集成硬件组件的复杂应用的发展。这些应用程序与以扰动（噪声、故障等）为特征的环境相互作用。这可能导致运行时性能下降。尽管这些嵌入式复杂的应用程序的重要性，他们的开发方法仍然无法保证和优化所需的服务质量（QoS），即使自适应和架构重新配置技术被认为是在设计阶段。主要原因是在设计和开发过程中没有考虑组件的整体包装。这尤其适用于硬件组件：真实的硬件组件太昂贵而不能用于测试目的，并且硬件组件的快速技术发展使得它们难以用现有的软件建模方法来模拟。我们的研究目的是研究和开发一种方法，用于组成复杂应用程序的软件和硬件组件的规范和建模。我们将研究进化处理的影响，以优化这些组件的QoS，使它们适应环境的变化。我们的研究将不可避免地包含实验维度，因为我们模拟组件环境中的行为变化，以定义维护这些组件的QoS的策略。为了定义我们的方法，我们结合联合收割机，并扩展完善的方法，在对象软件工程，如HRT-HOOD，进化和模拟techniques. We开发了一个通用的测试平台，以测试各种组件上的进化技术。然后，我们验证我们的实验上的真实的硬件组件。为了提供更强大的自适应软件功能，我们在从我们的开发框架定义的整个复杂应用程序上测试组件结果。