Next Generation Software: TMO Based Modeling and Design of Reliable Next-Generation Complex Software

下一代软件：基于TMO的可靠的下一代复杂软件建模与设计。近年来由PI制定的时间触发消息触发对象（TMO）结构方案旨在促进基于组件的实时分布式软件工程，以一种广泛的商业软件领域的软件工程师可以轻松适应的形式。它是对传统对象结构方法的语法简单和自然的扩展，但在语义上是强大的扩展。在提议的研究中，PI打算以更通用的形式呈现基于tmo的RT分布式计算应用软件工程方法，并通过系统的大学-工业合作实验研究验证该方法在实际应用环境中的有效性。项目的里程碑包括：面向分层多级规范的形式化tmo结构化建模技术；复杂分布式系统的设计与分析基于c++和Java的TMO结构化RT和分布式编程工具及高级抽象表达商业级RT操作系统中间件模型基于TMO组件的软件系统分析和及时性保证技术和工具移动软件组件动态优化技术实时仿真可视化技术和工具所有这些的演示和验证项目中开发的技术和工具。

EIA-9975053 Kane KimUniversity of California-IrvineNext Generation Software: TMO Based modeling and Design of Reliable Next-Generation Complex Software.The Time-triggered Message-triggered Object (TMO) structuring scheme that has been formulated by the PI's in recent years is intended to facilitate component based real-time distributed software engineering in a form which software engineers in the vast business software field can adapt to, with small efforts. It is a syntactically simple and natural extension, but semantically powerful extension of the conventional object structuring approaches.In the proposed research, the PI's intend to render the TMO-based RT distributed computing application software engineering methodology in a more versatile form and validate the effectiveness of the methodology in real application environments, via a systematic university-industry collaborative experimental study.Among the milestones in the project include establishing: Formalized TMO-structured modeling techniques for hierarchical multi-level specification, design and analysis of complex distributed systemsC++ and Java based tools for TMO-structured RT and distributed programming and expression of high level abstractionsMiddleware models of commercial level RT OS systemsTechniques and tools for analysis and timeliness-guarantees of TMO component based software systemsTechniques for dynamic optimization of mobile software componentsTechniques and tools for visualization of real-time simulationsDemonstration and validation of all the techniques and tools developed in the project.