Models and Methodologies for Embedded Real-time System Design

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

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.