A Support to Develop and Reuse Data-Driven Programs Incorporating Tag Manipulation

スポンサーリンク

概要

• 論文の詳細を見る

• The authors study Realtime Execution System for CUE-series data-driven processors; RESCUE. This paper proposes a development and reuse scheme in RESCUE to generate data-driven programs incorporating tag manipulations without any side-effects. In the scheme, executable program is directly generated by assigning a primitive to a functional element in hierarchical specification. Prototyping result by symbolic execution of the program is eagerly reflected onto the specification whose hierarchy is folded to maintain its understandability for users. Through preliminary evaluation, the paper shows effectiveness of the scheme in detecting incorrectness in reflecting user's requirements onto specification as well as side-effects by tag manipulations.

• 社団法人電子情報通信学会の論文
• 2002-03-01

著者

• Nishikawa Hiroaki

  Institute Of Information Science And Electronics University Of Tsukuba

• WABIKO Yasuhiro

  Doctoral Program in Engineering, University of Tsukuba

• Wabiko Yasuhiro

  Doctoral Program In Engineering University Of Tsukuba

関連論文

• A Support to Develop and Reuse Data-Driven Programs Incorporating Tag Manipulation
• Data-Driven Fault Management for TINA Applications (Special Issue on Network Operations and Management)

スポンサーリンク