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

Real-time software design system for reliable controller with a test phase in design steps.

用于可靠控制器的实时软件设计系统，设计步骤中包含测试阶段。

基本信息

批准号：
02555070
负责人：
YOSHIDA Noriyoshi
金额：
$ 2.43万
依托单位：
Hiroshima University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Developmental Scientific Research (B)
财政年份：
1990
资助国家：
日本
起止时间：
1990 至 1991
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-02555070/
关键词：
Real-time Software Software Engineering Reliability Robot Robot Control Visualization Microcomputer

项目摘要

In the research project, two issues are mainly considered. One is development of a software design system VD/RCS which realizes real-time response and high reliability. Another is system evaluations of processing time and output deviation by applying VD/RCS to robot control software. The following 1. through 4. are summary of this research contributions.1. Stepwise relinement and modularity : At the first design step, software structure is specified by a task graph, which is naturally constructed by stepwise refinement. As tasks in the task graph are executed by deadline scheduling in a multi-task manner, we can easily add or modify processing without exact estimation of total processing time. Additionally, we realize a video function which displays motion of a controlled object with synchronized software behavior.2. Visualization of software specification : We newly introduce 2 or 3 dimensional graphs in a part of software specification, and realize their visualized input and output. Moreover, a software structure is visually represented based on the task graph. Furthermore, in a test phase, we can intuitively analyze software behavior by a visualized simulation.3. High reliability : We propose a method which guarantees a quantitative reliability where a certain deviation is permitted. In the method, any deviation can be guaranteed in case that any data size is acceptable.4. Application to robot control software and evaluation : Based on above results, a software design system VD/RCS with real-time response and high reliability is developed. Then, the system performance is evaluated by applying it to designing robot control software. This evaluation shows that the software is well organized, and given response time and maximum deviation are satisfied.This research presents a design method for control software with real-time response and high reliability. It can improves productivity and reliability of real-time software.

在研究项目中，主要考虑两个问题。一是开发了实现实时响应和高可靠性的软件设计系统VD/RCS。二是将VD/RCS应用于机器人控制软件，对加工时间和输出偏差进行系统评价。以下1。通过4。总结了本研究的贡献。逐步细化和模块化：在第一个设计步骤中，软件结构由任务图指定，任务图自然是通过逐步细化构建的。由于任务图中的任务是以多任务方式通过截止时间调度来执行的，因此我们可以很容易地添加或修改处理，而无需精确估计总处理时间。此外，我们还实现了一个视频功能，显示被控对象的运动与软件行为同步。软件说明书的可视化：在软件说明书的一部分中，我们新引入了二维或三维图形，并实现了它们的可视化输入和输出。此外，基于任务图可视化地表示了软件结构。此外，在测试阶段，我们可以通过可视化的模拟直观地分析软件的行为。高可靠性：我们提出了一种在允许一定偏差的情况下保证定量可靠性的方法。在该方法中，在任何数据大小都可以接受的情况下，可以保证任何偏差。机器人控制软件的应用及评价：在此基础上，开发了一个实时响应、高可靠性的软件设计系统VD/RCS。然后，将其应用于机器人控制软件的设计，对系统的性能进行了评价。评价结果表明，该软件组织良好，满足给定的响应时间和最大偏差。本文提出了一种实时响应、高可靠性的控制软件设计方法。它可以提高实时软件的生产率和可靠性。