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

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
Project Status Completed (Fiscal Year 2005)
Budget Amount *help
¥3,500,000 (Direct Cost: ¥3,500,000)
Fiscal Year 2005: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 2004: ¥1,200,000 (Direct Cost: ¥1,200,000)
Fiscal Year 2003: ¥1,300,000 (Direct Cost: ¥1,300,000)
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.

Report

(4 results)
  • 2005 Annual Research Report   Final Research Report Summary
  • 2004 Annual Research Report
  • 2003 Annual Research Report
  • Research Products

    (29 results)

All 2006 2005 2004 2003 Other

All Journal Article (22 results) Patent(Industrial Property Rights) (1 results) Publications (6 results)

  • [Journal Article] π計算表示から能動形プログラムの枠組みの生成2006

    • Author(s)
      渡邉勝正, 駱 福全, 中西正樹, 山下茂
    • Journal Title

      電子情報通信学会技術研究報告, SS 2006-6

      Pages: 31-36

    • NAID

      110004662812

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

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

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

      Pages: 76-91

    • NAID

      110008016661

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

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

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

    • NAID

      130004638927

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary 2004 Annual Research Report
  • [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

    • NAID

      110003295373

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [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)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [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

    • NAID

      110003295373

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] 能動関数によるアサーション検証設計2005

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

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

      Pages: 76-91

    • NAID

      110008016661

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 拡張に適したアクテイブソフトウェアの設計解析法2005

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

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

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Online FPGA Placement under I/O Timing Constraints2005

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

      電子情報通信学会技術研究報告,RECONF 2005-73

      Pages: 7-12

    • NAID

      110004019726

    • Related Report
      2005 Annual Research Report
  • [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

    • NAID

      110003295373

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 不正者を識別可能な量子秘密分散法2005

    • Author(s)
      村上ユミコ, 中西正樹, 山下 茂, 渡邉勝正
    • Journal Title

      電子情報通信学会技術研究報告,ISEC 2005-55

      Pages: 89-92

    • NAID

      110003298621

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 配線リソースを考慮した再構成可能1bitプロセッサアレイ2005

    • Author(s)
      中井伸郎, 中西正樹, 山下茂, 渡邉勝正
    • Journal Title

      電子情報通信学会,信学技法 SLDM2005-1

      Pages: 7-12

    • NAID

      110003295373

    • Related Report
      2004 Annual Research Report
  • [Journal Article] CPUによるマルウェアコードの実行防止2004

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

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

      Pages: 421-426

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary 2004 Annual Research Report
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] ソフトウェアの自己変更を支援する機構について2004

    • Author(s)
      渡邉勝正, 井上晶広, 山田洋平, 中西正樹, 山下茂
    • Journal Title

      電子情報通信学会 ソフトウェアサイエンス研究会 信学技報 SS2004-34

      Pages: 1-6

    • NAID

      110003277239

    • Related Report
      2004 Annual Research Report
  • [Journal Article] コンポーネントベース開発のためのアプリケーションフレームワーク2004

    • Author(s)
      井上晶広, 蔵川圭, 中西正樹, 渡邉勝正
    • Journal Title

      情報科学技術フォーラムFIT,情報科学技術レターズ 3

      Pages: 9-11

    • Related Report
      2004 Annual Research Report
  • [Journal Article] 耐タンパCPUによるプログラム実行の証明2004

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

      情報処理学会研究会報告CSECコンピュータセキュリティ Vol.2004, No.75

      Pages: 165-170

    • NAID

      110003296477

    • Related Report
      2004 Annual Research Report
  • [Journal Article] 能動関数の配列によるアクティブソフトウェアの構成2003

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

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

    • NAID

      130004638807

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [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)

    • NAID

      130004638807

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

    • Inventor(s)
      岡崎, 中西, 山下, 渡邉
    • Industrial Property Rights Holder
      岡崎, 中西, 山下, 渡邉
    • Industrial Property Number
      2005-013190
    • Filing Date
      2005-01-20
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary 2004 Annual Research Report
  • [Publications] 水原隆道, 中西正樹, 渡邉勝正: "自発的移送が可能なオブジェクト生成システムの開発"電子情報連信学会 技術研究報告. KBSE2003. 1-8 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 井上晶広, 中西正樹, 渡邉勝正: "アクティブソフトウェア構築のためのJava API"情報科学技術フォーラム2003. FIT2003. B-016 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 渡邉勝正, 駱 福全, 井上晶広, 桑川栄一, 水原隆道, 中西正樹: "能動関数の配列によるアクティブソフトウェアの構成"日本ソフトウェア科学会第20回大会論文集. 2003年度. 4B-1 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] T.Majima, M.Nakanishi, K.Watanabe: "Automatic Generation of Java-Based, Database-Independent Query API"Technical Report of IEICE. DE2003-115. 25-30 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 伴野充, 中西正樹, 山下茂, 渡邉勝正: "能動関数モジュールを再配置可能なアクティブソフトウェア向けアーキテクチャの提案"電子情報通信学会 技術研究報告. Design Gaia 2003. 151-155 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 渡邉勝正, 井上晶広, 真嶋利彰, 伴野 充, 中西正樹, 山下 茂: "安全性を保証するアクティブソフトウェアの構成法"シンポジウム「システム検証の科学技術」. 115-125 (2004)

    • Related Report
      2003 Annual Research Report

URL: 

Published: 2003-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi