• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2005 Fiscal Year Final Research Report Summary

Support Environment for Active Software

Research Project

Project/Area Number 15500023
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionNara Institute of Science and Technology

Principal Investigator

WATANABE Katsumasa  Nara Institute of Science and Technology, Information Science, Professor, 情報科学研究科, 教授 (60026078)

Co-Investigator(Kenkyū-buntansha) YAMASHITA Shigeru  Nara Institute of Science and Technology, Information Science, Associate Professor, 情報科学研究科, 助教授 (30362833)
KURAKAWA Kei  Nara Institute of Science and Technology, Information Science, Instructor, 情報科学研究科, 助手 (10332769)
NAKANISHI Masaki  Nara Institute of Science and Technology, Information Science, Instructor, 情報科学研究科, 助手 (40324967)
Project Period (FY) 2003 – 2005
KeywordsActive software / Active function / π-expression / Language processor / Safe program / Monitoring execution states / Re-configurable architecture / Active computer architecture
Research Abstract

New information system becomes higher in function and larger in size, but it requires shorter implementation time. For these trends, we aim to establish a new design method of large and safe software system and to develop appropriate environment for it.
Through the research in 3 years, we gained one basis as follows.
(1)Design algorithms suitable to safe and adaptive software for the change of requirements
We introduced not only per-condition and post-condition to assure safe operation satisfying the specification, but also pre-check and post-check to provide for unpredictable states. They are formed with active functions attached each activation condition.
(2)Language to design and analysis active software, and its language processor
At first we analyze the behavior of the software and express the result in state transition diagrams or π-expressions. Then we get the framework of the program with active functions by 1st-translator, append the detail contents of each function by hand, and gain the program text in C or C++ by 2nd-translator. The obtained program has the feature of event driven activation and is easy to change. The 2nd-translator is able to show the relation of calling and called functions, and also to make the program traceable the real calls at running time.
(3)Re-configurable hardware architecture for active software
On active software the performance is affected by the method to detect events as activation condition of each active function. We proposed new architecture of event driven computer with re-configurable part and array of processors with changeable wire connection between processors, and evaluated the designed results of them.
With these results through 3 years, we have some plans to continue the research about flexible and safe software, new programming environment, and suitable computer architecture for them.

  • Research Products

    (13 results)

All 2005 2004 2003

All Journal Article (12 results) Patent(Industrial Property Rights) (1 results)

  • [Journal Article] 能動関数によるアサーション検証設計2005

    • Author(s)
      渡邉勝正, 井上晶広, 伴野 充, 蔵川 圭, 中西正樹, 山下 茂
    • Journal Title

      コンピュータソフトウェア 22,3

      Pages: 76-91

    • Description
      「研究成果報告書概要(和文)」より
  • [Journal Article] 拡張に適したアクティブソフトウェアの設計解析法2005

    • Author(s)
      渡邉勝正, 井上晶広, 伴野 充, 蔵川 圭, 中西正樹, 山下 茂
    • Journal Title

      日本ソフトウェア科学会第22回大会論文集 2005、Spe(CD-ROM)

      Pages: 1C-3

    • Description
      「研究成果報告書概要(和文)」より
  • [Journal Article] Event-Oriented Computing with Reconfigurable Platform2005

    • Author(s)
      M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
    • Journal Title

      In Proc. of the 10th Asia and South Pacific Design Automation Conference ASP-DAC 2005

      Pages: 1248-1251

    • Description
      「研究成果報告書概要(和文)」より
  • [Journal Article] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

    • Author(s)
      N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
    • Journal Title

      In. Proc. of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA2005) 2005

      Pages: 225-231

    • Description
      「研究成果報告書概要(和文)」より
  • [Journal Article] Assertion Verification Design by Active Software2005

    • Author(s)
      K.Watanabe, A.Inoue, M.Tomono, K.Kurakawa, M.Nakanishi, S.Yamashita
    • Journal Title

      Computer Software Vol.22, No.3

      Pages: 76-91

    • Description
      「研究成果報告書概要(欧文)」より
  • [Journal Article] Method of Analysis and Design of extensible Active Software2005

    • Author(s)
      K.Watanabe, A.Inoue, K, Kurakawa, M.Nakanishi, S.Yamashita
    • Journal Title

      22-th Conference of Japan Society for Software Science and Technology (CD-ROM)

      Pages: 1C-3

    • Description
      「研究成果報告書概要(欧文)」より
  • [Journal Article] Event-Oriented Computing with Reconfigurable Platform2005

    • Author(s)
      M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
    • Journal Title

      Proc.of the 10th Asia and South Pacific Design Automation Conference (ASP-DAC 2005)

      Pages: 1248-1251

    • Description
      「研究成果報告書概要(欧文)」より
  • [Journal Article] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

    • Author(s)
      N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
    • Journal Title

      Proc.of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA2005)

      Pages: 225-231

    • Description
      「研究成果報告書概要(欧文)」より
  • [Journal Article] CPUによるマルウェアコードの実行防止2004

    • Author(s)
      岡崎篤也, 中西正樹, 山下茂, 渡邉勝正
    • Journal Title

      コンピュータセキュリティシンポジウム2004 CSS2004

      Pages: 421-426

    • Description
      「研究成果報告書概要(和文)」より
  • [Journal Article] Blocking Malware Code Execution by CPU2004

    • Author(s)
      A.Okazaki, M.Nakanishi, S.Yamashita, K.Watanabe
    • Journal Title

      Computer Security Symposium 2004 (CSS2004)

      Pages: 421-426

    • Description
      「研究成果報告書概要(欧文)」より
  • [Journal Article] 能動関数の配列によるアクティブソフトウェアの構成2003

    • Author(s)
      渡邉勝正, 駱 福全, 井上晶広, 桑川栄一, 水原隆道, 中西正樹
    • Journal Title

      日本ソフトウェア科学会第20回大会論文集 2003、Sep(CD-RIM)

      Pages: 4B-1

    • Description
      「研究成果報告書概要(和文)」より
  • [Journal Article] Active Software with arrays of Active Functions2003

    • Author(s)
      K.Watanabe, Lo Fuchuan, A.Inoue, K, Kuwakawa, T.Mizuhara, M.Nakanishi
    • Journal Title

      20-th Conference of Japan Society for Software Science and Technology (CD-ROM)

      Pages: 4B-1

    • Description
      「研究成果報告書概要(欧文)」より
  • [Patent(Industrial Property Rights)] マイクロプロセッサ、ノード端末、コンピュータシステム及びプログラム実行証明方法2005

    • Inventor(s)
      岡崎, 中西, 山下, 渡邉
    • Industrial Property Rights Holder
      岡崎, 中西, 山下, 渡邉
    • Industrial Property Number
      特願2005-013190
    • Filing Date
      2005-01-20
    • Description
      「研究成果報告書概要(和文)」より

URL: 

Published: 2007-12-13  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi