Home >

news Help

Publication Information


Title
Japanese:組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御 
English:Mode Management of Peripherals Based on State Transition Model in FRP Language for Embedded Systems 
Author
Japanese: 瀧本哲史, 森口草介, 渡部卓雄.  
English: Satoshi Takimoto, Sosuke Moriguchi, Takuo Watanabe.  
Language Japanese 
Journal/Book name
Japanese:コンピューターソフトウェア (採択済) 
English:Computer Software (accepted) 
Volume, Number, Page Vol. 42       
Published date Jan. 25, 2025 
Publisher
Japanese:日本ソフトウェア科学会 
English:JSSST 
Conference name
Japanese: 
English: 
Conference site
Japanese: 
English: 
Abstract XStorm, an FRP language for small-scale embedded systems, allows us to concisely describe state-dependent behaviors based on the state transition model. However, when we use different sets of peripheral devices depending on states, device management, such as switching power modes, should be implemented in a driver code in C. This would result in bugs as inconsistency between the state in the XStorm program and that in the driver code cannot be detected. In this research, we extend XStorm’s state hook model to express modes of peripherals that depend on states. By the extension, the language manages modes of peripherals, and thus the inconsistency is statically avoided.

©2007 Tokyo Institute of Technology All rights reserved.