A novel framework for design and analysis of embedded software with variable constraints

一种用于设计和分析具有可变约束的嵌入式软件的新颖框架

• 批准号: RGPIN-2018-05494
• 负责人: Azim, Akramul
• 金额: $ 1.68万
• 依托单位: University of Ontario Institute of Technology
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2019
• 资助国家: 加拿大
• 起止时间: 2019-01-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=679131
• 关键词: novel; framework; design; analysis; embedded

Modern embedded systems need design considerations for applications that may require changing their behavior over time. To run an application in different situations, embedded systems need to consider different user-driven constraints such as safety, security, or usability, and system-oriented constraints such as cost, timing, energy consumption, and throughput. However, these constraints may oppose each other, and therefore improving one means accepting deterioration in another. For example, physical redundancy might increase safety while also increasing the attack surface and thereby reducing security. Balancing the constraints provides a good performance of the system; however this might not work well for applications in situations that require optimization of a particular constraint or a combination of constraints. The requirement to operate an embedded system in different configurations associated with variable constraints fosters the development of a novel framework composed of a set of innovative design and analysis methods and tools.******Several research problems exist in designing an embedded software with variable constraints. First, selecting an efficient set of design elements and their configurations is challenging because of the evolving requirements of tasks and messages in an application and the presence of a wide variety of embedded systems. Secondly, proper analysis on tolerable delays for variable constraints is required to reduce overprovisioning of resources. The framework will map workloads into different configurations or modes, where each configuration optimizes a particular or a combination of constraints. However, mapping variable constraints to multiple modes may require adaptation of an existing scheduling strategy or a new one. Moreover, an application can provide acceleration of performance upon multiprocessor platforms, but the mapping of workloads to processors requires rigorous analysis. Finally, analytics is necessary to identify uncertainties and generate recommendations for configuration changes or adaptations. The proposed framework for design and analysis of embedded software comprises the following research activities: (1) efficient selection of design elements and their configurations, (2) analyzing delays for workloads with variable constraints, (3) mapping variable constraints to multiple modes, and (4) processing of events and analytics.******Throughout the research process, students will receive specialized training in high-demand embedded software and gain skills which will introduce new embedded software design practices, achieving a closer coupling of user- and system-oriented constraints. The outcomes promise to improve Canadians' ability to gain insights from economically and socially important case studies in domains from consumer electronics to the Internet of Things.

现代嵌入式系统需要为可能需要随着时间改变其行为的应用而设计注意事项。要在不同情况下运行应用程序，嵌入式系统需要考虑不同的用户驱动约束，例如安全性，安全性或可用性以及面向系统的约束，例如成本，时机，能量消耗和吞吐量。但是，这些限制可能相互反对，因此改善一种方法，一种接受另一个的恶化。例如，物理冗余可能会提高安全性，同时增加攻击表面并降低安全性。平衡约束提供了良好的系统性能；但是，对于需要优化特定约束或约束组合的情况下的应用程序，这可能无法很好地工作。与可变约束相关联的不同配置中操作嵌入式系统的要求促进了由一组创新的设计和分析方法和工具组成的新型框架的开发。******在设计具有可变约束的嵌入式软件时，存在一些研究问题。首先，选择一组有效的设计元素及其配置是具有挑战性的，因为在应用程序中任务和消息的需求不断发展，并且存在各种嵌入式系统。其次，需要对可变限制的可容忍延迟进行适当的分析，以减少资源过度提供。该框架将将工作负载映射到不同的配置或模式中，其中每种配置都优化了约束的特定或组合。但是，将变量约束映射到多个模式可能需要适应现有的调度策略或新模式。此外，应用程序可以在多处理器平台上加速性能，但是将工作负载映射到处理器需要严格的分析。最后，分析对于识别不确定性并为配置更改或改编生成建议是必要的。用于设计和分析嵌入软件的设计框架包括以下研究活动：（1）有效选择设计元素及其配置的框架，（2）分析具有可变约束的工作负载的延迟，（（3）将可变约束映射到多个模式，以及（4）在整个研究过程中介绍了较高的范围，请介绍特殊的培训。新的嵌入式软件设计实践，实现了用户和面向系统的约束的紧密耦合。结果有望提高加拿大人从经济和社会上重要的案例研究中从消费电子产品到物联网的案例研究中获得见解的能力。