Models and Methodologies for Embedded Real-time System Design

在过去的几十年里，软件工程工具的发展改变了这一领域。这在嵌入式系统中还没有发生，自1970年代的S以来，在一些设计过程中几乎没有什么进步。我的研究旨在为嵌入式系统和嵌入式软件的开发创造新的工具、框架和过程，将创造过程推向更高层次的抽象。这样的工作的潜在影响是无限的，可能会导致嵌入式系统设计的一场革命，这不仅对研究，而且对教育和工业都有好处。

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.