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

EIA-9975053 Kane Kim of California-Irvine下一代软件：基于TMO的可靠下一代复杂软件的建模和设计。PI近年来制定的时间触发消息触发对象(TMO)结构方案旨在以一种广大商业软件领域的软件工程师可以轻松适应的形式，促进基于组件的实时分布式软件工程。它在语法上是一个简单自然的扩展，但在语义上却是一个强大的扩展。在提出的研究中，PI的意图是将基于TMO的RT分布式计算应用软件工程方法呈现为更通用的形式，并通过系统的大学-产业合作实验研究验证该方法在实际应用环境中的有效性。该项目的里程碑包括：建立用于分层多层次规范的形式化TMO结构化建模技术，复杂分布式系统的设计和分析基于C++和Java的TMO结构RT和高层抽象的分布式编程和表达工具商业级RT OS系统的中间件模型用于分析和时效性的技术和工具-基于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.