1998 Fiscal Year Final Research Report Summary
Computer Aided Software Design and Verification for Embedded System
| Project/Area Number |
08558034
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 展開研究 |
|---|
| Research Field |
情報システム学(含情報図書館学)
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
AGUSA Kiyoshi Center for Information Media Studies, Professor, 情報メディア教育センター, 教授 (90026360)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
TESHIMA Shigeharu Toyota Central R&D Labs., Inc., Researcher, ソフトウェア研究室, 研究員
HAMAGUCHI Takeshi Center for Information Media Studies, Research Associate, 情報メディア教育センター, 助手 (90273284)
YAMAMOTO Shinichirou Aichi Prefectural University, Faculty of Information Science and Technology, Ass, 情報科学部, 助教授 (40240098)
YUEN Shoji Center for Information Media Studies, Nagoya University, Associate Professor, 情報メディア教育センター, 助教授 (70230612)
|
|---|
| Project Period (FY) |
1996 – 1998
|
| Keywords | embedded system / realtime system / simulation / optimize / software document |
|---|
| Research Abstract |
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.
|
