Home >

news Help

Publication Information


Title
Japanese:実行時検査を伴う実時間プログラムの生成について： 時間オートマトンから非実時間実行環境上の実時間プログラムへ 
English:On Generating Realtime Programs with Runtime Checking: From Timed Automata to Realtime Programs on Non-Realtime Environments 
Author
Japanese: Ilankaikone Senthooran, Julian Prokay, 渡部 卓雄.  
English: Ilankaikone Senthooran, Julian Prokay, Takuo Watanabe.  
Language English 
Journal/Book name
Japanese:信学技報 
English:IEICE technical report 
Volume, Number, Page Vol. 111    No. 168    pp. 75-80
Published date July 22, 2011 
Publisher
Japanese:電子情報通信学会 
English:IEICE 
Conference name
Japanese:電子情報通信学会ソフトウェアサイエンス研究会(SIGSS) 
English: 
Conference site
Japanese:北海道江別市 
English: 
Official URL http://www.ieice.org/ken/paper/20110730L0Ib/
 
Abstract We propose a method of generating realtime programs from verified models. The primary goal of this work is to provide an easy way of constructing soft realtime programs running in environments that do not provide realtime features. To realize this, the timing constraints described in a model should include properties of the runtime overhead and the generated code checks its timing constraints at runtime. In this paper, we describe how to generate plain Java/C programs from timed automata that are model-checked using UPPAAL.

©2007 Tokyo Institute of Technology All rights reserved.