权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Automatic Transformation of Diagrammatical Specifications into Highly-Parallel and Realtime Data-Driven Programs

将图解规范自动转换为高度并行和实时数据驱动的程序

基本信息

批准号：
02452163
负责人：
TERADA Hiroaki
金额：
$ 3.65万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (B)
财政年份：
1990
资助国家：
日本
起止时间：
1990 至 1992
项目状态：
已结题

项目摘要

The main objective of this project is to establish flexible software development/ maintenance environment in which easily understandable diagrammatical specifications of real-time applications are directly transformed into highly-parallel executable programs based upon a dynamic data-driven principle.The results obtained during the project are summarized as following: 1. Hazardous sequential processing model should be replaced by a natural parallel processing model by which an integrated communication system developement/maintenance environment can be implemented. (See reference 1 and 2) 2. Multilateral diagrammatical specification description scheme was established for natural description of highly-paralle realtime applications. In this environment, a block diagram like graphical description representing data dependencies among functional blocks and a class of diagrammatical representation for data structures play central role in describing processing structure of target system. In or … More der to improve readability of dynamic behaviors, augmented sequence chart, state transition diagram, and decision table were also employed. (See reference 3,11) 3. An augmented dynamic data-driven processing model incorporating history-sensitive process were proved to be the most promising principle under which the generated programs derived from the diagrammatical specifications are executed in highly-parallel fashion. (See reference 3) 4. A prototype system were built on an engineering workstation by introducing generic implementation based upon data oriented approach. In the prototype, executable programs for a single chip data-driven processor are being generated from the diagrammatical specifications. (See reference 3,4,5,9) 5. The prototype system are evaluated by specifying several realtime applications, e.g. an HDLC protocol and a lift control system. Consequently, significance of incremental prototyping environment for incomplete specification was recognized and a prototyping scheme embedding stab components was proposed. (See reference 10) Less

该项目的主要目标是建立灵活的软件开发/维护环境，在该环境中，基于动态数据驱动原则，实时应用程序的易于理解的图表规范直接转换为高度并行的可执行程序。项目中所取得的成果总结如下：1。危险的顺序处理模型应该被自然的并行处理模型所取代，通过这种模型可以实现集成通信系统的开发/维护环境。（见参考文献1和2）为实现高并行实时应用的自然描述，建立了多边图形化规范描述方案。在这种环境中，表示功能块之间数据依赖关系的框图和表示数据结构的一类框图在描述目标系统的处理结构中起着核心作用。为了提高动态行为的可读性，还采用了扩充序列图、状态转移图和决策表。（见参考资料3、11）结合历史敏感过程的增强型动态数据驱动处理模型被证明是最有前途的原理，在该原理下，由图解规范导出的生成程序以高度并行的方式执行。（见参考文献3）通过引入基于面向数据方法的通用实现，在工程工作站上建立了一个原型系统。在原型中，单个芯片数据驱动处理器的可执行程序是从图解规范生成的。（见参考资料3、4、5、9）原型系统通过指定几个实时应用程序进行评估，例如HDLC协议和电梯控制系统。在此基础上，认识到增量式原型环境对不完全规格的重要性，提出了一种嵌入stab组件的原型方案。（见参考资料10）更少