Models and Methodologies for Embedded Real-time System Design

嵌入式实时系统设计的模型和方法

• 批准号: 1796038
• 金额: --
• 依托单位: University of York
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2016
• 资助国家: 英国
• 起止时间: 2016 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-1796038
• 关键词: Models; Methodologies; Embedded; Real; time

Over the last few decades the development of software engineering tools has transformed the field. The same has not happened in embedded systems and there has been little advancement in some design processes since the 1970's. My research aims to create new tools, frameworks and processes for the development of embedded systems and embedded software that moves forward the creation process towards a higher level of abstraction. The potential impact of work like this is limitless and could lead to a revolution in the design of embedded systems, which has benefits not only to research but education and industry alike.

在过去的几十年里，软件工程工具的发展已经改变了这个领域。同样的情况并没有发生在嵌入式系统中，自20世纪70年代以来，在一些设计过程中几乎没有进步。我的研究旨在为嵌入式系统和嵌入式软件的开发创造新的工具、框架和过程，从而将创建过程推向更高的抽象层次。像这样的工作的潜在影响是无限的，可能会导致嵌入式系统设计的革命，这不仅有利于研究，也有利于教育和工业。