Home >

news Help

Publication Information


Title
Japanese:実時間システム向け文脈指向言語ProcneJ 
English:ProcneJ: A Context-oriented Programming Language for Real-time Systems 
Author
Japanese: 安原由貴, 森口草介, 渡部卓雄.  
English: Yuki Yasuhara, Sosuke Moriguchi, Takuo Watanabe.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Feb. 28, 2013 
Publisher
Japanese: 
English: 
Conference name
Japanese:情報処理学会 第93回プログラミング研究発表会 
English: 
Conference site
Japanese:東京都千代田区 
English: 
File
Official URL http://id.nii.ac.jp/1001/00096924/
 
Abstract Real-time constraints are required typically in embedded systems. They can be regarded as crosscutting concerns and thus make real-time programs bulky. The goal of this work is to propose a description method of real-time constraints and their modularization technique using the idea of context-oriented programming. We also design a programming language ProcneJ for real-time systems based on the method. It is natural to think that a real-time (embedded) program depends not only on its changing runtime environment, but also on the passage of time. Thus we regard time points and time intervals as contexts and their changes as events to apply the idea of event-based context-oriented programming (as EventCJ) to real-time programs. In our language ProcneJ, separating the descriptions of event-based state transitions and class definitions enables modular development of real-time programs. In addition, by generating timed automata from the state transition parts, we can verify the consistency of real-time constraints using UPPAAL model checker. In the presentation, we will present the basic idea of our method and will show how it is beneficial for describing real-time systems through examples.

©2007 Tokyo Institute of Technology All rights reserved.