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

Computer Aided Software Design and Verification for Embedded System

嵌入式系统计算机辅助软件设计与验证

基本信息

批准号：
08558034
负责人：
AGUSA Kiyoshi
金额：
$ 2.24万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
1996
资助国家：
日本
起止时间：
1996 至 1998
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08558034/
关键词：
embedded system realtime system simulation optimize software document

项目摘要

An embedded system especially whose performance is no enough but, which manages to response within timing requirement is popular in electronic devices around us. We developed design environment, for such an embedded system we call "lean real-time system" and a prototvping design system tinder the enviroment. The design system has functionalities to describe cyclic execution, event-driven execution and to express data-type of real-time data. Data-type of real-time is our original proposal and contributes to easy handling of real-time feature. We applied to describe ABS (anti-lock brake system) one of vehicle control systems by the protoryping language then show the design system has ability to express lean real-time system in prototyping phase.Furthermore, software design is a process generating various kind of documentation. where documentations and their components are closely related with each other. We propose database architecture of documentation database for software design and implemented "Liaison System" which handles the relations among documentation and their components so that designers refer documentation via the relations. The system is implemented the database management system on WWW framework then appllied it to design process of software design of embedded systems. According to practical run, we found that our approach provides appropriate document management method for software design.

尤其是性能不够，但能在时序要求内做出响应的嵌入式系统在我们周围的电子设备中很受欢迎。我们开发了设计环境，对于这样一个嵌入式系统，我们称之为“精益实时系统”，并且原型设计系统tinder环境。该设计系统具有描述循环执行、事件驱动执行和表达实时数据的数据类型的功能。实时数据类型是我们最初的提议，有助于轻松处理实时功能。我们应用原型语言来描述车辆控制系统之一的ABS（防抱死制动系统），然后表明设计系统在原型阶段具有表达精益实时系统的能力。此外，软件设计是生成各种文档的过程。其中文档及其组件彼此密切相关。我们提出了用于软件设计的文档数据库的数据库架构，并实现了“联络系统”，该系统处理文档及其组件之间的关系，以便设计人员通过关系引用文档。该系统实现了WWW框架上的数据库管理系统，并将其应用于嵌入式系统软件设计过程中。根据实际运行，我们发现我们的方法为软件设计提供了合适的文档管理方法。